Программа «Mathsem». Компьютерный практикум по математике

Описание
Цель
Написание приложения на С++. Участие в разработке сайта. Участие в разработке Базы данных. Формализация определений, аксиом и теорем из дискретной математики. Написание документации по проекту.
Актуальность
Актуальность проекта связана с тем, что он лежит на стыке математики, информатики, таких современных областей как представление знаний, семантические сети, онтологии, дедуктивные системы. Это программа будет использоваться научными работникам в области математики, аспирантами, студентами. Компьютерная программа MathSem может использоваться как компьютерный практикум по дискретной математике. Используя эту программу, студенты будут изучать математическую логику, теорию множеств, теорию отношений, теорию графов, теорию групп. Программу можно продавать в российские и зарубежные университеты, где изучают дискретную математику, математическую логику, семантические сети, онтологии.
Результат
Результатом проекта должна стать система (компьютерная программа+ сайт), умеющая автоматизировано строить математические объекты (утверждения, определения, доказательства). С помощью дедуктивной системы предполагается вывести и представить в виде семантической сети основы теории множеств, евклидовой геометрии, теории групп и теории графов.
В проект будут приглашены студенты следующих профилей:
ФИТ, «Веб-технологии»; ФИТ, «Системная и программная инженерия»; ФИТ, «Разработка инженерного программного обеспечения»; ФИТ, «Автоматизированные системы обработки информации и управления»; ФИТ, «Безопасность компьютерных систем»
Записаться на проект