- •Введение
- •1. Теория множеств
- •1.1. Основные понятия
- •1.2. Операции над множествами
- •1.3. Алгебраические свойства операций над множествами
- •1.4. Нечёткие множества
- •2. Элементы комбинаторики
- •2.1. Основные правила комбинаторики
- •2.2. Выборки элементов без повторений
- •2.3. Выборки элементов с повторениями
- •2.4. Объединение комбинаторных конфигураций
- •2.5. Бином Ньютона
- •3. Отношения на множествах
- •3.1. Декартово произведение множеств
- •3.2. Булев куб и его свойства
- •3.3. Понятие отношения
- •3.4. Операции над отношениями
- •3.5. Свойства отношений на множестве
- •3.6. Отношения эквивалентности, толерантности и порядка
- •3.7. Нечеткие отношения
- •3.8. Понятие отображения
- •3.9. Алгебраическая операция
- •3.10. Общие сведения об алгебраических системах
- •4 Булевы функции
- •4.1. Основные определения и операции над высказываниями
- •4.2. Типы пф.
- •4.3. Равносильность формул
- •4.4. Дизъюнктивные и конъюнктивные нормальные формы
- •4.5 Алгоритм приведения пф к нормальным формам
- •4.6 Аналитический способ приведения к сднф
- •4.7. Табличный способ приведения к сднф
- •4.8. Табличный способ приведения к скнф
- •4.9. Логическое следствие
- •4.10. Алгоритм проверки правильности рассуждений
- •4.11. Алгоритм определения всех логических следствий из данных посылок
- •4.12. Алгоритм определения всех посылок, логическим следствием которых является данная формула
- •4.13. Полнота систем булевых функций
- •4.14. Полином Жегалкина
- •4.15. Замкнутость
- •4.16. Теорема Поста
- •4.17. Нечеткая логика
- •5. Многозначные функции
- •5.1. Функции и формулы k-значной логики
- •5.2. Полнота и замкнутость функций k-значной логики
- •5.3. Особенности k – значной логики
- •6.. Основные понятия теории графов.
- •6.1. Задачи теории графов.
- •6.2. Основные определения.
- •6.3. Степени вершин графа.
- •6.4. Изоморфизм графов.
- •6.5. Матричные способы задания графов.
- •6.6. Основные операции над графами.
- •6.7. Маршруты в графах
- •6.8. Связность в графах.
- •Связность и матрица смежности графа.
- •6.9. Матрица взаимодостижимости.
- •6.10. Деревья Свободные деревья.
- •Ориентированные, упорядоченные и бинарные деревья.
- •6.11. Эйлеровы графы.
- •6.12 Гамильтоновы графы.
- •6.13. Планарные графы.
- •6.14. Потоки в сетях. Основные определения.
- •Теорема Форда и Фалкерсона.
- •Алгоритм построения максимального потока в сети.
- •7. Конечные автоматы
- •7.1. Понятие конечного автомата Общие сведения о конечных автоматах
- •7.2. Абстрактное определение конечного автомата
- •7.3. Автоматная функция и её моделирование Понятие ограниченно детерминированной функции
- •Моделирование автоматной функции с помощью схемы из функциональных элементов и задержки
- •7.4. Эксперименты с автоматами
- •8. Рекуррентные уравнения
- •8.1. Определение рекуррентного уравнения/ Решение линейного однородного рекуррентного уравнения
- •8.2. Решение линейного неоднородного рекуррентного уравнения
- •8.3. Решение рекуррентного уравнения для чисел Фибоначчи
- •Заключение
- •Библиографический список
- •Оглавление
- •1.Теория множеств 5
- •2 Элементы комбинаторики 14
- •3 Отношения на множествах 22
- •4. Булевы функции 42
- •5. Многозначные функции 64
- •6. Основные понятия теории графов 70
- •7. Конечные автоматы 106
- •8. Рекуррентные уравнения 120
- •394026 Воронеж, Московский просп., 14
3.4. Операции над отношениями
Так как отношения из А в В задаются подмножествами , следовательно для них определены те же теоретико-множественные операции, что и над множествами:
Объединение .
Пересечение .
Разность .
Дополнение .
Заметим, что операции объединения, пересечения и дополнения бинарных отношений удовлетворяют законам идемпотентности, коммутативности, ассоциативности, поглощение, инволюции и законам де Моргана.
Над отношениями могут также осуществляться другими алгебраические операции:
Обратное отношение .
Произведение (композиция) отношений .
Степень отношения .
Заметим, что:
, где сложение элементов матриц осуществляется по правилам 0+0=0, 1+1=1+0=0+1=1.
, где умножение матриц осуществляется поэлементно с обычными правилами умножения чисел.
, где умножение матриц производится по обычному правилу умножения матриц.
, где символ T означает транспонирование матрицы.
3.5. Свойства отношений на множестве
Пусть задано отношение на множестве А, т.е. , тогда отношение R называется:
Таблица 7
рефлексивным, |
если |
антирефлексивным, |
если |
симметричным, |
если |
антисимметричным, |
если |
транзитивным, |
если |
полным или линейным, |
если |
Для указанных отношений справедливы следующие утверждения:
Таблица 8
-
R рефлексивно
R антирефлексивно
R симметрично
R антисимметрично
R транзитивно
R полно
Заметим, что:
в матрице рефлексивного отношения все диагональные элементы равны единице, а антирефлексивного – нулю. Для симметричного отношения справедливо . В случае антисимметричного отношения матрица имеет все элементы вне главной диагонали равные нулю. Для транзитивного отношения верно утверждение .
3.6. Отношения эквивалентности, толерантности и порядка
Отношение R называется отношением эквивалентности, если R рефлексивно, симметрично и транзитивно. Это отношение обозначается символами E и (тильда): aEb или ab. Важное значение отношения эквивалентности состоит в том, что оно определяет признак, по которому происходит разбиение исходного множества на непересекающиеся подмножества, называемые классами эквивалентности. Пусть E – эквивалентность на множестве А. Классом эквивалентности элемента называется множество . Классы эквивалентности Е называются также Е – классами. Множество называется фактор-множеством множества А по отношению к Е. Множество является разбиением множества А. Обратно, если - некоторое разбиение множества А, то можно задать соответствующее ему отношение эквивалентности Е по следующему правилу: для некоторого i.
Отношение эквивалентности характеризует одинаковость объектов. Однако существуют ситуации, в которых требуется оценить сходство объектов. Этой цели служит отношение толерантности. Отношение, удовлетворяющее свойствам рефлексивности и симметричности, называется отношением толерантности.
В ряде случаев требуется указать старшинство, важность, “первичность” и другие подобные свойства объектов. Для этого служат различные виды отношения порядка.
Отношение называется предпорядком или квазипорядком, если R рефлексивно и транзитивно.
Отношение называется отношением порядка, если оно антисимметрично и транзитивно. Отношение порядка может быть рефлексивным, и тогда оно называется отношением нестрогого порядка. Антирефлексивное отношение порядка называется отношением строгого порядка. Отношение порядка может быть полным (линейным), и тогда оно называется отношением полного или линейного порядка. Отношение порядка, не обладающее свойством полноты (линейности), называется отношением частичного порядка.
Отношение строгого порядка (полного или частичного) обозначается символом <, а отношение нестрогого порядка - . Отношение порядка в общем случае обозначается знаком .
Множество, на котором определено отношение частичного (полного) порядка называется частично (вполне) упорядоченным.