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