Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4 Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Даниил Мусатов Курс лекций: Интерактивные доказательства Дата записи:24.03.19 Дата публикации:27.03.19 Embedded video for Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4 Код для блога: Другие лекции курса3 Базовая теория. Интерактивные доказательства. Лекция 1 Computer Science клуб при ПОМИ РАН Даниил Мусатов 4 IP=PSPACE. Интерактивные доказательства. Лекция 2 Computer Science клуб при ПОМИ РАН Даниил Мусатов Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3 Computer Science клуб при ПОМИ РАН Даниил Мусатов Комментарии Марина Федорова — 29 марта, 2019 - 15:53 студентка 1го курса группы БАПОРЯЛ - 18 заочник Федорова Марина Владимировна Чжан юйхань — 8 апреля, 2019 - 13:10 Хорошо