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

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

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

Теория информации.

Алгоритмы: построение и анализ (полугодовой курс для магистрантов, весна 2022).

Математическая логика, теория алгоритмов и сложность вычислений (полугодовой курс для магистрантов, весна 2022, 2023).

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

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

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

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

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

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

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

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

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

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

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

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

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

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