
- •1. Понятие множества. Способы задания множеств. Операции над множествами. Диаграммы Венна.
- •3. Прямое произведение множеств. Отношения, бинарные отношения. Операции над отношениями.
- •4. Понятие функции. Инъективные, биективные, суръективные функции. Композиция и обращение функций.
- •5. Бинарные отношения на множестве х. Рефлексивность, симметричность, транзитивность бинарных отношений на множестве х.
- •6. Отношение эквивалентности. Класс эквивалентности.
- •7. Разбиение множества. Теорема о связи между отношением эквивалентности на множестве и разбиением множества.
- •8. Отношение порядка. Частичный и линейный порядок. Упорядоченные множества.
- •9. Мощьность множества. Счётные множества. Несчётные множества. Теорема Кантора.
- •10. Понятие нечёткого множества. Виды и некоторые свойства нечётких множеств. Способы задания нечётких множеств.
- •11.Функции принадлежности нечётких множеств и методы их построения.
- •12.Равенство нечётких множеств. Нечёткое подмножество.
- •13. Операции с нечёткими множествами. Некоторые дополнительные операции над нечёткими множествами.
- •15. Определение нечёткого отношения. Виды нечётких отношений. Способы задания нечётких отношений.
- •16. Равенство нечётких отношений. Нечёткое доминирование. Операции с нечёткими отношениям.
- •17. Свойства бинарных нечётких отношений заданных на базисном множестве х.
- •18.Высказывания. Логические операции. Язык логики высказываний. Формулы логики высказывания.
- •20. Формулы логики высказываний. Равносильность формул логики высказываний. Основные равносильности.
- •21. Двойственность. Закон двойственности. Пример.
- •22. Тождественно-истинные и тождественно-ложные формулы. Выполнимость и опровержимость формул. Пример. Правильные рассуждения.
- •23. Отношение логического следования. Правильные рассуждения. Примеры.
- •24. Нормальные формы формул. Приведение к днф и кнф.
- •25. Нормальные формы формул. Приведение к сднф и скнф.
- •26.Булевы функции. Теорема о представлении булевой функции формулой логики высказываний.
- •27. Булевы функции. Булевы функции двух переменных.
- •28.Представление булевых функций формулой логики высказываний в сднф и в скнф. Примеры.
- •29. Полные системы булевых функций. Теорема о сведении полноты одной системы булевых функцийк другой. Примеры полных систем.
- •31.Функционально-замкнутые классы. Классы t0,t1,s,l,m. Теорема Поста(доказательство по необходимому признаку). Док-ва у меня нет
- •32.Описание переключательных схем с помощью формул логики высказываний. Анализ, упрощение и синтез переключательных схем.
- •33.Понятие о проблеме минимизации булевых функций в классе днф.
- •34.Предикаты. Кванторы. Язык логики предикатов. Формулы логики предикатов. Равносильность и общезначимость формул логики предикатов. Основные равносильности.
- •35.Понятие интерпретации. Равносильность и общезначимость формул логики предикатов. Приведенная нормальная формула логики предикатов. Проблема разрешимости. Формулировка теоремы Черча.
- •36.Ориентированные и неориентированные графы. Основные понятия.
- •37.Матричное задание графа. Матрицы сложности и инциденций. Цикломатическая матрица.
- •38. Пути в графе. Цепи. Связные графы и компоненты связности.
- •39.Специальные пути в графе. Понятие о плоских графах.
- •40. Поиск путей в графе. Алгоритм Терри нахождения пути в графе. Алгоритм поиска пути минимальной длины(«фронта волны)
- •41.Алгоритм Форда и Форда-Беллмана нахождение минимального пути в нагруженном графе.
- •42.Деревья. Свойства деревьев. Цикломатическое число. Остовные деревья графа. Алгоритм нахождения остовного дерева.
- •43.Вектор-циклы. Пространство вектор циклов. Независимые циклы. Цикломатическое число. Алгоритм нахождения базис вектор-циклов.
- •44.Цикломатическая (контурная) матрица и матрица инциденций. Законы Киргофа. Уравнение контурных токов. Примеры.
- •45.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
1. Понятие множества. Способы задания множеств. Операции над множествами. Диаграммы Венна.
Под множеством А мы понимаем собрание определённых и различных между собой объектов мыслимых как единое целое. Эти объекты называются элементами множества.
аА
аА,
-
отношение принадлежности.
Характеристическая функция:
Виды множеств:
-Множества, состоящие из конечного числа элементов, называются конечными. (Число элементов конечного множества называется его мощностью)
-Пустое множество: множество мощностью 0, т.е не содержащее ни одного элемента, называется пустым.
-Универсальное множество: это любое изучаемое в данный момент множество.
Способы задания множеств.
1. Перечислением (списком своих элементов)
А =
2. Описанием характеристических свойств.(которыми должны обладать его элементы)
- универсальное множество.
x,
Р(х) – предикаты.
3. Порождающие процедурой. (которая описывает способ получения элементов множества из уже полученных либо из других объектов)
Рассмотрим след. пример
X Q
1.3X;
2.xX
1/x,
1-x
X
3.Для других элементов, кроме тех которые построены по пунктам 1,2 в Х нет
Х=
Замечание:Задание множеств с помощью описаний может приводить к противоречиям.
Операции над множествами.
Пусть А и В произвольные множества,
заданные на
,
тогда справедливы следующие операции:
1)пересечение:
АВ
= {x
X|
x
A
u x
B}
2)объединение:
AB
= {x
X|
x
A
uли x
B}
3)относительное дополнение:
A\B= {xX|
x
A
и x
B}
4)симметрическая разность:
A+B= (A\B)
(B\A)
5)абсолютное дополнение:
=
\A
2.Равенство множеств. Основные тождества алгебры множеств.
Равенство множеств:
Условимся говорить, что множества А и В равны и писать А=В, если А и В состоят из одних и тех же элементов.
Основные тождества.
Пусть задано множество
,
а А, В, С подмножества множества
,
тогда выполняются следующие свойства:
-1 AB
= В
А
-2 AА
= А
-3 A(B
С)
= (A
B)
С
-4 АВ
= В
А
-5 АА
= А
-6 А(В
С)
= (А
В)
С
-7 А(В
С)
= (A
B)
(
A
С)
-8 A(В
С)
= (А
В)
(А
С)
-9 А(А
В)
= А
-10 A(А
В)
= А
-11
= А
-12
-13
-14 А = (AB)
(А
)
-15 А = (АВ)
(А
)
-16 A
=
-17 A=
0
-18 A
0 = А
-19 A
0 = 0
-20 A=
-21 A
= А
-22 А\В = А
3. Прямое произведение множеств. Отношения, бинарные отношения. Операции над отношениями.
Прямым произведением множеств X
u Y называется
множество, состоящее из всех тех и только
тех пар, первая компонента которой
Х,
а вторая Y.
X*Y
Пример:
X = {a,b} Y = {1,2,3}
X*Y={<a,1>,<a,2>,<a,3>,<b,1>,<b,2>,<b,3>}
X*YY*X
(*) X1,X2,…Xn
Прямым произведением множества (*)
называется множество, состоящее из всех
тех и только тех картежей длины l,
первая компонента которой
Х1,
вторая
Х2 ... и n
Xn,Это множество обозначается:
X1*X2*…*Xn
= {<x1,x2,…xn>|
x1
X1……}
Отношения, бинарные отношения.
Рассмотрим вспомогательное понятие картеж.
Упорядоченная пара <x,y>
интуитивно определяется, как совокупность,
состоящая из 2-х элементов хХ
и y
Y,
расположенных в определённом порядке.
Две пары <x,y> u <U,V> равны тогда и только тогда, когда x=U, y=V
<1,z><z,1>
Картеж или упорядоченный набор n
элементов x1X1,
x2
X2….
xn
Xn
обозначается <x1,x2,x3…xn>
и по определению есть <<x1,x2,x3….xn-1>,xn>.
Два картежа
и
:
=<x1,x2…..xn>
=<y1,y2….ym>
равны тогда и только тогда, когда n
= m и (x1=y1
X1
x2=y2
X2 )
Число n – называется длинной картежа, а элементы xi – итой проэкцией ( координата компоненты картежа).
Операции над отношениями.
1. Для бинарных отношений обычным образом
определены все теоретико-множественные
операции:
,
,\,
,+,*
2. Обратное отношение: обратным (инверсным) отношением называется отношение
={<x,y>|
<y,x>
}
3. Композиция отношений:
а)
X*Y
Z*Y
Композицией двух бинарных отношений
и
называется отношение
X*Y, которая
определяется следующим образом:
=
={<x,y>|
x
X,
y
Y
и
Z
x
y
и z
y}
б) Композиция отношений на множестве X:
=
={<x,y>|
,
что x
z
и z
y}
Замечание:
Композиция отношений на множестве X порождает понятие: степень отношения
=
^2
=
^3
^n=
^n-1