Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Ультрафильтры и теорема о компактности
Вычислимость и логика
Что:
Лекция
Когда:
Среда, 30 ноября 2011, 18:30–19:50
Где:
ПОМИ РАН
Описание
Гильбертовское исчисление предикатов. Генценское исчисление секвенций.
Видео
