
- •Директор идо _____________а.Ф.Федоров
- •Томск 2007
- •Содержание
- •Введение
- •Глава 1. Множества и отношения
- •1.1. Множества
- •1.1.1. Основные определения
- •1.1.2. Способы задания множеств
- •1.1.3. Диаграммы Эйлера – Венна
- •1.1.4. Операции над множествами
- •1.1.5. Свойства булевых операций над множествами
- •1.2. Отношения
- •1.2.1. Способы задания бинарных отношений
- •1.2.2. Свойства бинарных отношений
- •1.2.3. Эквивалентность и порядок
- •Пример. Каков индекс разбиения и мощности классов эквивалентности по отношению , если – отношение равенства (тождества) на любом множестве;
- •1.2.4. Операции над бинарными отношениями
- •1.2.5. Функциональные отношения
- •1.2.6. Функции и отображения
- •1.2.7. Операции
- •Глава 2. Математическая логика
- •2.1. Логические операции
- •2.1.1. Основные определения математической логики
- •2.1.2. Таблицы истинности
- •2.1.3. Основные логические операции
- •2.1.4. Функционально полные системы (базисы)
- •2.1.5. Совершенная дизъюнктивная нормальная форма
- •2.1.6. Основные эквивалентные соотношения в булевой алгебре
- •2.1.7. Переход от днф к сднф методом расщепления
- •2.2. Формы представления булевых функций
- •2.2.1. Геометрическое представление булевых функций
- •2.2.2. Интервальное представление булевых функций
- •2.3. Синтез логических схем
- •2.4. Минимизация дизъюнктивных нормальных форм
- •2.4.1. Приведение к дизъюнктивной нормальной форме
- •2.4.2. Геометрическая интерпретация задачи минимизации днф
- •2.4.3. Допустимые конъюнкции
- •2.4.4. Сокращенная днф
- •2.4.5. Построение сокращенной днф
- •2.4.6. Тупиковые днф
- •2.5. Логика предикатов
- •2.5.2. Кванторы
- •2.5.3. Выполнимость и истинность
- •2.5.4. Префиксная нормальная форма
- •Глава 3. Графы и сети
- •3.1. Графы
- •3.1.1. Основные определения теории графов
- •3.1.2. Способы задания графов
- •3.1.3. Операции над частями графа
- •3.1.4. Маршруты, пути, цепи, циклы
- •3.1.5. Эйлеровы циклы и цепи
- •3.1.6. Обобщенная теорема об эйлеровых цепях
- •3.1.6. Гамильтонов цикл. Взвешенные графы
- •3.1.7. Граф–дерево и граф–лес
- •3.1.8. Связность. Цикломатическое число графа
- •3.1.9. Двудольные (четные) графы
- •3.1.10. Планарность графов
- •3.2. Сети
- •3.2.1. Потоки в сетях
- •3.2.2. Расчет максимального потока в сети
- •Глава 4. Автоматы, языки, элементы кодирования
- •4.1. Автоматы
- •4.1.2. Реализация конечных автоматов
- •4.1.3. Автоматы–распознаватели
- •4.2. Элементы кодирования
- •4.2.1. Формулировка задачи кодирования.
- •4.2.1. Алфавитное (побуквенное) кодирование
- •4.2.3. Кодирование с минимальной избыточностью
- •4.2.4. Алгоритм квазиоптимального кодирования Фано
- •4.2.5. Алгоритм оптимального кодирования Хаффмена
- •4.2.6. Помехоустойчивое кодирование
- •4.2.7. Сжатие данных
- •Список литературы
1.1.2. Способы задания множеств
Перечислением,
т.е. списком своих элементов. Перечислением
можно задать лишь конечные множества.
Например, множество студентов группы
={Иванов,
Петров, Сидоров}; множество
устройств ПЭВМ В={процессорный блок,
монитор, клавиатура}.
Описанием
характеристических свойств,
которыми должны обладать его элементы,
т.е. некоторой распознающей процедурой.
Например, множество
периферийных устройств ПЭВМ может быть
определено
={
– периферийное устройство ПЭВМ}, или
={
}.
Порождающей процедурой, которая описывает способ получения элементов множества из уже полученных элементов, либо других объектов. В таком случае элементами множества являются все объекты, которые могут быть получены с помощью такой процедуры.
Например,
множество
целых чисел, являющихся степенями
двойки, может быть представлено
порождающей процедурой, заданной двумя
рекуррентными (индуктивными) правилами:
а)
,
b) если
,
то
.
Подобным
же образом можно задать множество клеток
шахматной доски доступных коню за два
хода, если в начальном состоянии он
находится в клетке
:
a)
,
b)
,
если в
можно попасть из
ходом коня.
Порождающей процедурой удобно задавать элементы бесконечных множеств.
Пример.
Задать различными способами множество
всех натуральных чисел.
Решение.
-
Списком задать это множество нельзя.
-
Описанием характеристических свойств:
={
– целое положительное число}.
-
Порождающей процедурой: а)
, в) если
, то
.
Пример. Задать разными способами множество М всех положительных четных чисел 100.
-
Списком: М={2,4,6 … 100};
-
Описанием характеристических свойств: М={n / nN и n/2 N; n 100 };
-
Порождающей процедурой: 2M; если nN, то (n+2)N; n 98.
1.1.3. Диаграммы Эйлера – Венна
Диаграммы
Эйлера – Венна – геометрические
представления множеств. Построение
диаграмм заключается в изображении
большого прямоугольника, представляющего
универсальное множество U,
а внутри его – кругов или других замкнутых
фигур, представляющих множества. Фигуры
должны пересекаться в наиболее общем
случае, требуемом в задаче. Точки внутри
фигур обозначают элементы множеств.
Пример диаграммы Эйлера–Венна для двух
пересекающихся множеств
и
,
представлен на рисунке 1.1.
1.1.4. Операции над множествами
Объединением
множеств
и
(обозначается
)
называется множество, состоящее из всех
тех элементов, которые принадлежат хотя
бы одному из множеств
или
.
или
.
Пересечением
множеств
и
(обозначается
)
называется множество, состоящее из всех
тех и только тех элементов, которые
принадлежат и
,
и
.
и
.
Объединение
и пересечение произвольной совокупности
множеств определяются аналогично.
.
Разностью
множеств
и
(обозначается
)
называется множество всех тех элементов
,
которые не содержатся в
.
Разность – операция строго двухместная
и некоммутативная, в общем случае
.
Дополнением
(до
)
множества
(обозначается
)
называется множество всех элементов
не принадлежащих
(но принадлежащих
).
.
Операции
,
будем называть булевыми
операциями
над множествами.
Пример.
Пусть
– множество сотрудников некоторой
фирмы,
– множество сотрудников старше 30 лет,
– множество мужчин,
– множество программистов.
Тогда:
– множество женщин,
– множество мужчин – программистов,
младше 30 лет,
– множество сотрудников старше 30 лет
или мужчин не программистов,
– множество мужчин, не являющихся
программистами,
– множество программистов – женщин.
Пример.
Пусть U={1,2,3,4},
A={1,3,4},
B={2,3},
C={1,4}.
Найти
.
Ответы.
.
Пример.
На диаграммах
Эйлера–Венна заштриховать множества
,
,
рассмотрев для каждого примера три
варианта взаимного размещения множеств
.
Ответы.
Рис.
1.2. Варианты диаграмм Эйлера–Венна для
множества
Рис.
1.3. Варианты диаграмм Эйлера–Венна для
множества