text: Разработал и прочитал курс «Дискретная математика и математическая логика» для студентов специальности «Информационные системы» и ряд спецкурсов, среди которых «Сети Петри и моделирование систем» и «Лингвистические основы информатики».