Компьютерное моделирование логических процессов
Название спецкурса на английском языке
Computer modeling of logical processes
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
Подразделение
[Кафедра МаТИС]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Логический язык решателя задач
Представление задач в решателе
Общая схема функционирования решателя
Алгоритмический язык ЛОС
Редактор приемов ГЕНОЛОГа
Представление задач в решателе
Общая схема функционирования решателя
Алгоритмический язык ЛОС
Редактор приемов ГЕНОЛОГа
Список источников
http://intsys.msu.ru/staff/podkolzin/tom1.pdf
А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
А. С. Подколзин, “Система автоматического решения задач по элементарной алгебре”, Дискрет. матем., 6:4 (1994), 35–57; Discrete Math. Appl., 4:6 (1994), 561–578
День недели
понедельник
Время
18:30-20:05
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.