Экспандеры: конструкции и приложения,
заметки по материалам лекций 2009 и 2014 года


Заметки о теории кодирования
по семинарам на мехмате МГУ в 2004/2005 учебном году (совместно с А.Румянцевым и А.Шенем)


Курс Ведение в теорию информации, ФИВТ МФТИ

Программа курса 2014 года
Краткий конспект курса 2014 года (upd: 23.01.2016)

Упражнения к первой части курса
Упражнения ко второй части курса

Программа курса 2013 года


Конспект лекций по курсу Коммуникационная сложность
мех-мат МГУ, весенний семестр 2012 года, совместно с В.В.Подольским)


Курс Математическая логика и теория алгоритмов, МФТИ весенний семестр 2014 года (совместно с Д.В.Мусатовым)

ПМФ: программа второго семестра курса для специальности; основные темы первого семестра курса семестра курса.
ПМИ: программа второго семестра курса для специальности; основные темы первого семестра курса семестра курса.

Краткий конспект первой темы семестра (теория множеств и трансфинитная индукция): для студентов специальностей специальности ПМФ и ПМИ

Упражнения к курсу по теме трансфинитная индукция (ПМИ + ПМФ):

Первая контрольная: задачи для работы над ошибками.

Краткий конспект второй темы семестра - вычислимость для ПМФ и ПМИ

Упражнения к курсу по теме вычислимость для студентов специальности ПМФ:

Упражнения к курсу по теме вычислимость для студентов специальности ПМИ:

Вторая контрольная: задачи для работы над ошибками для студентов специальности ПМИ и ПМФ.

Очень краткий конспект третьей темы семестра - лямбда-исчисление - для ПМФ и ПМИ

Упражнения к курсу по теме лямбда-исчисление:

Рекомендуемая литература по лямбда-исчислению:

Краткий конспект четвертой темы семестра - арифметическая иерархия и теорема Гёделя о неполноте для специальностей ПМФ и ПМИ

Основная литература для подготовки к экзамену:


Материалы прошлых лет:

Программа второго семестра курса (весна 2013).

Краткий конспект первой части семестра (теория множеств, трансфинитная индукция)
Краткий конспект второй части семестра (алгоритмическая вычислимость)
Краткий конспект четвёртой части семестра (арифметическая иерархия и теорема Гёделя о неполноте)

Упражнения к курсу:


Курс Алгоритмические методы в теории сложности, мех-мат МГУ, весенний семестр 2013 года:
программа курса, краткий конспект лекций, задачи к экзамену.


Краткий конспект лекций Алгоритмические задачи теории графов
мех-мат МГУ, весенний семестр 2011 года
задачи к курсу


Краткий конспект лекций Теория кодирования и сложность вычислений
мех-мат МГУ, весенний семестр 2010 года
задачи к курсу


Программа курса Сложность вычислений, МФТИ, весна 2009


Последние изменения: Sat Jan 23, 01:28 MSK 2015