- •Литература
- •Перечень компьютерных программ, наглядных и других пособий, методических указаний и материалов и технических средств обучения
- •1.2.Операции над множествами
- •1.3. Булева алгебра множеств
- •1.4. Разбиения и покрытия
- •2. Отношения бинарные и n-арные
- •2.1. Декартово произведение
- •2.2. Бинарные отношения (соответствия)
- •2.3. Операции над бинарными отношениями
- •2.4. Функциональные отношения
- •2.5. Бинарные отношения на множестве
- •2.6. Алгебраические системы
- •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.4.1. Дизъюнктивные нормальные формы
- •4.4.2. Конъюнктивные нормальные формы
- •4.5 Полнота и замкнутость системы логических функций
- •4.6. Локальные упрощения днф
- •4.6.1. Удаление избыточных элементарных конъюнкций
- •4.6.2. Удаление избыточных литералов
- •4.7. Графическое представление булева пространства и булевых функций
- •4.7.1. Булев гиперкуб
- •4.7.2. Развертка гиперкуба на плоскости. Карта Карно
- •4.8. Минимизация днф
- •4.8.1. Метод Квайна-МакКласки
- •4.8.2. Метод Блейка-Порецкого
- •4.8.3. Визуально-матричный метод минимизации
- •5. Элементы математической логики
- •5.1 Алгебра высказываний
- •Всякое высказывание логично следует из самого себя.
- •2. Закон противоречия:
- •Если из а следует b, а b ложно, то а тоже ложно.
- •5.2. Логические отношения
- •5.3.Проверка правильности рассуждений
- •5.4. Решение логических задач методом характеристического уравнения
- •5.6. Кванторы
- •5.7 Эквивалентные соотношения. Префиксная нормальная форма
- •6. Основы теории алгоритмов
- •6.1. Интуитивное понятие об алгоритме
- •6.2. Три типа алгоритмических моделей
- •6.3. Кризис теории множеств антиномии. Выводы из антиномий
- •6.4. Машины Тьюринга как модели алгоритмов
- •6.5. Алгоритмы решения некоторых задач теории графов на графах
- •7. Конечный автомат и его описание.
- •7.2. Представления автомата
- •7.3. Связь между моделями Мили и Мура
- •7.4. Автомат с абстрактным состоянием. Булев автомат
- •7.5. Понятие о регулярных выражениях алгебры событий.
- •7.6. Задачи абстрактной теории конечных автоматов
- •8. Комбинаторные задачи и методы комбинаторного поиска
- •8.1. Задачи подсчета числа комбинаторных решений
- •8.2. Особенности оптимизационных комбинаторных задач
- •8.3. Вычислительная сложность
- •8.4. Методы комбинаторного поиска
- •8.5. Задача о кратчайшем покрытии и методы ее решения
- •8.5.1. Постановка задачи
- •8.5.2. Приближенные методы решения задачи
- •8.5.3. Точный метод
- •Вопросы к зачету
- •28. Нормальные формы булевых функций. Дизъюнктивные нормальные формы
- •44. Эквивалентные соотношения. Префиксная нормальная форма
- •Практический раздел Контрольная работа Указания по выбору варианта
- •Контрольное задание №1. Используя диаграммы Эйлера-Венна, решить задачу
- •Методические указания
- •Задачи для самостоятельного решения
- •Контрольное задание №2. Получить сднф, скнф, используя таблицу истинности. Построить днф, кнф, упростив выражение.
- •Методические указания
- •Задачи для самостоятельного решения
- •Контрольное задание №3. Упростить схему (рис. 2)
- •Методические указания
- •Задачи для самостоятельного решения
- •Задачи для самостоятельного решения
- •Методические указания
- •Задачи для самостоятельного решения
- •Контрольное задание №6. Найти инварианты неориентированного графа, заданного матрицей смежности
- •Методические указания
- •Задачи для самостоятельного решения
2.3. Операции над бинарными отношениями
Поскольку всякое отношение есть некоторое множество пар, над отношениями применимы все стандартные операции над множествами, т. е. объединение, пересечение, дополнение. Универсальным множеством для операции дополнения при этом является А В.
Рассмотрим операцию композиции отношений. Заданы множества А, В, С и отношения R А В и S В С. Композиция отношений S и R (обозначается SR, не путать с пересечением множеств S и R!) – это такое отношение между элементами множеств А и С, что для всех а А сечение множества SR по а совпадает с сечением множества S по подмножеству R(a) B. Это записывается в виде (SR)(a) S(R(a)). Например, пусть отношения R и S заданы соответственно следующими матрицами:
R = ,S = .
Тогда композиция SR этих отношений представится матрицей
SR = .
2.4. Функциональные отношения
Отношение R А В называется функциональным, если для каждого а А сечение множества R по а содержит не более одного элемента, т.е. для каждого а справедливо {a │ (a, b) R, b B}| 1. В функциональном отношении не существует пар с одинаковым левым элементом и различными правыми элементами, т. е. если (а, b) R и R – функциональное отношение, то в R не может быть пары вида (а, с), где b c. Матрица, представляющая функциональное отношение, в каждой строке имеет не более одной единицы. Примером может служить следующая матрица:
.
Если сечение функционального отношения R по любому элементу а из множества А содержит один и только один элемент, то отношение R называется всюду определенным.
Если отношение R – 1, обратное для функционального отношения R, также является функциональным, то отношение R называется взаимно однозначным.
Для всякого функционального отношения R А В можно определить функцию, связанную с этим отношением. Для обозначения функции используется запись f : A B. Если (х, у) R, то это можно выразить как у = f(x), где х является аргументом, а у – значением функции f.
Множество {x / (x, y) R} называется областью определения функции f. Если это множество совпадает с А, то функция f является всюду определенной. Такая функция называется отображением множества А в В. В противном случае функцию называют частичной.
Множество {у / (x, y) R} называется областью значений функции f. Если область значений функции f совпадает с множеством В, то f называют отображением А на В, сюръективным отображением, или сюръекцией. Обязательным условием существования отображения А на В является А В.
Если функциональное отношение R А В, определяющее функцию f, является взаимно однозначным, то функцию f называют инъективным отображением, или инъекцией. В этом случае существует функция f – 1, которая является обратной к функции f. При этом если у = f (x), то х = f – 1(у), а мощность области определения функции f не должна превышать В.
Функция f называется биективным отображением, или биекцией, если она является как сюръективным, так и инъективным отображением. Такое отображение называется еще 1-1 соответствием.
Если R – взаимно однозначное отношение между элементами одного и того же множества, т. е. R А А = А2, и, кроме того, R и R – 1 всюду определены, то отображение, связанное с R, называется подстановкой.
На рис. 2.1 изображены схемы рассмотренных видов отображений.
а) б)
в)
Рис. 2.1. Схемы функциональных отображений: а) сюръекция; б) инъекция;
в) биекция
Функция, определенная на множестве натуральных чисел, называется последовательностью, а каждое ее значение – членом последовательности.
Отображение f произвольного множества в множество действительных чисел называется функционалом. Примером функционала может служить определенный интеграл.
Отображение f : A B, где А и В – некоторые множества функций, называется оператором. Оператор преобразует одну функцию в другую. Примером оператора является оператор суперпозиции функций, где аргументами некоторых функций служат другие функции. Это понятие будет использовано далее.