Название спецкурса на русском языке
Компьютерный решатель математических задач
Перевод названия курса на английский язык
Computer mathematical tasks solver
Целевая аудитория
5 курс
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2023/24
День недели
понедельник
Время
18:30-20:05
Формат проведения
В аудитории
Аудитория
[Ещё не назначена]
Аннотация
специальный курс для студентов дает представление об основных этапах проектировании компьютерного решателя математических задач, таких как создание логического языка для описания аксиом, теорем и логических приемов, создание базы данных логических приемов для осуществления логического вывода
Дополнительная информация
Первое занятие: 4.09 онлайн Zoom 9186649344, пароль 4rfCUX.