- Преподаватель: Жаров Владимир Николаевич
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Мохамад Халиль
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Веремьев Виктор Леонтьевич
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Кожевников Вадим Андреевич
- Преподаватель: Сабинин Олег Юрьевич
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Вербова Наталья Михайловна
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Мохамад Халиль
Skill Level: Beginner
Skill Level: Beginner
Курс «Введение в математическую логику и метод резолюций» знакомит студентов с основами формальной логики и ее ключевым алгоритмом автоматического доказательства теорем — методом резолюций. В рамках курса изучаются классические стратегии (семантическая резолюция, гиперрезолюция, стратегия поддержки, парамодуляция), а также реализуются практические задания и интерактивные тренажеры для закрепления навыков логического вывода.
- Преподаватель: Пак Вадим Геннадьевич
- Преподаватель: Самойленко Евгения Сергеевна
Skill Level: Beginner
Skill Level: Beginner
- Преподаватель: Веремьев Виктор Леонтьевич
Skill Level: Beginner
Skill Level: Beginner