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

Исчисление предикатов
Вводный курс

Что: Лекция
Когда: Воскресенье, 14 октября 2007, 10:00–11:35
Где: ПОМИ РАН
Слайды: introductorycourse_lecture_141007.pdf

Описание

Предикатные формулы 1–го порядка. Интерпретации, модели. Скулемовская нормальная форма. Эрбрановский универсум, эрбрановская интерпретация. Алгоритмическая неразрешимость исчисления предикатов. Теории и модели. 1–я Теорема Геделя о неполноте.