- •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.Транспортные сети. Поток в сети. Полный и максимальный поток. Алгоритмы нахождения полного и максимального потока.
28.Представление булевых функций формулой логики высказываний в сднф и в скнф. Примеры.
Рассм кортеж из нулей и единиц <ε1,ε2,...,εn>
Xiεi = xi, если εi=1; ¬xi, если εi=0; Xiεi = 1 тогда и только тогда, когда Xi = εi;
Теорема(о разложении булевой ф-ции): каждая булева функция f(x1,x2,...,xn) (n≥1), не равная тождественно нулю может быть представлена в виде:
f(x1,x2,...,xn)=∨i=12^n(&j=1nXεij&f(εi1, εi2,..., εin)) причем различным значениям i соответствуют различные кортежи < εi1, εi2,...,εin))
Следствие: любая булева функция представима в СДНФ, т.е. в виде
f(x1,x2,...xn)= ∨(Xεi11& Xεi22&... Xεinn), где
<εi1,εi2,...,εin> - оценка
<f(εi1,εi2,...,εin)> - значение оценки
Замечание: Аналогично доказывается теорема о представлении булевой функции в виде:
&i=12^n(∨j=1nxj1-εij∨f(εi1,εi2,...,εin))
следствием из которой является формула
&(x11-εi1∨x21-εi2∨...xn1-εin), где
<εi1,εi2,...,εin>
f(εi1,εi2,...,εin) =0
Рассм пример булевой функции и найдем СДНФ и СКНФ
Для СДНФ - выделяем участки списка, где функция приняла значение 1
f(x1,x2)=(¬x1&¬x2)∨(¬x1&x2)∨(x1&x2) - СДНФ
Для СКНФ - берем оценку и вычитаем из единиц 11-10=01, возводим в степень оценки(более подробно см семинар 8-ое задание)
f(x1,x2)=¬x1∨x2 - СКНФ
К слову f(x1,x2)=x1⊃x2
29. Полные системы булевых функций. Теорема о сведении полноты одной системы булевых функцийк другой. Примеры полных систем.
О: Система булевых функций {f1,f2,...,fm} из множества всех булевых функций называется полной, если любая булева функция может быть выражена через функции с помощью суперпозиций (подстановки функций в функцию)
k0={f1(x1,....,xn),f2(x1,...,xn),....,fm(x1,...xn)}
Функция f называется суперпозицией ранга 1(элементарной суперпозиций) функции f1,...,fm, если f может быть получено одним из след. способов:
1) из какой нибудь функции fi, переименованием переменной xj.
f(x1,x2,...,xj,...xn)
2) подстановкой некоторой функции fl, где l=1,2,...,n вместо какого нибудь аргумента xj, взятого из множества k0
f(x1,x2,...,fl(x1,...,xn),...xn)
Суперпозиция ранга 1 образует класс функций k1. Суперпозиция ранга r образует класс функций kr. Класс kr строится с помощью элементарных суперпозиций над классом kr-1
Суперпозициями функциями из k0 называются функции входящие в один из классов k0,k1,k2,...,kr.
Теорема: Пусть даны 2 системы булевых функций:
1) F={f1,f2,...fm) ①
2) G={g1,g2,...,gl) ②
относительно которых известно, что 1ая система полна и каждая её функция fi выражается через функции системы ② в виде формулы, тогда и вторая система полна.
z=z(f1,f2,...,fm)=z(f1(g1,...,gl),...fm(g1,....,gl))=R(g1,...,gl)
Примеры
1. { ¬,&} - испытуемая ②
{¬,∨,&} - ①
Выразим x1∨x2=¬¬(x1∨x2)=¬(¬x1&x2)
2. {¬, ∨} ②
x1&x2=¬¬(x1&x2)=¬(¬x1∨x2)
{∨,&} - не выйдет
3. {|} - ②
{¬,&} - ①
¬x=x|x
x1&x2=¬(x1|x2)|(x1|x2)
30. Полнота системы {+, ∙ , 1}. Многочлены Жегалкины. Приведение любой булевой функции к многочлену жегалкина.
{+, ∙ , 1}, где ∙=&
О: Булевы функции записанные в этой системе в виде многочлена называются многочленами Жегалкина.
Приведение произвольной булевой функции к многочлену Жегалкина производится на основе правил обычной алгебры:
1) Законы коммутативности
x1+x2=x2+x1;
x1∙x2=x2∙x1;
2) Законы асоциативности
x1+(x2+x3)=(x1+x2)+x3
x1(x2∙x3)=(x1∙x2)x3
3) x1(x2+x3)=x1x2+x1x3 - закон дистрибутивности
4) 0+х=х
5) 0∙х=0
6) 1∙х=х - действие с единицей
и двух специальных правил:
7) х+х=0
8) х∙х=х
СПОСОБЫ ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ МНОГОЧЛЕНАМИ ЖЕГАЛКИНА.
1 способ
1. Преобразуем булеву функцию в булеву функцию заданную в системе {¬,&}
2. Заменяем ¬х=х+1, &=∙
3. Применяем 8 правил алгебры Жегалкина, находим его многочлен.
2 способ
1. Находим СДНФ
2. Заменяем дизъюнкцию на f=∑⊕(x1εi1∙....∙xnεin)=Fi+Φi^
3. Применяем 8 правил и находим многочлен Жегалкина
Пример 1-ого способа:
x1∨x2=¬¬(x1∨x2)=¬(¬x1&¬x2)=(x1+1)(x2+1)+1=x1x2+x2+x1+1+1=x1x2+x1+x2.
Пример 2-ого способа:
х1∨х2=(¬x1&x2)∨(x1&¬x2)∨(x1&x2)=(¬x1&x2)+(x1&¬x2)+(x1&x2)=(x1+1)x2+x1(x2+1)+x1x2=x1x2+x2+x1x2+x1+x1x2=x1x2+x2+x1