Направление 010300 «Фундаментальная информатика и информационные технологии»
Профессионально-образовательная программа «Супервычисления»
Дисциплина относится к базовой части математических и естественнонаучных дисциплин (Б2). Шифр дисциплины в рабочем учебном плане – Б2.Б.10.
Процесс изучения дисциплины направлен на формирование следующих компетенций:
- ПК-4. Способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки).
- ПК-8. Способность профессионально владеть базовыми математическими знаниями и информационными технологиями, эффективно применять их для решения научно-технических задач и прикладных задач, связанных с развитием и использованием информационных технологий.
- ПК-15. Понимание концепций и абстракций, способность использовать на практике базовые математические дисциплины, включая: Математический анализ I; Математический анализ II; Кратные интегралы и ряды; Алгебра и геометрия; Теория функций комплексной переменной; Функциональный анализ; Математическая логика и теория алгоритмов; Теория автоматов и формальных языков; Дифференциальные и разностные уравнения; Теория вероятностей и математическая статистика; Вычислительные методы; Методы оптимизации и исследование операций.
- ПК-16. Понимание концепций и основных законов естествознания, в частности, физики.
В результате освоения дисциплины студент должен
знать:
- типовые модели исследования операций (многошаговые модели, линейные оптимизационные модели, элементы теории матричных игр, сетевые модели календарного планирования, модели маршрутизации, модели теории расписаний, модели размещения и др.);
- типовые методы оптимизации, используемые при изучении моделей исследования операций;
- примеры эффективно разрешимых подклассов задач исследования операций с априорно доказуемыми оценками качества;
уметь:
- формализовать типовые модели исследования операций в виде задач математического программирования;
- обосновывать оценки качества используемых алгоритмов решения;
- разработать программные реализации типовых задач исследования операций;
владеть:
- навыками построения алгоритмов с оценками качества решения (трудоемкость, точность, надежность срабатывания).
Преподаватель: Крамаренко Константин Евгеньевич