Рабочая программа и аннотация
- RPD_ TVPS_MOAIS_2020.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 - Способен применять фундаментальные знания, полученные в области математических и (или) естественных наук, и использовать их в профессиональной деятельности ИД-1 ОПК-1 Знать: базовые знания, полученными в области математических и (или) естественных наук. ИД-2 ОПК-1 Уметь: использовать полученные базовые знания в области математических и (или) естественных наук в профессиональной деятельности. ИД-З ОПК-1 Владеть: навыками выбора методов решения задач профессиональной деятельности на основе теоретических знаний. УК 2 - Способен определять круг задач в рамках поставленной цели и выбирать оптимальные способы их решения, исходя из действующих правовых норм, имеющихся ресурсов и ограничений ИД – 1 УК – 2. Знает необходимые для осуществления профессиональной деятельности правовые нормы и методические основы принятия управленческих решений. ИД – 2 УК – 2. Умеет анализировать альтернативные варианты решений для достижения намеченных результатов; разрабатывать план, определять целевые этапы и основные направления работ. ИД – 3 УК – 2. Владеет методиками разработки цели и задач проекта; методами оценки продолжительности и стоимости проекта, а также потребности в ресурсах