Магистратура "Дискретные управляющие системы и их приложения" ВМК МГУ имени М.В. Ломоносова, Москва

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

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

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

Изучаемые дисциплины:

• Иностранный язык
• Правоведение
• Русский язык, деловое общение
• Суперкомпьютерное моделирование и технологии
• История и методология прикладной математики
• Современная философия и методология науки
• Математические модели и методы логического синтеза сверхбольших интегральных схем
• Элементы теории синтеза, надежности и контроля дискретных управляющих систем
• Проектирование больших систем на С++
• Языки описания схем
• Математические модели и методы физического синтеза сверхбольший интегральных схем
• Математические модели и методы проектирования архитектуры сверхбольший интегральных схем
• Математические методы верификации схем и программ
• Функциональные системы
• Практикум по пакетам СБИС
• Математические модели последовательных вычислений.

Список дисциплин по выбору:

• Вложения графов, теория клеточных и планарных схем
• Математические модели аналоговых схем
• Моделирование библиотечных элементов
• Математические модели задач физического проектирования, схемотехнического и временного анализа
• Решение булевых уравнений и проблемы выполнимости.