Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Нижние оценки для принципа Дирихле и корректности метода резолюций
Теория сложности доказательств
Что:
Лекция
Когда:
Четверг, 28 октября 2010, 18:30–20:55
Где:
ПОМИ РАН
Слайды:
proofcomplexity_lecture_281010.pdf
Видео
