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

Доказательство PCP теоремы (окончание)
Вероятностно проверяемые доказательства

Что: Лекция
Когда: Воскресенье, 28 октября 2012, 13:00–14:35
Где: ПОМИ РАН

Описание

Повышение зазора: анализ основной конструкции.