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

Ультрафильтры и теорема о компактности
Вычислимость и логика

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

Описание

Гильбертовское исчисление предикатов. Генценское исчисление секвенций.

Видео