- •Введение в дискретный анализ
- •Глава 1. Введение в теорию множеств
- •Тема 1.1. Множества и операции над ними
- •1.1.1. Основные понятия
- •1.1.2. Операции над множествами
- •1.1.3. Векторы и прямые произведения
- •Вопросы для повторения
- •Резюме по теме
- •Тема 1.2. Отношения
- •1.2.1. Основные понятия и определения
- •1.2.2. Бинарные отношения. Основные определения
- •1.2.4. Эквивалентность и порядок
- •Вопросы для повторения
- •Резюме по теме
- •Тема 1.3. Соответствия и функции
- •1.3.1. Соответствия и их свойства
- •1.3.2. Взаимно однозначные соответствия и мощности множеств
- •1.3.3. Функции и отображения
- •1.3.4. Операции
- •1.3.5. Гомоморфизмы и изоморфизмы
- •Вопросы для повторения
- •Резюме по теме
- •Глава 2. Математическая логика
- •Тема 2.1. Логика высказываний
- •2.1.1. Логические связки
- •2.1.2. Основные схемы логически правильных рассуждений
- •2.2.2. Булева алгебра
- •2.2.3. Эквивалентные преобразования
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.3. Полнота и замкнутость
- •2.3.1. Функционально полные системы
- •2.3.2. Алгебра Жегалкина и линейные функции
- •2.3.3. Замкнутые классы и монотонные функции
- •2.3.4. Теоремы о функциональной полноте
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.4. Нечеткая логика
- •2.4.1. Основные понятия теории нечетких множеств
- •2.4.2. Логические операции над нечеткими множествами
- •2.4.3. Свойства логических операций над нечеткими множествами
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.5. Нечеткие модели управления
- •2.5.1. Нечеткие операторы
- •2.5.2. Нечеткая и лингвистическая переменные
- •2.5.3. Нечеткий логический вывод
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.6. Логика предикатов
- •2.6.1. Предикаты. Основные понятия
- •2.6.2. Кванторы
- •2.6.3. Выполнимость и истинность
- •2.6.4. Эквивалентные соотношения. Префиксная нормальная форма
- •Вопросы для повторения
- •Резюме по теме
- •Глава 3. Комбинаторика
- •Тема 3.1. Комбинаторные конфигурации
- •3.1.1. Принципы сложения и умножения
- •3.1.2. Перестановки
- •3.1.3. Размещения
- •3.1.4. Сочетания
- •3.2.2. Полиномиальная формула
- •3.2.3. Формула включений и исключений
- •Вопросы для повторения
- •Резюме по теме
- •Глава 4. Теория графов
- •Тема 4.1. Основные понятия и операции на графах
- •4.1.1. Основные понятия
- •4.1.2. Способы задания графов
- •4.1.3. Операции над частями графа. Графы и бинарные отношения
- •Вопросы для повторения
- •Резюме по теме
- •Тема 4.2. Маршруты и деревья
- •4.2.1. Маршруты, пути, цепи, циклы
- •4.2.2. Дерево и лес
- •5.1.2. Способы задания автоматов
- •5.1.3. Взаимосвязь между моделями Мили и Мура
- •Вопросы для повторения
- •Резюме по теме
- •Тема 5.2. Детерминированные конечные автоматы
- •5.2.1.Основные понятия детерминированных конечных автоматов
- •5.2.2. Схема доказательства правильности конечного автомата
- •5.2.3. Произведение автоматов
- •5.3.2. Детерминизация нка
- •Вопросы для повторения
- •Резюме по теме
Тема 1.1. Множества и операции над ними
Цель: ознакомиться с понятием множество. Получить общие представления об множествах и операциях над ними.
Задачи:
Ознакомиться с основными понятиями.
Изучить операции над множествами.
Ознакомиться с векторами и прямыми произведениями.
1.1.1. Основные понятия
Множество – совокупность элементов, обладающих каким-то одним общим свойством.
Множество обозначают: M,N …..
m1, m2,.., mn – элементы множества.
– принадлежность элемента m к множеству M.
– непринадлежность элемента m к множеству M.
Пример 1. Числовые множества:
1,2,3,… множество натуральных чисел N;
0,1,2,3,… множество натуральных чисел, включая 0 N0;
…,-2,-1,0,1,2,… - множество целых чисел Z;
множество рациональных чисел.
Пустое множество - множество, не содержащее элементов. Обозначается символом .
Пример 2. Пустое множество: сумма углов 1800 пустое: M = .
Множество А называется подмножеством В, если всякий элемент a является элементом b.
А В – А подмножество В (нестрогое включение), - знак нестрогого включения.
Если А В и А В то А В (строгое включение).
Если А В, то множество А называется подмножеством множества В (также говорят, что В покрывает А). Если при этом А В, то множество А называется собственным подмножеством А В (рис. 1.1).
Рис. 1.1. Строгое включение множества А в В АВ.
Два определения равенства множеств:
Множества А и В равны, если их элементы совпадают A = B;
Множества А и В равны, если aeyrwbz
.
Пусть A — множество. Множество всех подмножеств множества A называется булеаном A (также степенью множества, показательным множеством или множеством частей) и обозначается Р(А) или 2A. Ясно, что 0Р(А) и АР(А).
Утверждение. Число подмножеств конечного множества, состоящего из n элементов равно 2n.
Доказательство. Если n = 0, т.е. множество пусто, то у него только одно подмножество – оно само, и интересующее нас число равно 20 = 1.
Пусть утверждение справедливо для некоторого n и пусть M – множество с кардинальным числом n+1. Зафиксировав некоторый элемент а0М, разделим подмножества множества M на два типа:
содержащие a0,
не содержащие a0, то есть являющиеся подмножествами множества М – {а0}.
Подмножеств типа (2) по предположению 2n. Но подмножеств типа (1) ровно столько же, так как подмножество типа (1) получается из некоторого и притом единственного подмножества типа (2) добавлением элемента a0 и, следовательно, из каждого подмножества типа (2) получается этим способом одно и только одно подмножество типа (1). Поэтому число всех подмножеств множества M равно 2n + 2n = 2n + 1.
Множества бывают конечные и бесконечные.
Конечное множество имеет конечное количество элементов, в противном случае множество называется бесконечным.
Мощность множества - число элементов конечного множества. Обозначается как |М|.
Если дано множество Е и мы рассматриваем все его подмножества, то множество Е называется универсальным множеством.
Пример 3. Если за Е взять множество книг, то его подмножества: книги по математике, биологии, физике, химии…
Если универсальное множество состоит из n элементов, то число подмножеств = 2n.
Если , состоящее из элементов E, не принадлежащих А, называется дополненным.
Три способа задания множества:
Перечислением, то есть списком своих элементов. Списком можно задать лишь конечные множества. Обозначение списка – в фигурных скобках. Например, множество А специальности университета А={менеджмент организации, управление персоналом, автоматизация производства};
Описанием характеристических свойств, которыми должны обладать его элементы. Например, А все целые числа в интервале 1<x<5. А={2, 3, 4};
Порождающей процедурой, которая описывает способ получения элементов множества из уже полученных элементов, либо других объектов. В таком случае элементами множества являются все объекты, которые могут быть построены с помощью такой процедуры. Например, А множество корней уравнения х2 − 3х + 2 = 0. А={1, 2}.