
- •Пермский Государственный Технический Университет
- •Введение
- •1. Теория множеств
- •1.1 Понятие множества
- •1.2.Операции над множествами
- •1.3.Диаграммы Эйлера - Венна
- •1.4. Алгебра множеств
- •1.5. Кортеж. График
- •1.6. Соответствия
- •2 3 4 5
- •1.7. Отношения
- •1.7.1 Отношение эквивалентности
- •1.7.2.Отношения порядка
- •1.7.3. Морфизмы
- •1.8. Решетки
- •1.8.1. Диаграммы Хассе
- •1.8.2. Понятие решетки
- •1.8.3. Алгебраическое представление решеток. Булевы решетки
- •1.8.4. Подрешетки
- •1.9.4.Мощность множества r. Теорема Кантора
- •1.9.5. Арифметика бесконечного
- •2.1.1.Операции над высказываниями
- •2.1.2.Построение и анализ сложных высказываний
- •2.1.3.Алгебра высказываний
- •2.1.4.Формы представления высказываний
- •2.1.5.Преобразование высказываний
- •2.1.6.Минимизация высказываний методом Квайна
- •2.1.7.Минимизация с помощью карт Вейча
- •2.1.8.Функциональная полнота
- •2.2.Логика предикатов
- •2.2.1.Основные равносильности для предикатов
- •2.2.2.Получение дизъюнктов
- •2.3.Аксиоматические теории
- •2.3.1.Аксиоматическая теория исчисления высказываний
- •2.3.2.Непротиворечивость и полнота аксиоматической теории исчисления высказываний
- •2.4.Аксиоматические теории первого порядка
- •2.5.Метод резолюций
- •2.6.Система Генцена
- •2.7.Система Аристотеля
- •2.8. Примеры неклассических логик
- •3. Теория Автоматов
- •3.1.Понятие автомата
- •Законы функционирования автоматов
- •3.2.Примеры автоматов
- •3.3.Минимизация автоматов
- •3.4.Особенности минимизации автомата Мура
- •3.5.Переход от автомата Мура к автомату Мили и наоборот
- •4.Теория графов
- •4.1. Понятие графа
- •4.2.Теорема Эйлера
- •4.3.Полные графы и деревья
- •4.4.Деревья
- •4.5.Алгоритм Краскала
- •4.6.Планарные графы
- •4.7.Задача о 4 красках
- •4.8.Определение путей в графе
- •4.9.Приведение графа к ярусно-параллельной форме
- •4.10.Внутренняя устойчивость графа
- •4.11.Множество внешней устойчивости. Ядро графа
- •4.12.Клика
- •5. Теория групп
- •5.1.Понятие группы
- •5.2.Морфизмы групп
- •5.3.Инвариантные (нормальные) подгруппы
- •5.4.Группа Диэдра (d3)
- •5.5.Смежные классы
- •5.6.Фактор-группы
- •5.7.Группа Клейна четвертой степени
- •6. Теория алгоритмов
- •6.1.Понятие алгоритма
- •6.2.Конкретизация понятия алгоритма
- •6.3.Сложность вычислений
- •6.4.Машины Тьюринга
- •6.5.Нормальные алгорифмы Маркова
- •6.6.Рекурсивные функции
- •6.7.-Исчисление
- •7.Формальные грамматики
- •7.1. Понятие формальной грамматики
- •7.2.Деревья вывода
- •7.3.Классификация языков по Хомскому
- •7.4.Распознающие автоматы
- •7.5.Понятие транслятора
- •7.6.Основные функции компилятора. Лексический анализ
- •7.7.Переход от недетерминированного распознающего автомата к детерминированному
- •7.8.Переход от праволинейной грамматики к автоматной
- •7.9.Lex
- •7.10.Детерминированные автоматы с магазинной памятью (мп-автоматы)
- •7.11.Транслирующие грамматики
- •7.12. Sи q - грамматики
- •7.13.Ll(1) - грамматики. (left - leftmost)
- •7.14.Метод рекурсивного спуска
- •7.15.Lr - грамматики (left - rightmost)
- •7.16.Функции предшествования
- •7.17.Атрибутные грамматики
- •7.18.Yacc
- •7.19.Область действия и передача параметров
- •7.20.Генерация выходного текста. Польская инверсная запись
- •7.21.Оптимизация программ
- •8. Функциональное программирование
- •9. Логическое программирование. Язык Пролог
- •10. Объектно-ориентированное программирование
- •Заключение
- •Литература
1.2.Операции над множествами
1. Объединениемножеств A и B
A B = { x|xA или xB } (или -неисключающее)
2. Пересечениемножеств A и B
A B = { x | xA и xB }
3. Разностьмножеств A и B
A \ B = { x | x A и xB }
4. Симметрическая разностьмножеств A и B
A B = { x | (xA и xB) или (xA и xB)}=( A \ B )( B \ A )
5.Дополнение множества A
A= { x | xA }
Пример.
Пусть А = {1, 2, 3} и B = {3,4}, тогда
A B = {1, 2, 3, 4}
A B = {3}
A \ B = {1, 2}
A B = {1, 2, 4}
А= множество чисел кроме 1, 2, 3.
1.3.Диаграммы Эйлера - Венна
Диаграммы Эйлера-Венна позволяют представить множества, как множества точек на плоскости, оганиченные замкнутыми кривыми круглой или овальной формы. Прямоугольная рамка ограничивает универсум. Обычно, если не требуется иное, рисуют так называемый общий случай: когда каждое из множеств имеет свои собственные точки и точки, общие с другими множествами.
U
II
III
I
A
B
AB – зоны I, II, III.
AB – зона III.
A\B
- зона I.
A - все, кроме круга А.
AB - зоны I, III.
Диаграмма для общего случая c тремя множествами будет иметь вид:
U
A B
C
Построение диаграммы Эйлера-Венна для общего случая с четырьмя и более множествами можно предложить для самостоятельных развлечений.
1.4. Алгебра множеств
Операции над множествами дают в результате новые множества.
Для операций справедлив ряд законов. Приведем наиболее часто используемые.
Для упрощения записи, уменьшения числа скобок, определяющих последовательность операций, можно использовать соглашение о "силе" операций (в порядке убывания): дополнение, пересечение, объединение.
Остальные операции можно выразить через эти три.
Законы:
1. Коммутативный:
AB = BA AB = BA
2. Ассоциативный:
A (BC) = (AB)C = ABC A(BC) = (AB)C = ABС
3. Дистрибутивный:
A (BС)= (AB)(AC) A(BС) = (AB)(AC)
4. Поглощения:
A (AB) = A A(AB) = A
5. Идемпотентности:
A A = A AA = A
6. Исключенного третьего: Противоречия:
AA = U
AA =
7. A = A A=
8. A U = U AU = A
Де Моргана:
____ ___
AB = AB AB = AB
10.= U
U =
11. Двойного отрицания: A = A
12. A \ B =A B
13. AB =ABAB
Пример доказательства варианта дистрибутивного закона:
A (BС) = (AB)(AC)
I. Докажем, что левая часть включена в правую:
A (BC)(AB)(AC)
Пусть х А(ВС), тогда у х есть две возможности
1. х A . Тогда хAB и хACх(AB)(AC).
2. х BC. Тогда хB и хCхAB и хAC,
то есть х (AB)(AC).
II. Докажем, что правая часть включена в левую:
(A B)(AC)ABC.
Пусть х AB и хAC. Тогда возможны два варианта:
1. х AхABC
2. х B и хCхBCхABC.
То есть левое и правое множества равны.