Интерактивные доказательства Курс Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Даниил Мусатов Лекции курса4 Базовая теория. Интерактивные доказательства. Лекция 1 Computer Science клуб при ПОМИ РАН Даниил Мусатов 4 IP=PSPACE. Интерактивные доказательства. Лекция 2 Computer Science клуб при ПОМИ РАН Даниил Мусатов Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3 Computer Science клуб при ПОМИ РАН Даниил Мусатов Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4 Computer Science клуб при ПОМИ РАН Даниил Мусатов 2