Міністерство Російської Федерації
За зв'язку та інформатизації
Сибірський державний університет
Телекомунікації та інформатики
ПОЯСНЮВАЛЬНА ЗАПИСКА
До курсової роботи
З дисципліни
Теорія обчислювальних процесів
На тему
Теоретичне дослідження моделей програми, вирішальної задану задачу
Новосибірськ 2012
Зміст
Завдання до курсової робіт
Завдання до курсової роботи
Реферат
Коротка теорія
Програмна реалізація
Висновок результатів
Стандартні схеми програм
Базис класу стандартних схем програм
Лінійна форма стандартної схеми
Графова форма стандартної схеми
Інтерпретація стандартних схем програм
Мережі Петрі
Введення в мережі Петрі
Основні визначення
Аналіз мереж Петрі
ЛИНЕЙНАЯ СХЕМА ПРОГРАМ
ССП в графовой формі
Інтерпретація
Інваріанти та обмеження циклів
Доказ часткової та повної правильності програми
Аналіз мереж Петрі на основі дерева досяжності
Мережа Петрі
Дерево досяжності
Висновки по роботі
Список літератури
Завдання до курсової роботи
1. Написати програму рішення задачі, номер якої збігається з Вашою номерів у журналі.
2. Скласти і досліджувати ССП в лінійній і графовой формі.
. Вказати інтерпретацію ССП і скласти протокол виконання програми.
. Побудувати та дослідити інваріанти і обмеження циклу (ів).
. Довести часткову і повну правильність програми.
. Уявити схему програми у вигляді мережі Петрі і здійснити аналіз її властивостей на основі дерева досяжності.
Завдання до курсової роботи
Варіант 2
Для заданої целочисленной матриці знайти максимум серед сум елементів діагоналей, паралельних головній діагоналі матриці.
Реферат
Дана пояснювальна записка містить 23 аркуша, 5 схем, зразок виконання програми, текст програми.
В результаті виконання курсової роботи була пророблена наступна робота: написана програма, яка вирішує задану задачу. Були складені і досліджені стандартні схеми програм в лінійній ...
