Магистерская программа «Алгебра, логика и дискретная математика»

Руководитель: Левчук Владимир Михайлович, доктор физ.-мат. наук, профессор
Тел.: (391) 244-16-00
E-mail: vlevchuk@sfu-kras.ru

Выпускающая кафедра: кафедра алгебры и математической логики, зав. кафедрой Левчук Владимир Михайлович, доктор физ.-мат. наук, профессор

Цель программы: Развитие у студентов личностных качеств и формирование общекультурных (общенаучных, социально-личностных инструментальных) и профессиональных компетенций, при этом выпускник должен быть подготовлен к исследовательской деятельности в областях, использующих математические методы и компьютерные технологии; созданию и использованию математических моделей процессов и объектов; разработке эффективных математических методов решения задач естествознания, техники, экономики и управления; программно-информационному обеспечению научно-исследовательской, проектно-конструкторской и эксплутационно-управленческой деятельности; преподаванию цикла математических дисциплин. Магистр подготовлен к деятельности, требующей углубленной фундаментальной и профессиональной подготовки в области алгебры логики и дискретной математики.

Базовые курсы:

  • Математическая типография.
  • Нелинейный функциональный анализ и его приложения.
  • Элементы общей алгебры и дискретной математики.
  • История и методология математики.

Курсы специализации:

  • Общая алгебра.
  • Нестандартные логики.
  • Алгебры Ли и группы лиева типа.
  • Прикладные вопросы алгебры.
  • Группы с условиями конечности.

Что сможет выпускник после окончания программы:

  • Умение применять современные методы построения формальных теорий.
  • Умение ориентироваться в методах анализа выразительных и алгоритмических свойств формальных языков.
  • Умение получать необходимые для применения в современных компьютерных науках и задачах искусственного интеллекта знания в области таких логик как интуиционистские и модальные (в частности программно-динамические логики).

Выпускник этой магистерской программы востребован:

  • Для преподавания в ВУЗе.
  • Для научно-исследовательской и проектно-конструкторской работы.
  • Для работы в любой отрасли, где требуется высокий уровень абстрактного мышления.
Прикрепленные файлы
Презенитация магистерской программы «Алгебра, логика и дискретная математика».pdf680.95 кб