Методы современной математики: программа магистратуры

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

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

Основные дисциплины:

Курсы “алгоритмической” траектории:

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

Курсы “квантовой” траектории:

• Квантовая теория информации
• Управление квантовыми системами
• Квантовые вычисления
• Квантовая криптография
• Открытые квантовые системы
• Квантовые тензорные сети
• Квантовые интегрируемые системы и другие.