Проверка свойства транзитивности для отношений, заданных в ориенти-рованных графах.

2.1. Требования к работе программы
Требуется создать прикладную программу, реализующую алгоритм для проверки вы-полнения свойства транзитивности отношений, заданных в ориентированных графах.
Пусть дан граф, представляющий некоторое бинарное отношение. Требуется прове-рить, выполняется ли свойство транзитивности для заданного отношения.
Созданная программа должна выполнять следующие действия:
Генерирование случайного графа с заданным числом вершин;
Графическое отображение графа и его матрицы смежности;
Проверка выполнения свойства транзитивности для отношений, заданных в орг-рафе.

ВВЕДЕНИЕ
Целью данной курсовой работы является практическая разработка алгоритма, выпол-няющего проверку выполнения свойства транзитивности для отношений, заданных в ориен-тированных графах с произвольным числом вершин и ребер и его последующая реализация на одном из языков программирования высокого уровня.
В первой главе приводятся основные определения и обозначения, относящиеся к ис-пользуемым логическим и теоретико-множественным понятиям в приводимом ниже алго-ритме.
Во второй главе сформулирована основная задача данной курсовой работы и предло-жен способ ее решения, приведена блок-схема разработанного алгоритма, описывается непо-средственно рабочий проект, требования к работе программы, необходимые системные тре-бования для инсталляции и функционирования программы, а также руководство пользовате-ля.

1.Логинов Б.М. Введение в дискретную математику.
2.Наиболее полное руководство для профессиональной работы в среде Visual Basic 6.0
3.Харари Ф. Теория графов.
4.Хаггарти Р. Дискретная математика для программистов.