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

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

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

Краткий конспект лекций (весна 2010)

Программа курса (весна 2011)

Упражнения для подготовки к экзамену (весна 2011)

Экзамен по курсу назначен на 31 мая 2011 года, 10 часов (корпус в Климентовском переулке, комната 301)

Заметки о расширящих графах (экспандерах)
по лекциям, прочитанным весной 2009 на мехмате МГУ и в Computer Science клубе в Санкт-Петербурге

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

Курс Математическая логика и теория алгоритмов, МФТИ

Краткий конспект курса, включающий доказательство теоремы Цермело (весна 2009)

Программа курса (2009)

Билеты и список задач к экзамену (2009)

Билеты и список задач к экзамену (2010)

Материалы по курсу 2010/11 учебного года:

Задачи для подготовки к контрольной и экзамену: вычислимые функции, разрешимость и перечислимость, теорема Клини о рекурсии (2011)

Задачи для подготовки к контрольной и экзамену: лямбда-исчисление (2011)

Задачи для подготовки к контрольной и экзамену: фундированные и вполне упорядоченные множества, аксиома выбора (2011)

Решение задач второй контрольной работы весеннего семестра (2011)

Экзамен для студентов специальности ПМФ (группы 091, 092, 093) состоится 24 июня. Каждый студент получит два теоретических вопроса: по первому семестру и по второму семестру курса, и до двух задач (по темам вычислимость, лямбда-исчисление и теория множеств, см. ниже).

Экзамен для студентов специальности ПМИ состоится 25 июня. Каждый студент получит два теоретических вопроса по второму семестру курса, и до двух задач (см. ниже).

Льготы на экзамене: дополнительные билеты и осовобождение от задач (Весна 2011)

Заметки о теории кодирования
по семинарам на мехмате МГУ в 2004/2005 учебном году