Литература
Кук Д., Бейз Г. Компьютерная математика. Пер. с англ., М., Мир, 1992 г.
Ф.А. Новиков. Дискретная математика для программистов. Санкт-Петербург, Питер, 2001 г.
О.Е. Акимов. Дискретная математика. Логика, группы, графы. Москва, Лаборатория базовых знаний, 2001 г.
Зыков А.А. Основы теории графов. М., Наука, 1987 г.
Горбатов В.А. Основы дискретной математики. М., В.ш., 1986 г.
1 Символ происходит от греческой буквы
1 Однако в этой ситуации возникают следующие проблемы. Если мы рассмотрим первоначальное определение А и выбросим одно из чисел 6 из множества, то мы, очевидно, будем иметь 6А и 6 А. Возникает противоречие. Поэтому следует рассматривать повторение символов в определении множеств как упоминание одного и того же символа, а его дублирование как недосмотр. Удаление повторяющихся элементов образует основу для некоторых дальнейших математических рассуждений.
1 Имеет место обозначение степени множества как 2х
1 Разность множеств А и В называют также дополнением В до А.
1 Равенство аналогично дистрибутивному закону (a+b)c=ac+bc в обычной алгебре.
1 Запись означает перечисление i=1,2,3,….n.
1 Может оказаться, что ни один элемент b из В не имеет непустого прообраза, тогда и прообраз f-1(B) будет пустым множеством.
1 Понятие функции является чрезвычайно широким и изучению отдельных классов функций посвящены многие математические дисциплины.
1 Также для обозначение эквивалентности используется символ “”.
1 Следует заметить, не все бесконечные множества являются счетными.
2 В противном случае вместо них нужно рассматривать множества А1, А2\А1, А3\(А1А2), … каждое из которых не более чем счетно, - имеющие ту же самую сумму, что и множества А1, А2, …
1 Верхнюю и нижнюю границы множества называют также верхней и нижней гранью соответственно.
- 1. Элементы теории множеств
- 1.1 Понятие множества. Основные определения
- Способы задания множества
- Равенство множеств
- Подмножество
- Операции над множествами
- Предварительные замечания
- Объединение множеств
- 1.5.3 Пересечение множеств
- 1.5.4 Разность множеств
- 1.5.5 Симметрическая разность
- 1.5.6 Универсальное множество
- 1.5.7 Дополнение множества
- Принцип двойственности в алгебре множеств
- Тождества алгебры множеств
- Разбиение множества
- Упорядочение элементов и прямое произведение множеств
- Упорядоченное множество
- Прямое произведение множеств
- 1.9.3 Проекция множества
- 1.10 Соответствия
- 1.10.1 Обратное соответствие
- 1.10.2 Композиция соответствий
- 1.10.3 Отображения и функции
- 1.10.4 Основные свойства отображений
- 1.11 Функция
- 1.11.1 Способы задания функции
- 1.11.2 Сужение функции
- 1.11.3 Обратная функция
- 1.11.4 Функция времени
- 1.11.5 Понятие функционала
- 1.11.6 Понятие оператора
- 1.12 Отношения
- 1.12.1 Задание бинарных отношений
- Свойства отношений
- 1.12.3 Отношение эквивалентности
- 1.12.4 Отношение порядка
- 1.13 Конечные и бесконечные множества
- 1.13.1 Счётные и несчётные множества
- 1.13.2 Свойства счетных множеств
- 1. Всякое подмножество счетного множества конечно или счетно.
- 2. Объединение любого конечного или счетного множества счетных множеств есть снова счетное множество.
- 3. Всякое бесконечное множество содержит счетное подмножество.
- 1.13.3 Эквивалентность множеств
- 1.13.4 Теорема г. Кантора
- 1.13.5 Теорема Кантора – Бернштейна
- 1.13.6 Верхняя и нижняя границы множества
- 1.13.7 Теорема о верхних и нижних границах подмножества
- 1.13.8 Понятие мощности множества
- 2. Основные положения теории графов
- 2.1 Определение графа
- 2.2 Матричные представления графа
- 2.3. Достижимость
- 2.4. Неориентированные графы
- 2.5. Изоморфизм графов
- 2.6. Отношение порядка и отношение эквивалентности на графе
- 2.7. Характеристики графов
- 2.8 Операции над графами
- 2.9. Определение путей экстремальной длины
- 2.9.1. Задача о кратчайшем пути между двумя вершинами (ориентированного графа
- 2.9.2 Задача о нахождении пути максимальной длины между двумя фиксированными вершинами ориентированного графа
- Номера работ обозначены числами в кружке.
- Литература