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

Теории и модели
Вычислимость и логика


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

Описание

Теории, совместность и непротиворечивость, теорема о компактности. Примеры теорий. Аксиоматизация теорий с помощью элиминации кванторов. Арифметика Пеано. Теории и модели.

Видео