Компьютерный решатель математических задач
Название спецкурса на английском языке
Computer mathematical tasks solver
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Логический подход к автоматическому решению задач
Язык логики высказываний
Язык логики предикатов
Язык логики высказываний
Язык логики предикатов
Список источников
Подколзин А.С. Учебное пособие по спецкурсу "Компьютерный решатель математических задач" (24 стр.), http://intsys.msu.ru/staff/podkolzin/reshatel.htm#node1
Дополнительная информация
Спецкурс по выбору кафедры МаТИС для 5го курса
Специальный курс для студентов дает представление об основных этапах проектировании компьютерного решателя математических задач, таких как создание логического языка для описания аксиом, теорем и логических приемов, создание базы данных логических приемов для осуществления логического вывода
День недели
понедельник
Время
18:30-20:05
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.