Курсы лекций
Механико-математический факультет МГУ
- Математическая логика и сложность вычислений
Полугодовой курс для магистрантов первого года, весна 2023.
Читается по средам 12:30 — 14:05 онлайн. Первая лекция — 8 февраля 2023 года. - Алгоритмы: построение и анализ
Полугодовой курс для магистрантов первого года программы «Цифровые технологии и искусственный интеллект» (осень 2022) - Коды с исправлением ошибок
ЕНС на иностранном языке для студентов 6-го курса мехмата МГУ (осень 2022) - Математическая логика, теория алгоритмов и сложность вычислений
(полугодовой курс для магистрантов программы «Цифровые технологии и искусственный интеллект», весенний семестр, Н. К. Верещагин) - Введение в математическую логику и теорию алгоритмов (2-й курс, осенний семестр, акад. А. Л. Семёнов)
- Математическая логика: годовой спецкурс для студентов 3 курса кафедры (Т.Л.Яворская, С.Л.Кузнецов)
- Компьютерный практикум по автоматизированной проверке доказательств
(3 курс, осенний семестр, С. Л. Кузнецов) - ЕНС Математическая логика и алгоритмы, 4 курс
(4 курс, весенний семестр, читает В. Б. Шехтман)
Филологический факультет МГУ
Межфакультетские курсы
- Категориальные грамматики (С. Л. Кузнецов, М. Р. Пентус, А. А. Сорокин)
- Математические модели в лингвистике (М. Р. Пентус, А. А. Сорокин, А. Ч. Пиперски)
- Математические модели в биоинформатике (В. А. Любецкий, А. В. Селивёрстов)