Описание проекта
- Программный продукт MATHSEM будет использоваться для обучения студентов дискретной математике. Функционал программы позволяет строить понятия, аксиомы и теоремы из теории множеств, теории функций и отношений, теории графов, геометрии.
- Будет возможность изучать формальные методы доказательств теорем (метод резолюций, метод аналитических таблиц, метод основанный на знании атомарной структуру теоремы). Можно строить семантические сети понятий и теорем теорий, просмотреть деревья доказательств.
- Можно изучать связь формальных методов доказательств и естественных. Возможно наладить взаимодействие с известными программами по автоматическому доказательству теорем и системами компьютерной алгебры. Можно осуществить экспорт/импорт данных из программы MATHSEM в другие известные программы.
- В программе MАTHSEM можно строить различные алгоритмы и эвристики для построения определений, теорем. Можно использовать различные эвристики для доказательства теорем. Предполагается создать удобный интерфейс для работы с программой, систему справки и обучающие видео.
- Программу нужно продавать российским и зарубежным университетам, компаниям и частным лицам.
Презентации
Пульс
Пока еще в пульсе нет записей
