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

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

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

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

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

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

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

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

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