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


Сотрудники кафедры АиМЛ

Кафедра алгебры и математической логики (АиМЛ) создана в 1964 г. по инициативе академика А.И. Мальцева. По его приглашению, в Красноярск приезжает группа молодых алгебраистов в составе кандидатов наук В.М. Бусаркина, Ю.М. Горчакова и В.П. Шункова для работы в Красноярском филиале НГУ и, одновременно, проведения академических исследований в теоретическом отделе Института физики СО АН СССР.

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

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

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

Контакты

Площадка №1:

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

Площадка №2:

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

Прикрепленные файлы
Kafedra_AiML_2020.pdf.pdf1.04 Мб