
- •Введение
- •1. Элементы теории множеств
- •1.1.Понятие множества.
- •1.2. Способы задания множеств.
- •1.3. Свойства множеств.
- •1.4. Конечные и бесконечные множества.
- •1.5. Подмножества.
- •1.6. Множество как абстракция.
- •1.7. Операции над множествами.
- •1.8.Декартово произведение множеств
- •1.9. Контрольные задания
- •2. Отношения
- •2.1. Общие положения
- •2.2. Задание отношений.
- •2.3. Виды отношений.
- •2.3.1. Рефлективность.
- •2.3.2. Симметричность.
- •2.3.3. Транзитивность.
- •2.4. Отношение эквивалентности
- •2.5. Функция.
- •2.6. Отношение как базовое понятие в реляционных
- •2.7. Контрольные задания
- •3. Элементы алгебры логики
- •3.1. Силлогизмы Аристотеля.
- •3.2. Высказывания.
- •3.3. Исчисление высказываний и
- •3.4. Функции алгебры логики
- •3.5. Равносильности алгебры логики
- •3.6. Одна логическая задача
- •3.7. Реализация функций в элементных базисах
- •3.9. Совершенная конъюнктивная нормальная форма
- •3.10. Реализация операции суммирования в компьютере
- •3.11. Контрольные задания
- •4. Элементы теории графов
- •4.1. История возникновения
- •4.2. Основные понятия
- •4.3. Матрицы графа
- •4.4. Деревья
- •4.5. Раскраска
- •5. Элементы теории алгоритмов
- •5.1. Интуитивное понятие алгоритма
- •5.2. Свойства алгоритмов
- •5.3. Вычислительные и комбинаторные алгоритмы
- •5.5. Асимптотические оценки сложности алгоритма
- •Порядки сложности алгоритма
- •5.6. Комбинаторный взрыв
- •6. Полиномиальные алгоритмы
- •6.1. Построение минимального остовного дерева.
- •6.1.1. Жадный алгоритм
- •6.1.2. Алгоритм Прима
- •6.2. Контрольные задания
- •7. Эвристические алгоритмы
- •7.1. Алгоритм последовательной раскраски
- •7.2. Контрольные задания
- •8. Сетевое планирование
- •8.1. Основные понятия
- •8.2 Параметры сетевого планирования
- •8.3. Вычисление параметров сетевого графика
- •8.4. Контрольные задания
- •9. Элементы абстрактной теории автоматов
- •9.1. Определение абстрактного автомата
- •9.2. Методы задания автоматов
- •9.3. Связь между моделями Мили и Мура.
- •9.4.1. Преобразование автомата Мура в автомат Мили
- •9.4.2. Преобразование автомата Мили в автомат Мура
- •9.5. Контрольные задания
- •10. Уточнение понятия алгоритма
- •10.1. Машина Тьюринга
- •Для каждого алгоритма u из класса к1 существует равносильный ему алгоритм l из класса к2.
- •10.2. Нормальный алгоритм Маркова
1.8.Декартово произведение множеств
Под кортежом или вектором понимают упорядоченный набор элементов. Элементы, образующие кортеж, называются его координатами или компонентами. В отличие от множества, координаты кортежа могут совпадать. Кортеж заключают в угловые скобки
" < > ".
Пример:
A = < a, b, c > B = < a, a, b, c, a, c >
Как A, так и B являются кортежами. При этом в кортеже задан порядок элементов. В кортеже A координата a стоит на первом месте, координата b - на втором и координата c - на третьем.
Число координат кортежа называется его длиной или размерностью.
Декартовым
или прямым произведением множеств A и
B (AB) называют
множество всех кортежей (a, b) таких, что
a A и b
B.
Пример: A = { a, b} B = {1,2,3}
AB = {a1,a2,a3,b1,b2,b3}
Мощность декартова произведения множеств равна произведению мощностей этих множеств.
A B = A B
1.9. Контрольные задания
Даны четыре пересекающихся произвольным образом множества в виде кругов Эйлера. Выделить три несмежные области и описать их с помощью теоретико-множественных операций.
2. Отношения
2.1. Общие положения
Пусть, например, даны два множества - X = {x1, x2, ... , xk, ... ,xn} и Y = {x1, x2, ... ,xk}.
Самое простое, что можно сказать об элементах этих множеств это установить связи между конкретным элементом и конкретным множеством, между двумя данными элементами или множествами.
Мы говорим:
а) элемент x2 принадлежит множеству X, x2 X;
б) элемент x2 принадлежит множеству Y, x2 Y;
в) множество Y является составной частью множества X, Y X, поскольку элементы множества Y и первые k элементов множества X совпадают.
Говорят, что элементы множества могут находиться в некоторых отношениях между собой, с элементами других множеств или с самими множествами.
Примеры:
x2 X, x2 Y - отношения принадлежности;
Y X - отношение включения.
Отношения между парами объектов называют бинарными (двуместными). Они встречаются наиболее часто и хорошо изучены.
Примеры.
"=" - равенство; " <, > " - неравенство;
"быть братом"; "жить в одном доме".
В общем, виде бинарное отношение может быть записано как xRy, где R - отношение, устанавливающее связь между элементом x X и элементом у Y.
2.2. Задание отношений.
Формально бинарное
отношение можно определить, как
подмножество декартова произведения:
R X
Y,
то есть как множества пар xy между
элементами x X и y
Y.
Для задания отношений можно использовать все способы, приведенные выше (перечисление, описание свойств, процедура). Кроме того, для задания отношений используют матричный способ.
Матрица бинарного отношения на множестве X, X= n - это квадратная матрица C порядка n, в которой элемент cij, стоящий на пересечении i - й строки и j - го столбца, определяется следующим образом:
1, если xi Rxj
Cij=
0, в противном случае
Пример 1 .
X = {1,2,3,4,5,6}
Для отношения x < y, x X, y X матрица C будет иметь следующий вид:
C
1 2 3 4 5 6
11
1 1 1 1 1
2 0 1 1 1 1 1
3 0 0 1 1 1 1
4 0 0 0 1 1 1
5 0 0 0 0 1 1
6 0 0 0 0 0 1
Пример 2.
Для отношения "x и y имеют общий делитель, отличный от единицы", x X, y X матрица C будет иметь следующий вид:
C
1 2 3 4 5 6
1
2 0 1 0 1 0 1
3 0 0 1 0 0 1
4 0 1 0 1 0 1
5 0 0 0 0 1 0
6 0 1 1 1 0 1