Программная
инженерия и информационные технологии – область знаний, которая включает в себя: знания о технологических аспектах процессов
жизненного цикла программных систем от работы с требованиями до проектирования,
реализации и обеспечения качества; знания о
специализированных языках программирования для систем обработки и анализа
больших данных; знания о современных вычислительных платформах; знания о
технологических программных решениях для обработки больших данных.
Автор и лектор курса: к.ф.-м.н. Малышко Виктор Васильевич
В рамках дисциплины рассматриваются современные методы и средства анализа и проектирования программного обеспечения, основанные на применении объектно-ориентированного подхода, визуального унифицированного языка моделирования (UML), текстового языка объектных ограничений (OCL), а также примеры их практического использования. Особое внимание уделено построению моделей программного обеспечения по технологии Unified Process (Унифицированный процесс). Рассматриваются вопросы моделирования структурных и поведенческих аспектов программных систем. Отдельно обсуждается объектно-реляционное отображение и моделирование схем реляционных данных с использованием языка UML.
Автор курса -- к.ф.-м.н. Кузнецов Степан Львович
В данном курсе будет рассказано о формализации анализа математических рассуждений на компьютере на примере одной из самых популярных систем автоматизации анализа математических данных, называемой Coq.
В рамках курса «Введение в функциональное программирование» слушатели знакомятся с парадигмой функционального программирования на примере языка Scheme.
Автор и лектор курса: к.ф.-м.н. Малышко Виктор Васильевич
В рамках дисциплины рассматриваются современные методы и средства анализа и проектирования программного обеспечения, основанные на применении объектно-ориентированного подхода, визуального унифицированного языка моделирования (UML), текстового языка объектных ограничений (OCL), а также примеры их практического использования. Особое внимание уделено построению моделей программного обеспечения по технологии Unified Process (Унифицированный процесс). Рассматриваются вопросы моделирования структурных и поведенческих аспектов программных систем. Отдельно обсуждается объектно-реляционное отображение и моделирование схем реляционных данных с использованием языка UML.
Автор и лектор курса -- к.ф.-м.н, доцент Петровский Михаил Игоревич
В курсе рассматриваются основные вопросы программирования для решения задач статистического анализа данных с использованием аналитической платформы SAS.
Авторы курса: к.ф.- м.н., доцент Попова Нина Николаевна, член-корр. РАН, д.ф.-м.н., профессор Воеводин Владимир Валентинович
Целью курса является изучение основ суперкомпьютерного моделирования и освоение на практике технологий, необходимых для реализации ресурсоемких задач математического моделирования и обработки данных большого объема на суперкомпьютерных системах. В курсе рассматриваются вопросы современного состояния развития суперкомпьютерных технологий, включая суперкомпьютерные аппаратно-программные платформы, математические модели решаемых на суперкомпьютерных задач и алгоритмов их решения, параллельные технологии реализации таких задач на суперкомпьютерах.
Авторы курса: член-корр. РАН, д.ф.-м.н., профессор Воеводин Владимир Валентинович, к.ф.-м.н. Антонов Александр Сергеевич
Учебный курс «Суперкомпьютеры и параллельная обработка данных» ориентирован на получение базовых знаний и практических навыков в области параллельных вычислений, методов параллельной обработки данных, технологий параллельного программирования и суперкомпьютерных технологий.
Курс развёрнут на площадке проекта «Открытые курсы МГУ»