ЛекториумМедиатека
Личный кабинет

Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3

Лекции курса

4
  1. Базовая теория. Интерактивные доказательства. Лекция 1
  2. IP=PSPACE. Интерактивные доказательства. Лекция 2
  3. Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3▶ Вы тут
  4. Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4

Онлайн-курсы по программированию

3