- •1. Понятие множества.
- •2. Способы представления множеств.
- •3. Операции над множествами.
- •4. Разбиения и покрытия.
- •5. Свойства операций над множествами. Доказательства.
- •6. Универсальное множество. Булеан.
- •7. Представление множеств в эвм.
- •8. Реализация операций над подмножествами заданного универсума.
- •9. Генерация всех подмножеств универсума. Алгоритм генерации всех подмножеств данного множества.
- •10. Алгоритм построения бинарного кода Грея.
- •11. Представление множеств упорядоченными списками.
- •12. Алгоритм проверки включения.
- •13. Алгоритм вычисления объединения множеств.
- •14. Алгоритм вычисления пересечения множеств.
- •15. Упорядоченное множество. Прямое произведение множеств.
- •16. Отношения. Композиция отношений.
- •17. Свойства отношений. Доказательство. Представление отношений в эвм.
- •18. Отношение эквивалентности. Класс эквивалентности.
- •19. Отношение порядка. Минимальный элемент.
- •20. Отношение преобладания (доминирования).
- •21. Симметричное отношение. Композиция отношений.
- •22. Функциональное отношение.
- •23. Типы отображений (инъекция, биекция, сюръекция).
- •24. Способы задания функций.
- •25. Функции алгебры логики.
- •26. Задание функций алгебры логики.
- •27. Существенная и несущественная переменные.
- •28. Примеры логических функций.
- •29. Представление булевых функций формулами.
- •30. Представление булевых функций формулами. Примеры.
- •31. Разложение булевых функций по переменным. Теорема.
- •32. Совершенная дизъюнктивная нормальная форма
- •33. Эквивалентные преобразования. Доказательство.
- •34. Правила подстановки, замены.
- •35. Некоторые эквивалентные преобразования.
- •36. Приведение дизъюнктивной нормальной формы к совершенной дизъюнктивной нормальной форме.
- •37. Замкнутые классы. Свойства замыкания.
- •38. Класс функций, сохраняющих значение 0.
- •39. Класс функций, сохраняющих значение 1.
- •40. Принцип двойственности. Класс самодвойственных функций.
- •41. Класс монотонных функций.
- •42. Класс линейных функций.
- •43. Алгебра Жегалкина. Полином Жегалкина.
- •44. Полином Жегалкина. Теорема.
- •45. Полнота.
- •46. Лемма о немонотонных функциях.
- •47. Лемма о нелинейных функциях.
- •48. Функциональная полнота. Первая теорема о функциональной полноте.
- •49. Функциональная полнота. Теорема Поста.
- •50. Логические исчисления.
- •51. Высказывания. Формулы.
- •52. Интерпретация формулы. Теорема.
- •53. Логическое следование и логическая эквивалентность.
- •54. Логические эквивалентности. Доказательство.
- •55. Исчисление высказываний.
- •56. Понятие предиката.
- •57. Понятие квантора. Квантор существования. Квантор всеобщности.
- •58. Исчисление предикатов.
- •59. Аксиомы исчисления предикатов. Правила логического вывода.
- •60. Графы. Типы задач теории графов.
- •61. Графы. Основные определения.
- •62. Способы представления графов.
- •63. Идентификация графов, заданных своими представлениями.
- •64. Обходы графов.
- •65. Степени вершин графа.
- •66. Операции с частями графа.
- •67. Маршруты, цепи, циклы.
- •68. Связные компоненты графа.
- •69. Расстояния в графе.
- •70. Диаметр, радиус, центр графа.
- •71. Произведение графов.
- •72. Прямое произведение графов.
- •73. Эйлеровы циклы.
- •74. Теорема Эйлера.
- •75. Эйлеровы цепи.
- •76. Гамильтоновы циклы.
- •77. Некоторые классы графов и их частей. Дерево и лес.
- •78. Концевые вершины и ребра.
- •82. Цикломатическое число графа.
- •83. Ориентированные графы. Пути и циклы в ориентированном графе.
- •86.Деревья
- •49.Функциональная полнота. Теорема Поста
- •94. Блок-схемы алгоритмов
- •95.Машины Тьюринга. Основные определения.Машина
- •96.Машины Тьюринга.Сложение
- •96.Машины Тьюринга.Копирование
- •80.Типы вершин
- •84.Начальные и конечные вершины. Ранги вершин
- •90. Бінарне дерево
- •79. Дерево с корнем. Ветви.
- •81. Центры деревьев. Теорема.
- •85. Отношение достижимости. Базисный граф
- •88.Способы представления деревьев
45. Полнота.
Система функций F называется функционально полной если любая ее функция может быть представлена формулой над F, т.е. в виде суперпозиции функций системы F.
F={конъюнкция, дизъюнкция, отрицание} – является функционально полной, так как любую булевую функцию можно представить в виде конъюнкций, дизъюнкций и отрицаний. Функционально полной будет любая система F, функции которой можно выразить через конъюнкции, дизъюнкции и отрицания. Для любой логической функции можно записать, заменив в ней все операции, отличные от конъюнкции, дизъюнкции и отрицания на эти функции.
F={конъюнкция, отрицание} – является полной так как по закону де Моргана и двойному отрицанию можно получить дизъюнкцию.
С точки зрения функциональной полноты система функций F={конъюнкция, дизъюнкция, отрицание} можно считать избыточной, так как либо конъюнкцию либо дизъюнкцию можно выразить через отрицание и дизъюнкции или конъюнкцию.
Однако
46. Лемма о немонотонных функциях.
Если система функций содержит немонотонную функцию, то подстановкой констант можно получить отрицание, то есть существует такая подстановка n-1 константы, что получится функция одной переменной, реализующая отрицание.
Существует сигма и тау такие что сигма>тау
f(сигма)>f(тау).
Это возможно, когда f(сигма)=1, а f(тау)=0
Если наборы сигма и тау отл к комп., то в этих к компонетах а наборе сигма стоят 1, а в наборе тау – 0.
Если взять набор сигма и заменить поочередно в этих к комп. 0 и 1, то пол последовательность омега.
<1<2<…<k-1<
Любые 2 набора стоящие радом отличаются только в одном комп., то есть я вл. соседними; очевидно, что в такой цепочке найдуться 2 набора j и j+1 такие что f(j)=1 f(j+1)=0, так как они отлиаются только в одном комп., то их можно рассматривать как функции одной переменной и получить следующее:
f(0)=1; f(1)=0 из немонотонной функции путем подстановки констант можно получить отрицание.
47. Лемма о нелинейных функциях.
Если f(x1, x2, …, xn) – нелинейная функция, то с помощью подстановок констант и использования отрицания из нее можно получить конъюнкцию и дизъюнкцию.
Рассмотрим функцию f(x1, x2, …, xn) – нелин.: значит ее полином Жегалкина содержит конъюнкцию нескольких переменных. Рассмотрим самую короткую из конъюнкций:
k=x1x2…xk
Пусть x3…xk=1, тогда k=x1x2
Вместо x1x2 рассмотрим роазные варианты подстановки констант, в этом случае коньюнкция будет иметь вид:
k=x1x2+x1+x2+
На каждом наборе , , посчитаем fi.
Поскольку каждая из fi является результатом подстановки констант в f, то получим конъюнкцию и дизъюнкцию.
48. Функциональная полнота. Первая теорема о функциональной полноте.
Теорема:
Для того, чтобы система ф-ций была функционально полной в слабом смысле необходимо и достаточно, стобы она содержала хотя бы одну немонотонную и хотя бы одну не линейную ф-ции.
Необходимость:
Классы монотонных и линейных функций замкнуты и содержат константы 0 и 1, поэтому если система функций содержаит немонотонную и нелинейную ф-ции, то их нельзя получить с помощью суперпозиций ф-ций из F.
Достаточность:
Пусть система содержит нелинейную и немонотонную функции, тогда по лемме 1 из немонотонной функции можно получить отрицание, а по лемме 2 из нелинейной ф-ции можно получить дизъюнкции, конъюнкцию с использованием отрицания.
Пусть задана система функций F={,}. Система ф-ций является полной в слабом смысле, так как конъюнкция является не линейной, а - немонотонной.
Является функция полной в слабом смысле так как она реализует константу 0, а константу 1 невозможно получить. Из того что конъюнкция – не лин. то по Лемме 2 можно получить дизъюнкцию и отрицание, т.к. сложение по модулю 2 – не монотонная то с его помощью можно получить отрицание.