Прочитанные курсы лекций в ТвГУ

• Алгебра
• Алгебра и геометрия
• Алгебра и теория чисел
• Линейная алгебра
• Общая алгебра
• Теория алгебраических систем
• Теория чисел
• Математическая логика
• Дискретная математика
• Теория алгоритмов
• Дискретная математика и математическая логика
• Математическая логика и теория алгоритмов
• Прикладные задачи математической логики и теории алгоритмов
• Теория вычислительной сложности
• Сложность вычислений
• Модальные и суперинтуиционистские логики
• Логика предикатов. Теория моделей
• Арифметика. Проблемы доказуемости и полноты
• Алгоритмические проблемы математики
• Основания математики
• Неклассические логики
• Теорий функций k-значной логики

Другие прочитанные курсы лекций

• Курс подготовки к ЕГЭ по математике (ТвГУ)
• Майнор "Логика" (ВШЭ)
• НИС "Логика и алгоритмы" (ВШЭ)
• НИС "Модальные логики и вычислительная сложность" (ВШЭ)
• Курс повышения квалификации преподавателей вузов "Математическая логика, алгоритмические проблемы,  вычислительная сложность" (ВШЭ)
• Модальная логика (Летняя школа, ВШЭ)
• Булевы функции (Летняя школа, Иннополис)

Учебные издания