Опыт обучения компьютерного решателя задач: логические приемы, алгебра множеств, комбинаторикадоклад на конференции