Интерактивные доказательства. Лекция 1. Даниил Мусатов (МФТИ, Яндекс)

Лекции прошли в ИМЭИ ИГУ с 10 по 13 марта 2015 года. Смотрите другие отснятые лекции, узнавайте о предстоящих мероприятиях. Группа ВК: Сайт проекта: