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