Магистратура "Методы современной математики" МФТИ, Долгопрудный

Учебный план даёт студенту возможность выбрать одну из двух «линеек» (траекторий) обучения: «алгоритмические вопросы логики, алгебры и теории чисел» и «методы квантовых технологий и математической физики».

«Алгоритмическая» линейка включает курсы по математической логике, в том числе неклассическим логикам и применениям логики в Computer Science, теории дискретных случайных процессов, аддитивной комбинаторики, теории групп и комбинаторике слов и другие. Разнообразие предлагаемых в рамках этой линейки курсов отвечает разнообразию интересов студентов, от «чистой» математики до прикладных задач.

«Квантовая» линейка включает курсы по основам квантовой теории информации, теории управления квантовыми системами, квантовой криптографии и квантовым коммуникациям, квантовым вычислениям и алгоритмам, теории открытых квантовых систем. Излагаемые темы охватывают как ключевые фундаментальные результаты, так и методы, тесно связанные с современными прикладными задачами.

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

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

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

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

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