City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Исчисление предикатов
Introduction to Theoretical Computer Science

What: Lecture
When: Sunday, 14 October 2007, 10:00–11:35
Where: ПОМИ РАН
Slides: introductorycourse_lecture_141007.pdf

Description

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