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

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

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

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

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

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

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

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

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

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

• Для преподавания в ВУЗе.
• Для научно-исследовательской и проектно-конструкторской работы.
• Для работы в любой отрасли, где требуется высокий уровень абстрактного мышления.