- •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.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
12.Равенство нечётких множеств. Нечёткое подмножество.
Два нечётких множества А и В равны (А=В) тогда и только тогда когда их характеристические функции равняя для любого х из множества U.
В общем случае, если некоторая задача требует определения близости нечёткого множества к некоторому эталонному множеству, то при решении таких задач используют понятие метрического пространства.
Нечёткое подмножество.
Нечёткое множество А является нечётким подмножеством нечёткого множества В, т.е. А есть подмножество В, тогда и только тогда, когда:
13. Операции с нечёткими множествами. Некоторые дополнительные операции над нечёткими множествами.
А,В произвольные нечёткие множества заданные на U, т.е. они являются элементами P(U) всех нечётких подмножеств множества, тогда для перечислинные операции можно определить следующим образом:
1)
2)
3)
4)
5)
Дополнительные операции
1 вариант.
1)
2)
2 вариант.
Будем понимать под операциями объединения и пересечения операции алгебраической суммы и алгебраического произведения.
3 вариант.
Будем понимать под операциями объединения и пересечения: ограниченная сумме и ограниченное произведение.
15. Определение нечёткого отношения. Виды нечётких отношений. Способы задания нечётких отношений.
Содержательно нечёткое множество определяется как любое нечёткое количество кортежей построенных из элементов тех или иных универсальных множеств.
Нечётким n-арным отношением заданном на универсальном множестве U называется некоторое фиксированное его подмножество ρ, т.е.
Если для всякого uєU ,=1, то ρ считается совпадающим с u и называется полным нечётким отношением.
Если для всякого uєU ,=0, то ρ считается не совпадающим с u и называется пустым нечётким отношением.
Особое значение в приложениях имеют бинарные отношения:
Если x=y, то говорят что нечёткое отношение задано на базовом множестве Х, часным случаем нечёткого отношения является нечёткое отображение.
Бинарное нечёткое отношение заданное на декартовом отношении x*y называется бинарным отображением f:x->y, если для любого х из Х существует не более одного у из У с отличным от нуля значением функции принадлежности
Виды нечётких отношений.
Бывают конечными и бесконечными.
Нечёткое отношение ρ называется конечным если его носитель S(ρ)={uєU,конечное отношение, в противном случае оно бесконечно.
Способы задания
-
Нечёткое отношение ρ с конечным носителем S(ρ) может быть задано перечислением его элементов, т.е. в виде 𝜌=, где n=|S(ρ)| - мощность носителя.
Конечное бинарное нечёткое отношение ρ удобно задавать прямоугольной матрицей порядка |x|*|y|
Элементы этой матрицы определяются:
-
Нечёткое отношение ρ с конечным или бесконечным носителем может быть задано аналитически, т.е. при помощи аналитического выражения функции принадлежности (часто удобно изобразить графически.
16. Равенство нечётких отношений. Нечёткое доминирование. Операции с нечёткими отношениям.
Два нечётких отношения А и В равны тогда и только тогда когда
Нечёткое отношение А является нечётким подмножеством нечёткого отношения В тогда и только тогда, когда
Поскольку каждое нечёткое отношение представляет собой нечёткое множество, то применительно к нечётким отношениям оказываются справедливыми операции над нечёткими множествами, по этому рассмотрим только специфические операции над нечеткими отношениями:
-
Обратное(инверсное) нечёткое бинарное отношение.
Пусть задано бинарное нечёткое отношение А на Х*У, тогда обратным к нему нечётким бинарным отношением называется бинарное нечёткое отношение , которое задано которое задано на декартовом произведении У*Х.
-
Композиция бинарного нечёткого отношения.
Пусть А и В конечные или бесконечные бинарные нечёткие отношения, причём А на X*Z, B на Z*Y, тогда бинарное нечёткое отношение заданное на декартовом произведении Х*У и обозначаемое называется мах-мин композицией нечётких отношений А и Б, а его функция принадлежности определяется след. Выражением: , Существуют и другие способы определения операции композиции.