- •Лекция 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 –местная функция
Обратная функция
Свойства отображений
ЛЕКЦИЯ 17
ТЕМА: НЕОРИЕНТИРОВАННЫЙ ГРАФ.
ПЛАН:
Основные понятия
Смежность, инцидентность. Степени вершин
Способы задания графов
Маршруты в неориентированном графе
Операции над графами
Связность. Компоненты связности
ЛЕКЦИЯ 18
ТЕМА: ЗАДАЧИ НА НЕОРИЕНТИРОВАННЫЕ ГРАФЫ
ПЛАН:
Поиск маршрута с минимальным числом ребер
Метрические характеристики неориентированного графа
Минимальные маршруты в нагруженных графах
Задачи на деревьях
Цикловой ранг графа. Цикломатическое число
ЛЕКЦИЯ 19
ТЕМА: ЭЙЛЕРОВЫ И ГАМИЛЬТОНОВЫ ЦЕПИ И ЦИКЛЫ
ПЛАН:
Эйлеровы цепи и циклы
Гамильтоновы циклы и цепи
ЛЕКЦИЯ 20
ТЕМА: ДВУДОЛЬНЫЕ ГРАФЫ
ПЛАН:
Двудольный граф. Условие существования двудольного графа
Паросочетания . Реберные покрытия
ЛЕКЦИЯ 21
ТЕМА: ПЛОСКИЕ ГРАФЫ
ПЛАН:
Задача о плоской укладке графа
Основные определения
Алгоритм плоской укладки графа
ЛЕКЦИЯ 22
ТЕМА: ОРИЕНТИРОВАННЫЙ ГРАФ
ПЛАН:
Основные понятия
Способы задания ориентированного графа
Путь в ориентированном графе
Связность. Компоненты связности в орграфе
ЛЕКЦИЯ 23
ТЕМА: ЗАДАЧИ НА ОРИЕНТИРОВАННЫЕ ГРАФЫ
ПЛАН:
Поиск путей с минимальным количеством дуг
Минимальные пути в нагруженных орграфах
Порядковая функция орграфов без контуров
ЛЕКЦИЯ 1
ТЕМА: ОСНОВЫ ТЕОРИИ МНОЖЕСТВ.
ПЛАН:
Понятие множества. Способы задания множеств.
Отношения между множествами.
Операции над множествами.
Алгебра множеств.
Теорема о количестве подмножеств конечного множества.
Формула включений и исключений.
Главная
Понятие множества. Способы задания множеств.
Множество - это совокупность, класс отличающихся друг от друга объектов, объединенных каким-либо общим свойством. Объекты, входящие в эту совокупность, называются элементами множества.
Множества обозначаются заглавными буквами латинского алфавита , а элементы множества- строчными.
Приведем примеры множеств.
Классы (множества) чисел: N – натуральные числа, Z – целые числа, Q- рациональные числа, R- действительные (вещественные) числа, C – комплексные числа.
Студенты одной группы – множество, элементы которого- студенты, общее свойство – обучение одной специальности.
Множество В – корни уравнения ½ = cosx . Элементы – вещественные числа, общее свойство – обращают данное уравнение в верное равенство.
Если х – элемент множества Х, то говорят: х принадлежит Х и пишут : хХ. Если х не принадлежит Х, то пишут хХ.
С видами множеств вы знакомились при изучении элементов высшей математики, поэтому лишь напомним их : конечные множества, бесконечные, пустые, универсальные.
Конечные и бесконечные множества в свою очередь подразделяются на неупорядоченные и упорядоченные; неупорядоченные бесконечные – на счетные и несчетные.
Рассмотрим два основных способа задания неупорядоченных множеств:
перечисление всех его элементов;
описание характеристического (общего) свойства его элементов.
Первым способом задаются конечные множества.
Примеры:
А – множество чисел, являющихся делителями числа 20: А = {1, 2, 4, 5, 10, 20}.
В – список группы: В = {Архипов, Белов,…}.
Вторым способом можно задать конечные множества, бесконечные, пустые. Множество элементов. Обладающих характеристическим свойством Р, обозначается:
{x | P(x)} и читается так: множество всех х таких, что х обладает свойством Р(х).
Примеры:
{x | x R, x2 – 4 = 0} - это конечное множество и его можно задать перечислением элементов : {2, -2}.
{x | x R, 2< x < 5 } – бесконечное несчетное множество, а именно, числовой промежуток (2, 5).
{x | x R, 1= sinx} – бесконечное счетное множество.
{x | x R, x2 + 9 = 0 } – это пустое множество, т.к. ни одно вещественное число не удовлетворяет данному уравнению.