Автоматический решатель математических задач

Интеллектуальная система, основанная на новом понимании функционирования интуиции и принятия решений, реализована в научной версии для решения математических задач на базе ПК (см. демонстрационный видео-ролик). Разработан специальный формализм ее описания, использующий новый язык программирования высокого уровня. Система может быть использована в ряде предметных областей. После доработки способна решать в автоматическом режиме задачи верификации программ, синтеза ЧИП'ов и др. Одна из версий решателя защищена серией патентов совместно с фирмой LSI (США).

Руководитель группы исследований в области построения решателя математических задач д.ф.-м.н. Подколзин Александр Сергеевич

На нашем сайте размещено учебное пособие "Компьютерное моделирование процессов решения математических задач" (автор - А.С.Подколзин) и учебное пособие в трех томах:

Также доступны для загрузки компьютерные версии решателя: http://intsys.msu.ru/invest/solver/logsyst.zip (20 Мб) и http://intsys.msu.ru/invest/solver/logsyst2.zip (30 Мб).

Предлагаемая версия компьютерной логической системы является дополнением к первому тому книги "Компьютерное моделирование логических процессов", изданной при поддержке РФФИ. В этом томе содержится описание архитектуры системы и использованных языков обучения решателей задач. Имеется большое число примеров и упражнений, предполагающих наличие данной версии системы. Предполагается написание следующего тома книги, посвященного рассмотрению самих решателей задач.

Работа над развитием системы постоянно продолжается. В современной ее версии, отличающейся от предлагаемой, исправлен ряд недостатков и ошибок. Все интересующиеся исследованиями в данной области приглашаются принять участие в работе спецкурса и семинара "Процедуры автоматического решения задач", проводимых на кафедре МаТИС механико-математического факультета МГУ.