Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Полнота исчисления предикатов
Вычислимость и логика


Что: Лекция
Когда: Среда, 16 ноября 2011, 18:30–19:50
Где: ПОМИ РАН

Описание

Предваренная нормальная форма. Скулемизация. Метод резолюций для исчисления предикатов. Теорема о полноте исчисления предикатов. Множество тавтологий является неразрешимым перечислимым множеством.