Решатель вычислительных задач

Рассматривается программа, решающая задачи, описания которых не содержат в явном виде алгоритма решения. Семантика задач представляется вычислительными моделями, по которым составляются алгоритмы. Приводятся примеры решения задач из школьной геометрии и физики.