Преподавание
Механико-математический факультет
- «Введение в математическую логику и теорию алгоритмов»
(2-й курс, семинары, осенний семестр) - Спецкурс «Математическая логика»
(обязательный с/к для студентов 3 курса кафедры, годовой, по выбору кафедры, совместно со С. Л. Кузнецовым)
читается по понедельникам 16:45–18:20, очно, ауд. 13-03 ГЗ МГУ, первая лекция 13 сентября 2021 г. - Спецкурс «Доказуемость и формальная арифметика»
(НОЦ МИАН, полугодовой, осень 2021, по выбору кафедры, совместно с Л. Д. Беклемишевым)
читается по вторникам 14:45–16:10, очно (МИАН, комн. 430), первая лекция 14 сентября 2021 г.
Филологический факультет (Отделение теоретической и прикладной лингвистики, ОТиПЛ)
- Понятийный аппарат математики (1-й курс, осенний семестр, лекции и семинары)
- Информатика и основы программирования (1-й курс, весенний семестр, практические занятия)