Учебный план программы
«Современное программирование» 2024−2028

Наведите курсор на дисциплину, чтобы увидеть её аннотацию.

Элективные курсы (неполный список)

  • Разработка компиляторов
  • Языки программирования и виртуальные машины
  • Управление памятью
  • Параллельное программирование
  • Разработка мобильных приложений
  • Типы в языках программирования
  • Тестирование программного обеспечения
  • Управление людьми и коммуникация
  • Основы веб-технологий
  • Разработка компонентов операционной системы
  • Анализ кода и безопасная разработка
  • Внутреннее устройство реляционных СУБД
  • Компьютерные сети. Часть II
  • Язык программирования Python
  • Язык программирования Scala
  • C# и .Net
  • Скриптовые языки
  • Введение в глубокое обучение на практике
  • Решение задач с семантическим разрывом
  • Обработка естественного языка
  • Обучение с подкреплением
  • Обработка речи с использованием нейронных сетей
  • Самодвижущиеся автомобили
  • Основы байесовского вывода
  • Глубокое обучение
  • Машинное обучение: графические вероятностные модели
  • Семантический поиск
  • Фотореалистичный рендеринг изображений
  • Рекомендательные системы
  • Фотограмметрия (трёхмерная реконструкция)
  • Вычисления на видеокартах
  • Компьютерная графика
  • Трёхмерное компьютерное зрение
  • Численные методы
  • Дифференциальные уравнения и управление сложными системами
  • Методы и алгоритмы эвристического поиска
  • Введение в биоинформатику
  • Введение в квантовые вычисления
  • Теория автоматов
  • Формальные грамматики
  • Алгоритмы на строках
  • Алгоритмы для NP-трудных задач
  • Дополнительные главы алгоритмов
  • Криптографические протоколы
  • Эффективные параллельные алгоритмы
  • Сложность булевых функций
  • Алгоритмы и метод динамического программирования
  • Олимпиадное программирование
  • Распределённые вычисления
  • Архитектура и проектирование систем
  • Виртуализация и облачные технологии
  • Инфраструктура распределённых систем
  • Технологии хранения и обработки больших данных
  • Предметно-ориентированное программирование
  • Введение в формальные методы верификации программ
  • Верификация моделей программ