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

Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4

Лекции курса

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

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

3