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