- •Лекция 2
- •Лекция 3
- •Лекция 4
- •Лекция 5
- •Лекция 13
- •Лекция 14
- •Лекция 16
- •Основные понятия
- •Понятие множества. Способы задания множеств.
- •Понятие множества. Способы задания множеств.
- •Отношения между множествами.
- •3, Операции над множествами.
- •Алгебра множеств.
- •Теорема о количестве подмножеств конечного множества.
- •Формула включений и исключений.
- •Лекция 2
- •1.Понятие вектора. Прямое произведение множеств.
- •2.Теорема о количестве элементов прямого произведения.
- •Понятие вектора. Прямое произведение множеств.
- •Теорема о количестве элементов прямого произведения.
- •Лекция 3
- •2. Понятие высказывания.
- •3. Логические операции над высказываниями
- •4.Формулы алгебры логики.
- •Лекция 4
- •2. Важнейшие равносильности алгебры логики.
- •3.Равносильные преобразования формул.
- •Задачи для самостоятельного решения
- •Лекция 5
- •Дизъюнктивная нормальная форма.
- •Конъюнктивная нормальная форма.
- •Проблема разрешимости.
- •Лекция 6
- •Функции алгебры логики.
- •3. Представление произвольной функции алгебры логики в виде формулы алгебры логики.
- •4.Приложения алгебры логики в технике (релейно-контактные схемы).
- •Контрольные вопросы
- •Лекция 7
- •Совершенная дизъюнктивная нормальная форма.
- •Совершенная конъюнктивная нормальная форма.
- •Совершенная дизъюнктивная нормальная форма.
- •2.Совершенная конъюнктивная нормальная форма.
- •Лекция 8
- •2.Понятие минимальной днф. Метод минимизирующих карт.
- •3.Метод Квайна.
- •4.Метод Карно.
- •5.Постановка задачи минимизации в геометрической форме.
- •6.Сокращенная днф.
- •7.Тупиковая днф. Днф Квайна.
- •Лекция 9
- •Некоторые логические операции. Двоичное сложение.
- •Полином Жегалкина.
- •Некоторые логические операции. Двоичное сложение.
- •Полином Жегалкина.
- •Лекция 10
- •Полная система . Достаточное условие полноты.
- •Критерий полноты системы булевых функций.
- •Независимые системы. Базис замкнутого класса.
- •Полная система. Достаточное условие полноты.
- •Критерий полноты системы булевых функций.
- •3. Независимые системы. Базис замкнутого класса.
- •Лекция 11
- •Понятие предиката.
- •Логические операции над предикатами.
- •1. Понятие предиката
- •2. Логические операции над предикатами
- •Лекция 12
- •2. Формулы логики предикатов.
- •Значение формулы логики предикатов.
- •4. Равносильные формулы логики предикатов.
- •Лекция 13
- •Построение противоположных утверждений.
- •3. Прямая, обратная и противоположная теоремы.
- •4. Необходимые и достаточные условия.
- •5. Доказательство методом от противного.
- •Задачи для самостоятельного решения
- •Лекция 14
- •2. Использование метода математической индукции для нахождения сумм конечного числа слагаемых
- •3. Использование метода математической индукции для доказательства неравенств и делимости выражений, зависящих от n на некоторое число
- •4. Обобщение метода математической индукции
- •Контрольные вопросы
- •Лекция 15
- •Операции над бинарными отношениями.
- •3. Свойства бинарных отношений.
- •4. Специальные бинарные отношения.
- •Контрольные вопросы
- •Лекция 16
- •Функция
- •1. 4. Отображение
- •Обратная функция
- •2. Свойства отображений и функций
- •3.Операции над функциями. Свойства операций
- •Контрольные вопросы
- •Лекция 17
- •Основные понятия .
- •2. Смежность, инцидентность, степени вершин.
- •3. Способы задания графов
- •Маршруты в неориентированном графе
- •Операции над графами.
- •Связность. Компоненты связности
- •Контрольные вопросы
- •Лекция 18
- •2. Метрические характеристики неориентированного графа
- •Минимальные маршруты в нагруженных графах
- •Задачи на деревьях
- •Цикловой ранг графа. Цикломатическое число
- •Контрольные вопросы
- •Лекция 19
- •Эйлеровы цепи и циклы
- •Гамильтоновы циклы и цепи
- •Эйлеровы цепи и циклы
- •Гамильтоновы циклы и цепи.
- •Контрольные вопросы
- •Лекция 20
- •Двудольный граф. Условие существования двудольного графа
- •Паросочетания . Реберные покрытия
- •Двудольный граф. Условие существования двудольного графа
- •Паросочетания. Реберные покрытия
- •Контрольные вопросы
- •Лекция 21
- •Основные определения
- •Алгоритм плоской укладки графа
- •Контрольные вопросы
- •Лекция 22
- •Способы задания ориентированного графа
- •Путь в ориентированном графе
- •4. Связность. Компоненты связности в орграфе
- •Контрольные вопросы
- •Лекция 23
- •2. Минимальные пути в нагруженных орграфах
- •3. Порядковая функция орграфа без контуров
- •Контрольные вопросы
Отношения между множествами.
Рассмотрим отношения между неупорядоченными множествами.
Если каждый элемент множества А принадлежит множеству В, то А называют подмножеством множества В.
Обозначения: А В ( А принадлежит В, А включено в В, А содержится в В и т.д.),
В А ( В включает А, В содержит А и т.д.)
Множества А и В называются равными, если А В и В А.
Обозначение: А = В.
Если А В и существует хотя бы один элемент множества В, не принадлежащий множеству А, то А – собственная часть В, т.е. А строго включается в В.
Обозначение: А В.
Примеры:
N – множество натуральных чисел, М – множество четных чисел, тогда М N.
Пусть Х – множество студентов группы, У – множество студентов данной группы сдавших экзамен, тогда можно построить отношение У Х, т.к. возможно , что все студенты успевающие.
А = {1, 3, 5, 10}, B = {10, 1, 1, 5, 3, 5}. Данные множества равны А = В, действительно: А В и В А.
Если U – универсальное множество некоторой теории, то любое множество этой теории является его подмножеством. Например, множество комплексных чисел С – универсальное множество в теории чисел. Для всех классов чисел можно построить цепочку включений: N Z Q R C.
Свойства включений.
Для всякого множества В : В В;
Для любых множеств А, В, С, если А В и В С, то А С;
Для всякого множества В : В.
3, Операции над множествами.
Над множествами можно выполнять действия (операции), напоминающие сложение и умножение чисел. Но не тождественные им.
Объединением (суммой0 множеств А и В называется множество, обозначаемое через АВ, содержащее те и только те элементы, которые принадлежат множеству А или В.
Краткая запись: АВ = {x | x A или х В}.
Соответствующая диаграмма Эйлера – Венна:
АВ- заштрихованная
область
Пример: А = {2, 5, 7, 9}, В = {3, 5, 8, 9, 12}.
АВ = {2, 5, 7, 9}{3, 5, 8, 9, 12}= {2, 5, 7, 9, 3, 8, 12}.
Соответствующая диаграмма:
Пересечением (произведением) множеств А и В называется множество, обозначаемое через АВ и состоящее из тех и только из тех элементов, которые принадлежат множеству А и множеству В.
Краткая запись: АВ = {x | xA и хВ}.
Соответствующая диаграмма Эйлера- Венна:
АВ – заштрихованная
область
Пример: АВ= {2, 5, 7, 9}{3, 5, 8, 9, 12}= {5,9}.
Д иаграмма:
Разностью множеств А и В называется множество, обозначаемое через А\В и состоящее из тех и только из тех элементов, которые принадлежат А и не принадлежат В.
Краткая запись: А\В = {x| x A и xB}.
Соответствующая диаграмма Эйлера- Венна:
А\В- заштрихованная область
Пример: А\В = {2, 5, 7, 9}\{3, 5, 8, 9, 12}= {2, 7}.
Диаграмма:
Если АВ = , то А\В= А и В\А = В.
Если А В, то А\В = .
Е сли U – универсальное множество и А U, то разность U\A называется дополнением множества А до множества U и обозначается .
Краткая запись: = {x| xU и xA}.
Соответствующая диаграмма Эйлера- Венна:
Симметрической разностью множеств А и В называется множество, обозначаемое АВ и состоящее из тех и только из тех элементов, которые принадлежат А\В или В\А.
К раткая запись: AB= {x| xA\B или xB\A}.
Соответствующая диаграмма Эйлера- Венна:
Пример: АВ = {2, 5, 7, 9}{3, 5, 8, 9, 12}= {2, 7, 3, 8, 12}.
Диаграмма:
П
1 3 2
Расставим порядок действий и выполним их по порядку: