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

Лабораторная 1 - Пузырьковая сортировка Лабораторная 2 - Сортировка прямого выбора Лабораторная 3 - Задача "Лестница" Лабораторная 4 - Алгоритм Флойда Лабораторная 5 - Динамическое программирование. Расстановка скобок в перемножении матриц.

1. Постановка задачи исследования 1.1. Задание к курсовой работе 1. Написать программу решения задачи, номер которой совпадает с номером в журнале (вариант №12). 2. Составить и исследовать ССП в линейной и графовой форме. 3. Указать интерпретацию ССП и составить протокол выполнения программы. 4. Построить и исследовать инварианты и ограничения цикла (ов). 5. Доказать частичную и полную правильность программы. 6. Представить схему программы в виде сети Петри и осуществить анализ ее свойств на ос

Задание к курсовой работе 1. Написать программу решения задачи, номер которой совпадает с Вашим номеров в журнале. 2. Составить и исследовать ССП в линейной и графовой форме. 3. Указать интерпретацию ССП и составить протокол выполнения программы. 4. Построить и исследовать инварианты и ограничения цикла(ов). 5. Доказать частичную и полную правильность программы. 6. Представить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости. Задачи к курсовой ра

Реферат Пояснительная записка 25 стр., 1 таблица, 6 рисунков, 1 программный модуль, 3 источника. Объектом исследования в данной курсовой работе является программа, написанная в соответствие с заданием: среди столбцов заданной целочисленной матрицы, содержащих только таки е элементы, которые по модулю не больше 10, найти столбец с минимальным произведением элементов. Цель работы – составить и исследовать стандартные схемы программы, протокол ее выполнения, доказать правильность програм

Задание на курсовую работу: Объем ПЗ – 26. Количество схем – 3. Количество таблиц – 1. Количество программ – 1. Источники литературы – 1. Объектом исследования является программа, решающая поставленную задачу. Цель работы - написание программы и исследование ее структурных свойств, семантики вычислений и доказательство правильности программы. Структурные свойства программы исследуются путем построения ССП в графовой и линейной форме, а также путем представления программы в виде сети Петри.

Тема: Сети Петри. Основные определения. Моделирование систем на основе сетей Петри Цель работы: Научиться моделировать сети Петри. Задание 1. Постройте граф сети Петри для следующей структуры сети Петри: Р = {p1, p2, p3, p4}, Т = {t1, t2, t3, t4}, I(t1) = { }, l(t2) = {p1}, I(t3) = {p2, p4}, I(t4) = { }, I(t5) = {p3}, O(t1) = {p1}, O(t2) = {p2}, О(t3) = {p1, p3}, O(t4) = {p3}, O(t5) = {p4}.

Оглавление 1.Краткая теория по теме курсовой работы .................3 2. ССП и результаты ее исследования.....................8 2.1. ССП в линейной форме........................................8 2.2. ССП в графовой форме.......................................10 3. Програмная реализация......................................12 4. Инварианты и ограничения циклов.......................14 5. Сеть Петри программы.......................................16 5.1. Граф сети Петри.................

Тема: Формы, свойства и виды стандартных схем программ Цель работы: Научиться составлять и исследовать схему программы Задание. 1. Найдите аналитический вид функции, кодирующей слова в алфавите V = {а, b, c} числами, если функция упорядочения К: V-> {1, 2, 3} такова, что К(а) = 1, К(Ь) = 2, К(с) = 3.

Билет: 15 Вопрос 1. Классы и трансляция обогащенных схем программ. Вопрос 2. Использование утверждений в программах.

Тема: Семантическая теория программ Цель работы: Изучить виды семантик. Научиться составлять семантику программы. Задание. 1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами: F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-l) + G(n-1). Найти значения F(3) и G(3).

Тема: Процессы. Параллельные процессы. Последовательные процессы Цель работы: Усвоить понятие процесса. Изучить виды процессов и способы их взаимодействия. Задание. 1. Изложите суть проблем, возникающих в модели системы, описанной притчей о пяти обедающих философах.

Тема: Процессы. Параллельные процессы. Последовательные процессы. Цель работы: Усвоить понятие процесса. Изучить виды процессов и способы их взаимодействия. Рекомендации по выполнению работы 1. проработать материал лекции 9-14 2. При оформлении выполненного пункта задания не руководствуйтесь пословицей “краткость - сестра таланта”, расписывайте свои аргументы подробнее, делайте ссылки на страницы лекционного материала Задания 1. Изложите суть проблем, возникающих в модели системы, описанной пр