В статье исследуется компьютерный аспект эвристической методологии Д. Пойа в образовательном процессе. Исследование выполнено в рамках си-стемы автоматического решения планиметрических задач. Исследован процесс перехода ...