Курсы прошлых лет

Курсы на мехмате МГУ

Односторонние функции и их применения (2016/17)

Введение в математическую логику (2000)

Для первого курса отделения механики мехмата МГУ.

ЕНС Математическая логика и алгоритмы, 4 курс мехмата (2017, 2015, 2013, 2011, 2009, 2007, 2005)

Спецкурс Генераторы псевдослучайных чисел (2014)

Спецкурс Теоретико-сложностные проблемы криптографии (2001/2002 - 2015/2016)

В курсе излагаются основные применения теории сложности вычислений в криптографии. Главным из таких применений является возможность дать точные определения надёжности криптографических протоколов и схем и доказательство в ряде случаев их надёжности.

Спецкурс Сложность вычислений. (2015/2016, 2012/2013, 2010/2011, 2008/2009)

Error correcting codes

ЕНС на английском языке для пятого курса Мехмата МГУ (2016).

Спецкурс Колмогоровская сложность (2014, 2011, 2010, 2008)

Цель спецкурса --- изложение основ теории колмогоровской сложности и ее многочисленных применений (к обоснованию теории вероятностей, к получению оценок времени работы алгоритмов и т.д.).

Спецкурс Коды с исправлением ошибок (2015, 2012)

Спецкурс Коммуникационная сложность (2013, 2009)

Спецкурс Метод вынуждения (2007, 2005)

Курс "Сложность вычислений" для дополнительного образования на мехмате. (2002)

Спецкурс Формальные теории (2001)

Курс на филфаке МГУ

Геометрия (ОТИПЛ) (2001-2015)

Курс в НМУ

Computations and Complexity (Math in Moscow program in IUM) (2006-2009)

Курсы на ФКН ВШЭ

Математическая логика (факультатив на ФКН ВШЭ) (2015)

Теоретические основы компьютерных наук на ФКН ВШЭ (2015/2016)

Спекурсы на матфаке ВШЭ

Коды с исправлением ошибок (2015)

Сложность вычислений (2014)

Математическая криптография (2014)

Сложность вычислений и коды с исправлением ошибок (2013)