MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ResearchGate | ВШЭ | YouTube

Преподавание

механико-математический факультет МГУ

  • (online) 2020–2021: «Модальная логика» (спецкурс)
  • осень 2020: «Введение в математическую логику и теорию алгоритмов» (семинары, 2 курс)
  • 2019–2020: «Модальная логика» (спецкурс)
  • весна 2016-2020: «Дополнительные главы классической логики» (спецкурс на английском языке, 5 курс)
  • 2018–2019: «Модальная логика» (спецкурс)
  • 2017–2018: «Дескрипционная логика» (Description logic) (спецкурс)
  • 2016–2017: «Модальная логика» (спецкурс)
  • 2015–2016: «Модели неклассических логик» (спецкурс)
  • 2014–2015: «Модальная логика и ее приложения» (спецкурс)
  • 2009–2012: «Дескрипционная логика» (Description logic) (спецкурс)

    филологический факультет МГУ, отделение ФиПЛ

  • весна 2017: «Информатика и основы программирования» (практические занятия, 1 курс)
  • 2014–2016: «Аксиоматический метод» (лекции, 1 курс)

    Научное руководство студентами

  • Примеры задач, предлагаемых студентам для исследований (периодически обновляется): [ pdf ]
  • Презентация на встрече со студентами (pdf): 17.03.2017 | 15.03.2018 | 25.04.2019

    Слайды и видеозаписи выступлений

  • Абстрактная теория определимости: слайды
    Научный семинар ВШЭ «Формальная философия», 15 января 2020.
  • Compactness and saturatedness in definability theorems: video | slides
    International conference “Trends in Logic 2019”, 3rd October 2019.
  • Соответствие на счетных структурах и запросы к теориям: слайды
    Научная конференция «Смирновские чтения по логике 2019», 20 июня 2019.
  • Критерии аксиоматизируемости в модальной логике: видео | слайды
    Научная конференция «Ломоносовские чтения 2019», 24 апреля 2019.
  • Duality in abstract definability theory: slides
    The 1st International Conference “Formal Philosophy” (2018), 2nd October 2018.

    Web-разработки

  • Навигатор по сложности Дескрипционных логик
  • Семантическая паутина — перевод (2004 г.) статьи “The Semantic Web” (by Tim Berners-Lee et al, 2001).
  • Дипломные работы нашей кафедры
  • Диссертации нашей кафедры
  • Диссертации по модальной логике: на русском и иностранных языках
  • Муравей Лэнгтона (эмулятор на JavaScript).
    Описание в Википедии (описание лишь для прямоугольной сетки, треугольная же интереснее для наблюдений).
  • Алгебра и логика. Семинар (семантически размеченное оглавление)
  • Вопросы кибернетики (оглавления всех выпусков)
  • Вестник Московского университета. Серия 1. Математика. Механика
  • Интересные ссылки