Программный комплекс для автоматической проверки практических заданий курса "Математическая логика и теория алгоритмов"
ПРОГРАММНЫЙ КОМПЛЕКС,  МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Программный комплекс состоит из набора программных модулей, позволяющих реализовать автоматическую проверку заданий практических работ по дисциплине "Математическая логика и теория алгоритмов". Поддерживается проверка заданий по темам: упрощение логических формул, построение формул с заданными свойствами, совершенные нормальные формы, цифровые логические схемы, логика предикатов, машина Тьюринга, нормальные алгоритмы Маркова. Проверяющие модули легко интегрируются в любую автоматическую проверяющую систему – Codeforces, Яндекс.Контест и др. Применение программного комплекса значительно облегчает проверку заданий по данной дисциплине и упрощает организацию дистанционного обучения.
Использование в учебном процессе при преподавании курса «Математическая логика и теория алгоритмов» и похожих дисциплин, в том числе в дистанционной форме
Андрианов И.А.
Доцент кафедры автоматики и вычислительной техники
Кандидат технических наук
Приятелев В. В.
Ректор
50.41.25
Прикладное программное обеспечение
14.35.09
Методика преподавания учебных дисциплин в высшей профессиональной школе
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
05.03.HE
EDUCATION, SPECIAL
Игорь
Андрианов
Александрович
100%
ВоГУ, ФГБОУ ВО ВоГУ, ФГБОУ ВО "Вологодский государственный университет", Вологодский государственный университет
Федеральное государственное бюджетное образовательное учреждение высшего образования "Вологодский государственный университет"
1023500876453
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения
ВоГУ, ФГБОУ ВО ВоГУ, ФГБОУ ВО "Вологодский государственный университет", Вологодский государственный университет
Федеральное государственное бюджетное образовательное учреждение высшего образования "Вологодский государственный университет"
1023500876453
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения