RUS ENG

Структура программы

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

  • Компьютерное моделирование (КМ)
  • Верификация программных систем (ВИС)
  • Программная инженерия (ПИ)
  • Надежные методы передачи и хранения информации (НМ)

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

План обучения

Базовая часть 

  • Основы объектно-ориентированного моделирования в  среде RMD (КМ)
  • Программная инженерия (ПИ)
  • Математическая логика в информатике (ВИС)
  • Основы передачи информации (НМ)
  • Сетевые технологии
  • Имитационное моделирование (КМ)
  • Научно-исследовательская работа
  • Педагогическая практика
  • Производственная практика
  • Преддипломная практика

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

Обязательные дисциплины

  • Параллельное и распределенное программирование
  • Технологии разработки распределенных систем
  • Архитектура систем управления реляционными базами данных
  • История и методология компьютерного моделирования
  • Научный семинар

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

Группа 1

  • Практическое моделирование сложных систем (КМ)
  • Управление программными проектами (ПИ)

Группа 2

  • Верификация распределенных алгоритмов и систем (ВИС)
  • Помехоустойчивое кодирование (НМ)

Группа 3

  • Инфокоммуникационные системы и сети
  • Анализ текстов на естественных языках

Группа 4

  • Среды и языки визуального моделирования (КМ)
  • Разработка специализированных систем

Группа 5

  • Прикладные методы математической логики в информационных системах (ВИС)
  • Системы хранения данных (НМ)

Группа 6

  • Объектно-ориентированные CASE-технологии
  • Системы доказательства теорем