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

понедельник, 17:00, дистанционно, Zoom 918 6649 344, п 4rfCUX