#матлог #учёба #спецкурс

В.Е.Плиско прочитает спецкурс «Метод резолюций». Это полугодовой спецкурс по выбору кафедры.

Первая лекция: 3 октября

Место проведения: 425 аудитория, 2 ГУМ

Время проведения: пятница 18:30–20:05

Аннотация.
В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем. Содержание: логика первого порядка; теорема Эрбрана; метод резолюций для логики высказываний; алгоритм унификации; метод резолюций для логики предикатов; уточнения исчисления резолюций; применения метода резолюций в математической логике. Предварительных знаний из области математической логики не требуется.

Литература:
В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
A.Leitsch. The Resolution Calculus. Springer, 1997.

➰ ВК