Мини-курс Александра Шеня "Интерактивные вычисления"
Место проведения: Факультет компьютерных наук, Кочновский проезд, 3.
Язык мини-курса: русский
Расписание мини-курса:
26 ноября, 13:40-15:10, ауд. 503
30 ноября, 13:40-16:30, ауд. 501
Заказ пропуска: evavilova@hse.ru
Аннотация
До 1980-х годов вычисление (и теоретики, и практики) в основном представляли себе как преобразование входных данных в некоторый результат. Но постепенно стало понятно, что и теоретически, и практически важна возможность "диалога между участниками" в процессе вычисления, и многие важные понятия (интерактивные доказательства, криптография) формулируются в терминах такого диалога (с использованием "источников случайности"). Мы постараемся подробно разобрать наиболее простые и важные примеры такого рода понятий и результатов.