Дискретная математика и информатика: программа магистратуры

Обучение сконцентрировано на подготовке специалиста, способного к решению сложных теоретических задач на стыке математики и информатики. Основное внимание уделяется изучению принципов вычислимости, анализу сложности математических моделей и проблемам их конструктивного построения. Будущий специалист освоит аппарат для работы с вычислимыми и разрешимыми моделями, изучит теорию формальных языков и их семантик, а также методы построения гибридных систем.

Программа готовит исследователя к работе с передовыми проблемами, такими как обнаружение скрытых закономерностей в данных, построение денотационных семантик для сложных систем и применение дискретного моделирования в междисциплинарных областях, например, в генетике. Выпускник будет владеть современным инструментарием для анализа и создания алгоритмически сложных систем, что откроет перед ним возможности для карьеры в науке и высокотехнологичных отраслях.

Программа направлена на подготовку специалистов в областях математики:

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

Спецкурсы и спецсеминары

• Вычислимость и вычислимые модели
• Автоматы и логика
• Конструктивные модели
• Теория вычислимости.