Размер шрифта
Цветовая схема
Изображения
Обычная версия сайта

Теория вычислительных процессов и структур

УМКД дисциплины

Рабочая программа и аннотация - TVPS_MOAIS_25-04-18.pdf - для просмотра файла необходимо авторизоваться

Методические рекомендации - MR_TVPS_MOAIS_25-04-18.pdf

Аннотация

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