Материалы учебных курсов и популярных лекций

  • Курс "Линейные неравенства и комбинаторика", школа "Современная математика", Дубна, 2001

Решение линейных неравенств по научному называется линейным программированием. В курсе обсуждаются приложения линейного программирования к теории графов. Основной пример - слабая гипотеза Бержа о совершенных графах. По материалам курса написана брошюра.

  • Курс "Основы высшей алгебры и теории кодирования", МФТИ, ФУПМ
В этом курсе изучаются группы, кольца и поля, а также приложения теории конечных полей к построению корректирующих кодов. По материалам этого курса написано учебное пособие. Файл, в котором исправлены замеченные ошибки и опечатки бумажного издания.
  • Курс "Формальные системы и алгоритмы", МФТИ, ФУПМ
В этом курсе изучаются основы логики и теории алгоритмов.  По материалам этого курса написано учебное пособие.
  • Курс "Квантовые алгоритмы: возможности и ограничения", лекции в клубе Computer Science, Санкт-Петербург, 2011. Материалы курса доступны на сайте клуба.
  • Лекции на Математическом кружке МФТИ о PCP теореме и трудности приближенного решения оптимизационных задач. Март 2013.

Расширенные записки лекций (включая доказательство теоремы о повторении и теоремы Хостада). Есть также пересказ (последняя версия от 18.04.2014) нового доказательства теоремы о повторении для проективных игр (Динур - Штойр, 2013).