- •Конспект лекций по дисциплине “Дискретная математика”
- •Санкт Петербург Содержание.
- •Раздел I. Множества, функции, отношения. Лекция № 1. Множества и операции над ними.
- •1. Основные понятия теории множеств.
- •2. Операции над множествами и их свойства.
- •3. Векторы и прямые произведения.
- •Лекция № 2. Соответствия и функции.
- •Соответствия.
- •Отображения и функции.
- •Лекция № 3. Отношения и их свойства.
- •Основные понятия и определения.
- •Свойства отношений.
- •Лекция № 4. Основные виды отношений.
- •Отношения эквивалентности.
- •Отношения порядка.
- •Лекция № 4. Пересчёт.
- •Раздел II. Введение в общую алгебру. Лекция № 6. Элементы общей алгебры.
- •1. Свойства бинарных алгебраических операций.
- •2. Алгебраические структуры.
- •Гомоморфизм и изоморфизм.
- •Лекция № 7. Различные виды алгебраических структур.
- •Полугруппы.
- •Группы.
- •Поля и кольца.
- •Раздел III. Введение в логику. Лекция № 8. Элементы математической логики.
- •Булевы функции.
- •Лекция № 9. Логические функции.
- •Функции алгебры логики.
- •Примеры логических функций.
- •Суперпозиции и формулы.
- •Лекция № 10. Булевы алгебры.
- •Разложение функций по переменным. Совершенная дизъюнктивная нормальная форма.
- •Булева алгебра функций.
- •Эквивалентные преобразования.
- •Лекция № 11. Булевы алгебры и теория множеств.
- •Двойственность.
- •Булева алгебра и теория множеств.
- •Днф, интервалы и покрытия.
- •Лекция № 12. Полнота и замкнутость.
- •Функционально полные системы.
- •Алгебра Жегалкина и линейные функции.
- •Замкнутые классы. Монотонные функции.
- •Теоремы о функциональной полноте.
- •Лекция № 13. Язык логики предикатов.
- •Предикаты.
- •Кванторы.
- •Истинные формулы и эквивалентные соотношения.
- •Доказательства в логике предикатов.
- •Лекция № 14. Комбинаторика.
- •Правила суммы и произведения.
- •Размещения.
- •Перестановки.
- •Сочетания. Бином Ньютона.
- •Раздел IV. Теория графов. Лекция № 15. Графы: основные понятия и операции.
- •Графы, их вершины, рёбра и дуги. Изображение графов.
- •Матрица инцидентности и список рёбер. Матрица смежности графа.
- •Идентификация графов, заданных своими представлениями.
- •Лекция № 16. Маршруты, цепи и циклы.
- •Основные определения.
- •Связные компоненты графов.
- •Расстояния. Диаметр, радиус и центр графа. Протяжённости.
- •Эйлеровы графы.
- •Лекция № 17. Некоторые классы графов и их частей.
- •Деревья.
- •Ориентированные графы.
- •Графы с помеченными вершинами и рёбрами.
- •Лекция № 18. Теория алгоритмов Понятие алгоритма
- •1.2.1. Основные требования к алгоритмам
- •1.2.2. Машина Тьюринга
- •Универсальная машина Тьюринга
- •1.2.3. Тезис Тьюринга
- •1.3. Граф машина
- •1.3.1. Модель данных
- •1.3.2. Построение моделей алгоритмов в системе graph
- •2. Сложность алгоритмов
- •2.1.Временная и пространственная сложность алгоритма. Классы dtime и dspace
- •2.2. Классы сложности
- •2.2.1. Полиномиальность и эффективность
- •2.2.2. Алгоритмическая сводимость задач
- •3. Алгоритмы и их сложность
- •3.1. Представление абстрактных объектов (последовательностей)
- •3.1.1. Смежное представление последовательностей
- •3.1.2. Связанное представление последовательностей
- •Список вопросов для подготовки к экзамену по дисциплине "дискретная математика"
2. Операции над множествами и их свойства.
Определение. Объединением множеств А и В называется множество С, элементы которого принадлежат хотя бы одному из множеств А и В.
Обозначается С = А В.
А
В
Геометрическое изображение множеств в виде области на плоскости называется диаграммой Эйлера – Вэйна.
Определение. Пересечением множеств А и В называется множество С, элементы которого принадлежат каждому из множеств А и В.
Обозначение С = А В.
А С В
Для множеств А, В и С справедливы следующие свойства:
А А = А А = А; A B = B A; A B = B A;
(A B) C = A (B C); (A B) C = A (B C);
A (B C) = (A B) (A C); A (B C) = (A B) (A C);
A (A B) = A; A (A B) = A;
= А; A = ;
Определение. Разностью множеств А и В называется множество, состоящее из элементов множества А, не принадлежащих множеству В.
Обозначается: С = А \ В.
А В
Определение. Симметрической разностью множеств А и В называется множество С, элементы которого принадлежат в точности одному из множеств А или В.
Обозначается: А В.
А В = (A \ B) (B \ A)
A B
Определение. СЕ называется дополнением множества А относительно множества Е, если А Е и CЕ = Е \ A.
A E
Для множеств А, В и С справедливы следующие соотношения:
A \ B A; A \ A = ; A \ (A \ B) = A B;
A B = B A; A B = (A B) \ (A B);
A \ (B C) = (A \ B) (A \ C); A \ (B C) = (A \ B) (A \ C);
(A B) \ C = (A \ C) (B \ C); (A B) \ C = (A \ C) (B \ C);
A \ (B \ C) = (A \ B) (A C); (A \ B) \ C = A \ (B C);
(A B) C = A (B C); A (B C) = (A B) (A C);
A CEA = E; A CEA = ; CEE = ; CE = E; CECEA = A;
CE(A B) = CEA CEB; CE(A B) = CEA CEB;
Пример 2. Исходя из определения равенства множеств и операций над множествами, доказать тождество и проверить его с помощью диаграммы Эйлера - Вэйна.
Из записанных выше соотношений видно, что
= A \ В
Что и требовалось доказать.
Для иллюстрации полученного результата построим диаграммы Эйлера – Вэйна:
А В А В
AB
Пример 3. Исходя из определения равенства множеств и операций над множествами, доказать тождество.
A \ (B C) = (A \ B) (A \ C)
Если некоторый элемент х А \ (В С), то это означает, что этот элемент принадлежит множеству А, но не принадлежит множествам В и С.
Множество А \ В представляет собой множество элементов множества А, не принадлежащих множеству В.
Множество А \ С представляет собой множество элементов множества А, не принадлежащих множеству С.
Множество (A \ B) (A \ C) представляет собой множество элементов, которые принадлежат множеству А, но не принадлежат ни множеству В, ни множеству С.
Таким образом, тождество можно считать доказанным.