Рабочая программа и аннотация
- TVPS_MOAIS_29-03-17.pdf - для просмотра файла необходимо авторизоваться
Методические рекомендации -
MR_TVPS_MOAIS_29-03-17.pdf
Аннотация к рабочей программе дисциплины "Теория вычислительных процессов и структур" Направление подготовки: 02.03.03 – «Математическое обеспечение и администрирование информационных систем» Направленность программы: Математическое и программное обеспечение систем искусственного интеллекта Форма обучения: очная Присваиваемая квалификация (степень): бакалавр Год набора: 2017 1. Цели и задачи изучения дисциплины Цель: Формирование у обучающихся знаний, умений и навыков анализа и синтеза формальных моделей вычислительных процессов и структур с направленностью использования этих моделей в практике проектирования типовых компонентов программного и программно-аппаратного обеспечения вычислительной техники и автоматизированных систем. Задачи курса: формирование основных понятий семантического анализа программ, формального описания задач; выработка умения формулирования математической постановки задач; освоение приемов построения моделей вычислительных процессов; изучение методов анализа параллельных и асинхронных и стохастических процессов; развитие умений самостоятельно расширять и углублять полученные знания. 2. Краткая характеристика учебной дисциплины Курс состоит из четырех разделов: 1. Теория схем программ. 2. Процессы, протоколы, спецификации. 3. Моделирование параллельных вычислительных процессов сетями Петри. 4. Моделирование систем цепями Маркова. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в вариативную часть "Блок 1" образовательной программы бакалавриата, реализуется на 3-м году обучения с трудоемкостью освоения - 4.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предшествующие дисциплины: «Линейная алгебра и аналитическая геометрия», «Математический анализ», «Методы дискретной математики», «Дискретная математика», «Теория вероятностей и математическая статистика», «Вычислительная математика», «Математическая логика», «Объектно-ориентированное программирование». Последующие дисциплины: «Теория формальных грамматик», «Системы искусственного интеллекта», «Инженерия знаний», «Мультиагентные системы», «Нейрокомпьютерные системы», «Введение в text-mining», «Комбинаторный анализ». 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины у обучающихся должны быть сформированы следующие компетенции: ОПК-2 – Способность применять в профессиональной деятельности знания математических основ информатики. ОПК-4 – Способность применять в профессиональной деятельности основные методы и средства автоматизации проектирования, производства, испытаний и оценки качества программного обеспечения. ПК-1 – Готовность к использованию метода системного моделирования при исследовании и проектировании программных систем.