ССП в линейной и графовой формах.

ID работы - 697136
программирование (курсовая работа)
количество страниц - 18
год сдачи - 2012

---

СОДЕРЖАНИЕ:

---

Содержание

ССП в линейной и графовой формах 3
Программная реализация 6
Исследование инвариантов и ограничений циклов 12
Схема программы в виде сети Петри 14
Список использованной литературы 18

---

ВВЕДЕНИЕ:

---

Задание к курсовой работе




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

---

СПИСОК ЛИТЕРТУРЫ:

---

Список использованной литературы


1. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. – Новосибирск: Наука. – 1990.
2. Касьянов В.Н. Оптимизирующие преобразования программ. – М.: Наука. – 1989.
3. Котов В.Е. Сети Петри. – М.: Наука. – 1984
4. Котов В.Е., Сабельфельд В.Н. Теория схем программ. – М.: Наука, –1989.
5. Непомнящий В.А., О.М.Рякин. Прикладные методы верификации прог¬рамм. Под ред. А.П.Ершова. – М.: Радио и связь. – 1988. – 256 с.
Цена: 2000.00руб.