- •1. Понятие множества. Способы задания множеств. Операции над множествами. Диаграммы Венна.
- •3. Прямое произведение множеств. Отношения, бинарные отношения. Операции над отношениями.
- •4. Понятие функции. Инъективные, биективные, суръективные функции. Композиция и обращение функций.
- •5. Бинарные отношения на множестве х. Рефлексивность, симметричность, транзитивность бинарных отношений на множестве х.
- •6. Отношение эквивалентности. Класс эквивалентности.
- •7. Разбиение множества. Теорема о связи между отношением эквивалентности на множестве и разбиением множества.
- •8. Отношение порядка. Частичный и линейный порядок. Упорядоченные множества.
- •9. Мощьность множества. Счётные множества. Несчётные множества. Теорема Кантора.
- •10. Понятие нечёткого множества. Виды и некоторые свойства нечётких множеств. Способы задания нечётких множеств.
- •11.Функции принадлежности нечётких множеств и методы их построения.
- •12.Равенство нечётких множеств. Нечёткое подмножество.
- •13. Операции с нечёткими множествами. Некоторые дополнительные операции над нечёткими множествами.
- •15. Определение нечёткого отношения. Виды нечётких отношений. Способы задания нечётких отношений.
- •16. Равенство нечётких отношений. Нечёткое доминирование. Операции с нечёткими отношениям.
- •17. Свойства бинарных нечётких отношений заданных на базисном множестве х.
- •18.Высказывания. Логические операции. Язык логики высказываний. Формулы логики высказывания.
- •20. Формулы логики высказываний. Равносильность формул логики высказываний. Основные равносильности.
- •21. Двойственность. Закон двойственности. Пример.
- •22. Тождественно-истинные и тождественно-ложные формулы. Выполнимость и опровержимость формул. Пример. Правильные рассуждения.
- •23. Отношение логического следования. Правильные рассуждения. Примеры.
- •24. Нормальные формы формул. Приведение к днф и кнф.
- •25. Нормальные формы формул. Приведение к сднф и скнф.
- •26.Булевы функции. Теорема о представлении булевой функции формулой логики высказываний.
- •27. Булевы функции. Булевы функции двух переменных.
- •28.Представление булевых функций формулой логики высказываний в сднф и в скнф. Примеры.
- •29. Полные системы булевых функций. Теорема о сведении полноты одной системы булевых функцийк другой. Примеры полных систем.
- •31.Функционально-замкнутые классы. Классы t0,t1,s,l,m. Теорема Поста(доказательство по необходимому признаку). Док-ва у меня нет
- •32.Описание переключательных схем с помощью формул логики высказываний. Анализ, упрощение и синтез переключательных схем.
- •33.Понятие о проблеме минимизации булевых функций в классе днф.
- •34.Предикаты. Кванторы. Язык логики предикатов. Формулы логики предикатов. Равносильность и общезначимость формул логики предикатов. Основные равносильности.
- •35.Понятие интерпретации. Равносильность и общезначимость формул логики предикатов. Приведенная нормальная формула логики предикатов. Проблема разрешимости. Формулировка теоремы Черча.
- •36.Ориентированные и неориентированные графы. Основные понятия.
- •37.Матричное задание графа. Матрицы сложности и инциденций. Цикломатическая матрица.
- •38. Пути в графе. Цепи. Связные графы и компоненты связности.
- •39.Специальные пути в графе. Понятие о плоских графах.
- •40. Поиск путей в графе. Алгоритм Терри нахождения пути в графе. Алгоритм поиска пути минимальной длины(«фронта волны)
- •41.Алгоритм Форда и Форда-Беллмана нахождение минимального пути в нагруженном графе.
- •42.Деревья. Свойства деревьев. Цикломатическое число. Остовные деревья графа. Алгоритм нахождения остовного дерева.
- •43.Вектор-циклы. Пространство вектор циклов. Независимые циклы. Цикломатическое число. Алгоритм нахождения базис вектор-циклов.
- •44.Цикломатическая (контурная) матрица и матрица инциденций. Законы Киргофа. Уравнение контурных токов. Примеры.
- •45.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
38. Пути в графе. Цепи. Связные графы и компоненты связности.
Последовательность дуг орграфа такая, что начало каждой последующей дуги совпадает с концом предыдущей называется путём.
Путь у которого начало первой дуги совпадает с концом последней называется замкнутым путём или контуром.
Путь(контур) называется элементарным, если все его вершины различны( за искл. Первой и последней)
Путь (контур) называется простым, если все его дуги различны.
1)Цепью неор графа называется последовательность рёбер которая может быть превращена в путь введением соответственной ориентации на её ребрах.
2) Цепь у которой первая вершина совпадает с последней называется циклом.
3)Цепь( цикл) называется элементарной, если некоторая вершина встречается в ней не более одного раза.
4) Цепь (цикл) называется простой, если некоторое ребро встречается в ней не более одного раза.
Вершины х, у неор графа G называются связными, если существует цепь из х в у .
Неориентированный граф называется связным если все его вершины связны.
Утверждение: отношение связности ρ – отношение эквивалентности.
-
Xρx - рефлексивность
-
xρy => yρx - симметричность
-
xρy и yρz => xρz – транзитивность
Подграф G' графа G называется компонентой связности графа G, если все вершины G' составляют класс эквивалентности по отношению связности, а множество рёбер G' это все инцидентные этим вершинам рёбра.
Пример:
G-неор. граф.
4 компонента связности
Замечание1: для ор. Графа можно ввести несколько понятий связности. Говорят что вершина «у» орграфа G достижима из вершины «х» , если либо «х=у», либо существует путь из «х» в «у».
Ор.граф называется сильно связным, если для любых двух его вершин «х» и «у» существует путь из «х» в «у».
Ор.граф называется односторонне связным, если для любых двух его вершин по крайней мере одна достижима из другой.
39.Специальные пути в графе. Понятие о плоских графах.
Эйлеровы цепи.
Цепь М называется эйлеровой, если она содержит все ребра графа и при том по одному разу.
Граф G обладает эйлеровой цепью тогда и только тогда когда он связен и число вершин нечётной степени равно нулю или два(если таких вершин нет то существует эйлеров цикл)
Гамельтоновы цепи.
Цепь М называется Гамельтоновой, если она проходит через каждую вершину графа 1 и только 1 раз.
Плоские графы. Говорят что граф имеет плоскую реализацию(планарен) , если он может быть изображен на плоскости без пересечения рёбер.
Операция подразделения ребра.
G=<Г,x>
G->G’
Q’=Q\
x’=xU{a}
a – новая величина
Граф называется подразделением графа , если он может быть получен из путём применения конечного числа операций подразделения рёбер.
Замечание: обратная операция слияния двух рёбер применима лишь тогда, когда оба они обладают общей инцидентной вершиной, неинцидентной никаким другим рёбрам.
Гомеоморфизм. Графы переводимые друг в друга конечным числом подразделения и слияния рёбер называется – гомеоморфными.
Оношение гомеоморфизма есть отношение эквивалентности, заданное на множестве всех неор. Графов.
1)GpG - рефлексивность
2)р => р – симметричность
3)р и р=> р – транзитивность
Критерий планарности.Теорема Пантрягина-Куратовского.
Для того чтобы граф G имел плоскую ориентацию, необходимо и достаточно, чтобы любой его подграф не был гомеоморфен не одному из графов.