Кафедра математической логики и теории алгоритмов

Архив курсов Н.К. Верещагина

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

Апериодические замощения (осень 2020).

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

Алгоритмическая статистика (осень 2019)

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

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

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

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

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

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

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

Error correcting codes  ЕНС на английском языке для шестого курса Мехмата МГУ (осень 2020, осень 2019, осень 2018,
осень 2017, осень 2016).

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

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

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


Спецкурс Коммуникационная сложность 
(осень 2017, 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)