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


Сотрудники кафедры АиМЛ На кафедре работают 12 преподавателей, из них 6 докторов и 6 кандидатов наук. Заведующий кафедрой — доктор физико-математических наук, профессор Левчук Владимир Михайлович.

Научные направления кафедры

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

Контакты

Площадка №1:

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

Площадка №2:

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