English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
 Автоматический решатель построение автоматического решателя математических задач
 Обучающие системы разработка компьютерных интеллектуальных обучающих систем
 Информационный мониторинг создание интеллектуальных систем информационного мониторинга
 Оптимальная упаковка (Packer3D) приближенное решение NP-полной задачи об упаковке контейнеров
 Распознавание визуальных образов исследования в области распознавания визуальных образов

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

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

 

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

 

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

  • Подколзин А.С. Компьютерное моделирование логических процессов. Учебное пособие.
    Москва, 2007-2019 гг.. Введение, Том 1, Том 2, Том 3, Том 4, Том 5, Том 6, Том 7, Том 8.
  • Также доступна для загрузки компьютерная версия решателя: http://intsys.msu.ru/invest/solver/logsyst6.zip (85 МБ).

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

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

       © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
    Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм
    Rambler's Top100 Рейтинг@Mail.ru