Кафедра алгебры и математической логики


Сотрудники кафедры АиМЛ На сегодняшний день на кафедре работают 25 преподавателей, среди которых 7 докторов и 13 кандидатов наук. Заведующий кафедрой — доктор физико-математических наук, профессор Владимир Михайлович Левчук .

Основные научные направления кафедры

  • Разработка теоретических и прикладных направлений алгебры и математической логики.
  • Временные и многоагентные модальные логики и их приложения в областях Computer Science.
  • Теория моделей и универсальная алгебра.
  • Суперинтуиционистские логики.
  • Правила вывода и унификация неформальных систем.
  • Группы с условиями конечности, группы и алгебры лиева типа, кольца и модули.
  • Проективная геометрия, комбинаторные вопросы.
  • Алгебраические вопросы теории кодирования.

Контакты

Площадка №1:

тел.: (391) 244-16-00
адрес: пр. Свободный, 79, ауд. 34-17

Площадка №2:

тел.: (391)202-38-79.
адрес: 660049, г. Красноярск, пр. Свободный, 82, каб. 14-15