Магистратура "Интеллектуальные системы и технологии. Архитектуры современных интеллектуальных систем" НИЯУ МИФИ, Москва

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

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

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

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

• Методология научных исследований
• Теория систем и системный анализ
• Корпоративные информационные системы
• Иностранный язык (английский)
• Математические модели физических процессов
• Ввзаимосвязь открытых систем
• Управление жизненным циклом программного обеспечения (Software Lifecycle Management)
• Объектно-ориентированное программирование.

Вариативная часть:

• Дискретная математика (модели вычислений)
• Методология программной инженерии (технология разработки, верификация и сертификация программного обеспечения)
• Современные архитектуры интеллектуальных систем
• Основы автоматизированных информационных технологий
• Биологически мотивированные когнитивные архитектуры (Biologically Inspired Cognitive Architectures (BICA))
• Технология программирования кибернетических систем.

Дисциплины по выбору:

• Абстрактные вычислительные машины
• Параллельные вычисления
• Обработка аудиовизуальной информации
• Проектирование кибернетических систем, основанных на знаниях
• Проектирование баз данных кибернетических систем
• Семантическое конфигурирование программных систем
• Логическое программирование
• Функциональное программирование
• Статистическая обработка временных рядов
• Конструирование программных систем
• Машинное обучение
• Модели и методы представления и обработки знаний
• Проектирование Web приложений
• Семантически безопасное информационное моделирование
• Формализмы в информационных технологиях
• Математические модели физических процессов (спецглавы).