Классическая задача программной инженерии — как проектировать программы минимумом усилий, и чтобы они работали быстро и надёжно. Десятки лет эта задача как-то решается минимально удовлетворительно инженерными методами, и только в текущем десятилетии появились качественно новые подходы. Одно из них — это так называемый автоматический синтез программ (program synthesis), когда мы не просто вручную описываем кодом модели реального мира, но и на основе абстрактного описания моделей добираемся до новых научных знаний достаточно прямой логической дорожкой...