International Teaching


Ensom vandrer
(personal blog; mostly in Russian, with fragments in other languages)

Research


Primary research interest: substructural logic with application to linguistics.

Recent and forthcoming talks:

  • Recursive enumerability doesn't always give a decidable axiomatization (with V. Lugovaya and A. Ryzhova). TbiLLC 2017 (Lagodekhi, Georgia, September 18–22) [.pdf]
  • Iteration in residuated structures. Wormshop 2017 (Moscow, October 17–20)

Selected papers:

Materials presented here are addressed to my students in Moscow and therefore exist only in Russian.
Quick link: Discrete Mathematics course at Higher School of Economics, Autumn 2017
Quick link: ESSLLI '15 course on Lambek grammars.

Учебные курсы в Москве


  • Функциональное программирование (факультет компьютерных наук НИУ ВШЭ)
    4-й курс бакалавриата, «Прикладная математика и информатика»
  • Межфакультетский курс «Категориальные грамматики» (МГУ)
    Лекторы: к. ф.-м. н. С. Л. Кузнецов, проф. М. Р. Пентус, к. ф.-м. н. А. А. Сорокин
    Время и место: среда 17:00 — 18:30. МГУ, Главное здание, ауд. 16-24.
    Дата первой лекции будет объявлена дополнительно.
  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
  • Семинары по математической логике и теории алгоритмов для 2-го курса мехмата МГУ
    Курс читается осенью. Материалы прошлых лет перемещены в архив.
  • Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств)
    Руководители: к. ф.-м. н. С. Л. Кузнецов, доц. В. Н. Крупский
    Время и место: практикум проводится в осеннем семестре, 1 занятие в 2 недели. МГУ, Главное здание, компьютерный класс 15-04.
  • Просеминар по математической логике и информатике
    Руководители: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. Ф. Н. Пахомов, академик РАН А. Л. Семёнов, к. ф.-м. н. С. Л. Кузнецов
    Время и место: пятница 16:45 — 18:20. МГУ, Главное здание, ауд. 16-22.
    Занятия возобновятся в феврале 2018 года.

My pages on www.mi.ras.ru and lpcs.math.msu.su are identical.