Метод резолюций

Название спецкурса на английском языке
The Resolution Method
Авторы курса
Плиско Валерий Егорович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Логика первого порядка
Теорема Эрбрана
Метод резолюций для логики высказываний
Алгоритм унификации
Метод резолюций для логики предикатов
уточнения исчисления резолюций
применения метода резолюций в математической логике
Список источников
В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
A.Leitsch. The Resolution Calculus. Springer, 1997.
Дополнительная информация

В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем.

День недели
вторник
Время
18:30-20:05
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.