Сегодня будет вводная лекция, по крайней мере первую пару из полутора. На ней я неформально расскажу про основные темы курса, в том числе опишу решения таких задач:
1) Как убедить недоверчивого дальтоника, что в остальном одинаковые предметы имеют разный цвет.
2) Как гениальному археологу доказать назойливой прессе открытие древнего заклинания, не разгласив его.
3) Как записать математическое доказательство, чтобы для его проверки было достаточно прочесть лишь несколько битов, и при чём здесь задачи аппроксимации.
4) Как заставить жадного владельца облачного сервера проводить именно те вычисления, которые нужны клиенту.

Приходите, лекция уже скоро!