Вероятностно проверяемые доказательства (Д.В. Мусатов, осень 2017)

Лектор — доц. Д.В. Мусатов

Спецкурс будет проходить по четвергам в Яндексе. Первое занятие — 21 сентября.