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

ТРУДОЕМКОСТЬ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 ЗЕТ (108 час.).

ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ
Основная цель курса «Теория вычислительных процессов» заключается в создании теоретической основы для изучения специальных дисциплин учебного плана подготовки, связанных с новыми информационными и сетевыми технологиями на базе принципов параллельной и распределенной обработки информации.

МЕСТО ДИСЦИПЛИНЫ В СТРУКТУРЕ ООП
Данная дисциплина входит в профессиональный цикл вариативной части и предполагает предварительное освоение курсов «Информатика», «Программирование», «Объектно-ориентированного программирование», «Дискретная математика».

ТРЕБОВАНИЯ К УРОВНЮ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Процесс изучения дисциплины направлен на формирование следующих общекультурных (ОК), профессиональных (ПК) и профессионально-специализированных компетенций (ПСК):

  1. использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования (ОК-10);
  2. осваивать методики использования программных средств для решения практических задач (ПК-2);
  3. разрабатывать модели компонентов информационных систем, включая модели баз данных (ПК-4);
  4. применять формализованные языки и нотации для построения моделей процессов, данных, объектов (ПСК-2);
  5. применять специализированные программные средства для построения моделей процессов, данных, объектов (ПСК-3);
  6. оценивать качество построенной модели (ПСК-4).
В результате изучения дисциплины студент должен:
Знать: проблемы и направления развития теории вычислительных процессов и структур, новых способах их формального описания и верификации; об основных тенденциях развития способов задания семантики программ, их формальной спецификации и верификации.
Уметь: использовать формальные модели вычислительных процессов и структур, основные классы моделей и методы решения задач анализа моделей; сетевые модели вычислительных процессов - сети Петри; принципы построения моделей процессов, методы и средства формализации, алгоритмизации и реализации модели на ЭВМ; методы управления процессами, протоколы взаимодействия объектов вычислительных структур, методы анализа структур и процессов; основные классы схем программ и программных механизмов.
Владеть: навыками применения различных формальных средств реализации моделей асинхронных процессов и систем взаимодействующих вычислительных процессов с целью анализа, расчетов и оптимизации разрабатываемых систем; использования метода системного моделирования при исследовании и проектировании программных систем; применения прикладных методов верификации программ.

СОДЕРЖАНИЕ ДИСЦИПЛИНЫ. ОСНОВНЫЕ РАЗДЕЛЫ
Схемы программ. Рекурсивные схемы. Семантическая теория программ. Теоретические модели вычислительных процессов. Параллельные процессы. Сети Петри. Анализ сетей Петри.

ВИДЫ УЧЕБНОЙ РАБОТЫ
Лекции, лабораторные работы.

ФОРМА АТТЕСТАЦИИ ПО ДИСЦИПЛИНЕ
Изучение дисциплины заканчивается зачетом.

Методические материалы:

  1. В. Т. Калайда. Теория вычислительных процессов. Методическое пособие / Томск: ТУСУР, 2007. - 130 с.