Архив учебных материалов
Лекции о категориальных грамматиках, исчислении Ламбека, λ-исчислении
- Спецкурс «Категориальные грамматики Ламбека» (2011/12 учебный год, мехмат МГУ): программа курса;
задачи: осень, весна.
- Школа-конференция по математическим проблемам информатики (Омск, 20-27 сентября 2013 г.). Две лекции «Введение в вычислительную теорию доказательств».
Слайды: часть I: λ-исчисление; часть II: категориальные грамматики.
- Спецкурс «Полнота исчисления Ламбека» (весна 2013 г., мехмат МГУ)
- Спецкурс «Категориальные грамматики Ламбека» (2013/14 учебный год, мехмат МГУ)
- Спецкурс «λ-исчисление, или вычислительная теория доказательств» (весна 2015 г.,
НОЦ МИАН им. Стеклова)
- “Lambek categorial grammars” for ESSLLI
2015 (Барселона, 3–7 августа 2015 г.)
- Межфакультетский курс «Категориальные грамматики»
(МГУ, лекторы: к. ф.-м. н. С. Л. Кузнецов, проф. М. Р. Пентус, к. ф.-м. н. А. А. Сорокин):
весна 2016, весна 2018, весна 2020
- Спецкурс «Вычислительная теория доказательств и λ-исчисление» (2019/20 учебный год, НОЦ МИАН,
лекторы: академик РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов)
Семинары по математической логике для 2-го курса мехмата МГУ
Программистские курсы
- Формальные языки и трансляции (осень 2013, ФИВТ МФТИ, 2-й курс, группы 295, 296, 297; лектор — А. А. Сорокин)
- Дискретная математика для разработки алгоритмов и программ (факультет компьютерных наук
НИУ ВШЭ, магистерская программа «Науки о данных», на английском языке, осенний семестр, 1-й модуль):
2016, 2017, 2018, 2019
- Функциональное программирование (январь – март 2018, факультет компьютерных наук НИУ ВШЭ)
- Функциональное программирование (осень 2021, ВШЭ, ФКН, с Д.Д. Рогозиным)