Название спецкурса на русском языке
Компьютерный решатель математических задач
Перевод названия курса на английский язык
Computer mathematical tasks solver
Авторы курса
Подколзин Александр Сергеевич
Целевая аудитория
5 курс
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2021/22
Аудитория
[Неприменимо]
Аннотация
специальный курс для студентов дает представление об основных этапах проектировании компьютерного решателя математических задач, таких как создание логического языка для описания аксиом, теорем и логических приемов, создание базы данных логических приемов для осуществления логического вывода