Рабочая программа и аннотация
- RPD_ TVPS_MOAIS_2019.pdf - для просмотра файла необходимо авторизоваться
Методические рекомендации -
MR_TVPS_MOAIS_2021.pdf
1. Цели и задачи изучения дисциплины Цель курса - научить студентов квалифицированно применять математический аппарат для описания, анализа и синтеза формальных моделей вычислительных процессов и структур с направленностью на использовании этих моделей в практике проектирования типовых компонентов программного и программно-аппаратного обеспечения вычислительной техники и автоматизированных систем. 2. Краткая характеристика учебной дисциплины Курс включает блок лекционных занятий. В разделе "Теория схем программ" основной упор делается на изучении структурных свойств и преобразований программ как математических объектов, в которых с той или иной степенью детализации отражено строение программы, взаимодействие составляющих ее компонентов. В разделе "Процессы, протоколы, спецификации" вводится общее понятие процесса как математической абстракции. Вводятся методы описания протяженных и бесконечных процессов с помощью рекурсии. Показаны возможности представления поведения процессов в виде протоколов и определяются операции над протоколами и их свойства. Еще до своего выполнения процесс может быть специфицирован путем описания свойств его протоколов. Даются правила, позволяющие определить удовлетворение протоколов заданным спецификациям. Раздел "Моделирование параллельных вычислительных процессов сетями Петри " посвящен изучению формализма сетей Петри, позволяющего моделировать параллельные и асинхронные процессы. Раздел "Моделирование систем цепями Маркова" посвящен изучению методов разработки моделей, основанных на концепции состояния. 3. Место дисциплины в структуре образовательной программы Дисциплина (практика) входит в обязательную часть "Блок 1" образовательной программы бакалавриата, реализуется на 4-м году обучения с трудоемкостью освоения - 2.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предыдущие дисциплины: Алгебра и теория чисел 1, Информатика, Математический анализ 1, Основы программирования, Алгебра и теория чисел 2, Математический анализ 2, Программирование, Дискретная математика, Математический анализ 3, Теория вероятностей и математическая статистика, Геометрия и топология 1, Дифференциальные уравнения, Математическая логика, Методы вычислений, Геометрия и топология 2, Методы оптимизации, Структуры и алгоритмы компьютерной обработки данных, Функциональное программирование, Функциональный анализ, Производственная практика 2: Научно-исследовательская работа, Компьютерное моделирование, Программирование, Операционные системы, Архитектура вычислительных систем и компьютерных сетей, Программирование на PL/SQL, Базы данных, Правовые основы профессиональной деятельности, Информационная безопасность, Производственная практика 1: Научно-исследовательская работа, Структуры и алгоритмы компьютерной обработки данных, Оптимизация функционирования баз данных, Администрирование серверов, Web-технологии, Математические основы криптографии, Прикладной системный анализ. Последующие дисциплины: Рекурсивно-логическое программирование, Теория языков и трансляций, Технология разработки , параллельных программ, Системы реального времени, Производственная практика 3: Научно-исследовательская работа, Подготовка к процедуре защиты и защита выпускной квалификационной работы. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ОПК1 - Способен применять фундаментальные знания, полученные в области математических и (или) естественных наук, и использовать их в профессиональной деятельности УК 2 - Способен определять круг задач в рамках поставленной цели и выбирать оптимальные способы их решения, исходя из действующих правовых норм, имеющихся ресурсов и ограничений