- •Содержание дисциплины "Дискретная математика" введение
- •Входная контрольная работа
- •1Вариант
- •2 Вариант
- •Раздел 1. Основы теории множеств
- •Тема 1.1 Основные понятия теории множеств.
- •Тема 1.2 Операции над множествами.
- •Самостоятельная работа № 1
- •Тема 1.3 Свойства операций.
- •Контрольная работа
- •1 Вариант
- •2 Вариант
- •Раздел 2. Формулы логики.
- •Тема 2.1 Основные логические операции.
- •Тема 2.2 Формулы логики.
- •Самостоятельная работа №2.
- •Тема 2.3 Дизъюнктивная нормальная форма.
- •Различны все члены дизъюнкции;
- •Тема 2.4 Конъюнктивная нормальная форма.
- •Тема 2.5 Равносильные формулы. Свойства.
- •Раздел 3. Булевы функции.
- •Тема 3.1 Понятие булевой функции.
- •Тема 3.2 Совершенная днф. Совершенная кнф. Совершенной дизъюнктивной формой формулы алгебры высказываний (сднф) называется днф, в которой:
- •Различны все члены дизъюнкции;
- •Самостоятельная работа №5.
- •Тема 3.3 Минимальная днф.
- •Тема 3.4 Представление булевой функции в виде минимальной днф.
- •Самостоятельная работа №6. Самостоятельная работа №7
- •Тема 3.5 Полнота множества функций.
- •Тема 3.6 Важнейшие замкнутые классы.
- •Важнейшие замкнутые классы в р2
- •Тема 3.7 Теорема Поста.
- •Примеры использования теоремы Поста.
- •3. Составим критериальную таблицу для другой полной системы функций из р2: {0, 1, x1x2, x1x2}.
- •Контрольная работа
- •Раздел 4. Предикаты и бинарные отношения.
- •Тема 4.1 Понятие предиката. Область определения и область истинности предиката.
- •Тема 4.2 Логические операции над предикатами.
- •Самостоятельная работа №8.
- •Тема 4.3 Кванторные операции над предикатами.
- •2. Квантор существования
- •- «Все люди любят всех людей».
- •- «Существует человек, который кого-то любит» .
- •- «Существует человек, который любит всех людей».
- •Тема 4.4 Понятие предикатной формулы.
- •Тема 4.5 Равносильность предикатов. Исчисление предикатов.
- •Самостоятельная работа №9.
- •Тема 4.6 Бинарные отношения и их свойства.
- •Самостоятельная работа №10. Контрольная работа
- •Раздел 5. Отображения. Подстановки.
- •Тема 5.1 Отображения и их свойства.
- •Самостоятельная работа №11.
- •Тема 5.2 Композиция отображений и обратное отображение.
- •Тема 5.3 Подстановки. Обратные подстановки. Формула количества подстановок.
- •Самостоятельная работа №12. Контрольная работа
- •1 Вариант
- •2 Вариант
- •3 Вариант
- •4 Вариант
- •5 Вариант
- •Раздел 6. Метод математической индукции.
- •Тема 6.1 Принцип метода математической индукции.
- •Раздел 7. Основы теории графов.
- •Тема 7.1 Понятие неориентированный граф. Основные определения.
- •Лабораторная работа № 1.
- •Тема 7.2 Теорема о сумме степеней вершин графа. Полный граф, его свойства.
- •Лабораторная работа № 2.
- •Тема 7.3 Метрические характеристики графа.
- •Лабораторная работа № 3.
- •Тема 7.4 Двудольные и изоморфные графы.
- •Лабораторная работа № 4.
- •Тема 7.5 Эйлеровы и гамильтоновы графы.
- •Лабораторная работа № 5
- •Тема 7.6 Плоские графы.
- •Тема 7.7 Деревья. Код Пруфера.
- •Тема 7.8 Понятие ориентированный граф (орграф).
- •Тема 7.9 Достижимость вершин в орграфе.
- •Раздел 8. Элементы теории алгоритмов.
- •Тема 8.1 Определение класса финитно-поставленных задач.
- •Тема 8.2 Машины Тьюринга.
- •Тема 8.3 Уточнения понятия алгоритм.
- •Итоговая (выходная) контрольная работа.
Тема 1.2 Операции над множествами.
Рассмотрим операции над множествами:
операция включения ( ):
Множество А включается в множество В или множество А является подмножеством множества В (А В), если любой элемент множества А содержится в множестве В.
Используется теоретико-множественные диаграммы или диаграммы Венна, при решении операции включения:
Множество А строго включается в множество В, если во-первых А является подмножеством В и существует элемент bВ, такой что b А.
, где k – количество элементов, т.е. =k, тогда количество подмножеств множества А определяется как 2k.
Свойства подмножеств:
А) Пустое множество является подмножеством любого множества:
Б) Всякое множество является своим собственным подмножеством:
операция объединения:
Объединением двух множеств А и В называется новое множество , которое содержит элементы, каждый из которых принадлежит хотя бы одному из множеств А или В
операция пересечения:
Пересечением множеств А и В называется новое множество , которое состоит из элементов, каждый из которых принадлежит и множеству А и множеству В
операция разности:
Разностью множеств А и В называется новое множество , которое содержит элементы, каждый из которых принадлежит множеству А и не принадлежит множеству В.
операция прямого произведения:
Прямым произведением двух множеств А и В, называется новое множество , такое которое состоит из упорядоченных двоек чисел (а, b), причем таких, что первый элемент из этой двойки , второе .
Два множества А и В, называется равными, если множество А является подмножеством множества В, а В является подмножеством множества А.
.
Самостоятельная работа № 1
Тема 1.3 Свойства операций.
Операции над множествами обладают некоторыми свойствами. Эти свойства выражаются совокупностью тождеств, справедливых независимо от конкретного содержания входящих в них множеств.
1. транзитивность операции включения:
т.е. если множество А является подмножеством В, а множество В является подмножеством множества С, то множество А является подмножеством множества С.
2. дистрибутивность операции пересечения относительно объединения:
т.е. если множество А объединить с множеством В, а потом пересечь с множеством С, то это тоже самое, что А пересечь с С и В пересечь с С, а потом объединить их.
3. дистрибутивность операции объединения относительно пересечения:
т.е. если множество А пересечь с множеством В, а потом объединить с множеством С, то это тоже самое, что А объединить с С и В объединить с С, а потом пересечь их.
4. первый закон двойственности:
т.е. дополнение множества , есть не что иное, как объединение дополнения множества А и дополнения множества В.
5. второй закон двойственности:
т.е. дополнение множества , есть пересечение их дополнений.
6. ассоциативность операции объединения:
7. ассоциативность операции пересечения:
8. свойства операции объединения:
коммутативность объединения:
,
,
,
.
9. свойства операции пересечения:
коммутативность пересечения:
,
,
,
.
10. свойства операции разности:
,
,
,
,
.
11. дополнение к дополнению любого множества есть всегда само множество, т.е.
12.
13.
Тест
1. Будет ли пустое множество V каким-либо подмножеством некоторого множества?
а) будет собственным подмножеством;
б) будет несобственным подмножеством;
в) не будет никаким подмножеством.
2. Что есть множество А\В, если А - множество всех книг в библиотеке МЭСИ по различным отделам науки и искусства, а В – множество всех книг во всех библиотеках России?
а) множество математических книг в России без математических книг в МЭСИ;
б) множество книг по искусству в библиотеке МЭСИ;
в) множество книг в библиотеке МЭСИ по искусству и науке, кроме математических.
3. Совпадают ли дистрибутивные законы Булевой алгебры и алгебры действительных чисел;
а) оба совпадают;
б) оба не совпадают;
в) один совпадает, другой - нет.
4. Есть ли законы для дополнений в алгебре действительных чисел?
а) да;
б) нет;
в) некоторые есть, некоторых нет.
5. Справедливы ли законы идемпотентности Булевой алгебры в алгебре действительных чисел?
а) справедливы;
б) несправедливы;
в) один справедлив, другой нет.
6. Обладают ли свойством двойственности формулы поглощения?
а) да;
б) нет;
в) одна обладает, другая нет.
7. Можно ли поставить в соответствие единицу или ноль соответственно универсальному и пустому множеству, исходя из свойств операций?
а) можно;
б) единицу - можно, ноль - нет;
в) ноль - можно, единицу - нет.
8. Обладают ли формулы склеивания свойством двойственности
а) нет;
б) да;
в) одна обладает, другая нет.
9. Будет ли каждое из множеств А, В, С, D подмножеством другого, если А - множество действительных чисел, В - множество рациональных чисел, С - множество целых чисел, D - множество натуральных
чисел.
а) да;
б) нет;
в) лишь некоторые из множеств являются подмножествами перечисленных множеств