Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3 Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Даниил Мусатов Курс лекций: Интерактивные доказательства Дата записи:24.03.19 Дата публикации:27.03.19 <a href="https://www.youtube.com/embed/3meflg6LM_g?wmode=opaque">Embedded video for Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3</a> Код для блога: Другие лекции курса3 Базовая теория. Интерактивные доказательства. Лекция 1 Computer Science клуб при ПОМИ РАН Даниил Мусатов 4 IP=PSPACE. Интерактивные доказательства. Лекция 2 Computer Science клуб при ПОМИ РАН Даниил Мусатов Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4 Computer Science клуб при ПОМИ РАН Даниил Мусатов 2