IT, готовая курсовая работа

ZAUCHKA.ru

+7 913 789-74-90

Интернет-магазин/Информатика, программирование, базы данных/Программирование/ССП в линейной и графовой формах.

Тема/Вариант	ССП в линейной и графовой формах.
Предмет	Программирование
Тип работы	курсовая работа
Объем работы	18
Дата поступления	12.12.2012

890 ₽

Содержание

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

Введение

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

Литература

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

Уточнение информации

+7 913 789-74-90
info@zauchka.ru
группа вконтакте