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