
- •Лекция 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. Порядковая функция орграфа без контуров
- •Контрольные вопросы
Контрольные вопросы
Сформулировать определение бинарного отношения.
Описать операции, выполняемые с бинарными отношениями.
На множестве прямых на плоскости рассмотрим отношения: а) параллельность прямых,
б) перпендикулярность прямых. Определить будут ли эти отношения отношениями эквивалентности.
Дано множество: люди, живущие в одной стране. Задать какое либо отношение эквивалентности и разбить данное множество на классы эквивалентности.
К какому типу отношения порядка относятся следующие отношения:
схема организации подчинения в учреждениях.
Лекция 16
ТЕМА: СООТВЕТСТВИЯ И ОТОБРАЖЕНИЯ
ПЛАН:
Соответствие
Функция
Отображение
n –местная функция
Обратная функция
Свойства отображений
Главная
Соответствие
1.1. Основные понятия
Определение: Соответствием называется какое – либо правило, с помощью которого элементу а из множества А ставится в соответствие элемент b из множества В.
Таким образом, соответствие есть
множество G
пар (a; b) ,
где
и
.
Множество значений а называется областью определения, а множество значений b называется областью значений соответствия G.
Если область определения есть множество А, то соответствие называется всюду определенным.
Если область определения строгое подмножество множества А, то соответствие называется частично определенным.
Примеры:
а). Соответствие х ≤ у, где
.
Область определения данного соответствия
,
значит, соответствие всюду определенное.
б). Соответствие
,
где
.
Область определения данного соответствия
х≥3, значит, соответствие частично
определенное.
в). Соответствие между множеством учеников класса и действующих в школе кружков. Если каждый ученик класса посещает хотя бы один кружок, то соответствие всюду определенное, если хотя бы один ученик не посещает ни одного кружка, то соответствие – частично определенное.
Множество всех элементов называются образами а в В при данном соответствии.
Множество всех , которым соответствуют b, называются прообразами b в А при данном соответствии.
Для соответствия между множеством учеников класса и множеством кружков образами являются кружки, а прообразами – ученики.
Виды соответствий
Если образом элемента а из области определения является единственный элемент b из области значений, то такое соответствие называется функциональным.
Примеры:
а).
,
область определения – любые действительные
числа, область значений – неотрицательные
числа. Причем каждому х соответствует
единственное у. Значит, соответствие
функциональное.
б).
,
область определения и область значений
– действительные числа, удовлетворяющие
данному равенству. Но для всех х ≠ 0 из
области определения соответствуют по
два образа. Значит, это соответствие не
является функциональным.
Всюду определенное соответствие G , область значений которого есть множество В, каждому элементу соответствует единственный образ , и каждому соответствует единственный прообраз , называется взаимнооднозначным соответствием.
Примеры:
а). у = кх + b , где область определения и область значений – действительные числа, взаимнооднозначное соответствие, т.к. каждому х соответствует единственный у и наоборот.
б). у = х2 , где область определения – действительные числа, а область значений - неотрицательные числа. Не является взаимнооднозначным соответствием, т.к. любому положительному образу соответствует по два прообраза.
Заметим, что взаимнооднозначное соответствие является в свою очередь функциональным.
Рассмотрим примеры различных соответствий и определим их вид:
а).
,
соответствие
- это все точки координатной плоскости,
т.е.
.
Причем, для каждого прообраза х
соответствует бесконечное множество
образов у, и наоборот. Значит, это
соответствие не является функциональным,
и тем более взаимнооднозначным.
б).
-
круг, на границе которого отмечены
точки А, В, С. Область определения –
числовой отрезок [2; 4], область значений
- числовой отрезок [1; 3].
Дуга окружности АВС – является функциональным соответствием между [2; 4] и [1; 3]- каждому прообразу х соответствует единственный образ у.
Дуга окружности ВС – это взаимнооднозначное соответствие, т.к. каждому прообразу х соответствует единственный образ у и наоборот.
Круг не является функциональным соответствием, т.к. каждому прообразу х соответствует бесконечное множество образов у.
в). Позиция фигуры на шахматной доске - это взаимнооднозначное соответствие, т.к. каждому прообразу – шахматной фигуре соответствует единственная клетка – образ и наоборот.