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

186
Опубликовано 27 марта 2019, 13:45
Лекция 3 | Доказательства с несколькими пруверами | Курс: Интерактивные доказательства | Лектор: Даниил Мусатов | Организатор: Computer Science клуб при ПОМИ РАН

Смотрите это видео на Лекториуме: lektorium.tv/node/34025

Другие лекции курса доступны для просмотра по ссылке: lektorium.tv/node/34024

Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское