Содержание

Задание
Заданы два множества точек на плоскости. Построить их пересечение и разность. Написать программу решения задачи.
Составить и исследовать ССП в линейной и графовой формах.
Построить и исследовать инварианты и ограничения цикла(ов).
Составить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости.
 
Краткая теория
Множество — одно из ключевых понятий математики, в частности, теории множеств и логики.
Понятие множества обычно принимается за одно из исходных (аксиоматических) понятий, то есть не сводимое к другим понятиям, а значит, и не имеющее определения. Однако, можно дать описание множества, например, в формулировке Георга Кантора:
Под «множеством» мы понимаем соединение в некое целое M определённых хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться «элементами» множества M).
Другая формулировка принадлежит Бертрану Расселлу: «Множество есть совокупность различных элементов, мыслимая как единое целое». Также возможно косвенное определение через аксиомы теории множеств.
В математической логике и дискретной математике часто ...

Список использованной литературы
1. http://ru.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE
2. Андерсон Р. Доказательство правильности прогpамм. - М.: Мир, 1982.- 168 с.
3. Се6еста Р. Основные концепции языков прогpаммирования. - М.:Изд. дом “Вильямс”, 2001. - 672 с.
4. Хоар Ч. Взаимодействующие последовательные процессы. - М.: Мир,1989. - 264 с. .
5. Котов В. Е. Сети Петри. - М.: Наука, 1984. - 160 с.