- •2.Высказывания.Операции над высказываниями.
- •3. Тождественно истинные и тождественно ложные высказывания. Равносильные высказывания.
- •4.Суперпозиция функций. Бинарные отношения. Свойства бинарных отношений
- •5.Отношение порядка. Отношение эквивалентн. Бинарные опер.
- •6. Алгебры. Алгебра Кантора и булева алгебра. Изоморфизм. Операции над двоичными числами.
- •7. Булевы функции. Мощность множества булевых функций от переменных.
- •8. Элементарные булевы функции.
- •9. Формулы. Основные эквивалентности формул.
- •Порядок действий в формулах алгебры логики
- •10. Принцип двойственности. Двойственные булевы функции.
- •11.Теорема о разложении
- •12. Совершенные дизъюнктивные нормальные формы.
- •25. Перестановки с повторениями
- •26. Полиномиальная теорема. Принцип Дирихле.
- •27.Рекуррентные соотношения и производящие функции.
- •28. Принцип включения и исключения:
- •30. Схемы правильных рассуждений. Аксиоматические теории
- •32. Минимальные , кратчайшие и тупиковые днф.
- •33. Сокращённые днф. Построение сокращённых днф булевых функций методом Блейка.Пример.
- •34. Построение сокращённых днф булевых функций методом Квайна.Пример.
- •35.Построение Сокращенных днф геометрическим методом. Пример.
- •36. Построение минимальных днф с помощью карт Карно.
- •37. Метод Нельсона. (Построение сокращенной днф с помощью кнф).
- •38.Построение всех тупиковых днф. Алгоритм минимизации функций в классе нормальных форм.
- •39. Понятие о функциях k-значной логики. Их особенности.
- •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.Машины Тьюринга. Примеры. Функции, вычислимые по Тьюрингу.
39. Понятие о функциях k-значной логики. Их особенности.
Функция f(х1,х2,…,хn) аргументы которой определены на мн-ве Ek = {0, 1, 2, …, k – 1} назыв. функцией k-значной логики.
Произвольная n-местная функция к-значной логики может быть задана с помощью таблицы следующей:
В этой таблице kn – строк. Рк – множество всех
х1 |
… |
xn-1 |
xn |
f (x1,…,xn-1,xn) |
0 |
… |
0 |
1 |
f (0,0,…,0) |
0 |
… |
0 |
1 |
f (0,0,…,1) |
…… |
… |
…… |
…… |
……. |
0 |
… |
0 |
k-1 |
…… |
…… |
… |
…. |
…… |
….. |
k-1 |
……. |
k-1 |
k-1 |
f (k-1, k-1,…, k-1) |
Множество всех функций k-значной логики будем обозначать . В Pk часто употребляется задание таких функций, при помощи алгоритма вычислимости функций.
Следующие функции к-значной логики считаются элементарными:
Константы 0, 1, …, k-1
Отрицание Поста :=x+1 mod k.
Отрицание Лукашевича ~x = k-1-х;
Характеристическая функция 1го рода ;
Характеристическая функция 2го рода (возведение в степень);
xÙy = min{x,y}
xÚy=max{x,y}.
Сумма по модулю k x+y=(x+y) mod k;
Усеченная разность:
Импликация (x содержит в себе y) xy=
- функция Вебба.
Разность:
Пусть E будем говорить, что ф-ция f-сохраняет множество E, если "=(), таком, чтозначения ф-ции. Множество всех функций Pk ,сохраняющих мн-во E обозначим .и называется классом функций, сохраняющих множество Е. Очевидно, что класс ТЕ является замкнутым.
40.Графы. Изоморфизм графов.
Графом G называется совокупность двух мн-в G=(V, E), где V- мн-во вершин графа, а Е –мн-во ребер графа. Между вершинами и ребрами графа G устанавливают отношение инцидентности. Считают, что ребро инцидентно вершинам,если оно соединяет эти две вершины. При этом вершины,называются смежными.
Отношения инцидентности являются самым главным элементом графа, т.к. указывается способ объединении v и e в единый объект.
Ребра инцидентные одной и той же паре вершин назыв. кратными. Граф содер. Кратные ребра назыв. мультиграфом.
Ребро(дуга) концевые вершины которого совпадают назыв. узлом.
Вершина неинцидентная ни одному ребру назыв. изолированной.
Если граф состоит только из изолированных вершин, то он назыв. нульграфом.
Граф без петель и кратных ребер назыв. полным, если каждая его вершина соединена ребром.
Дополнением графа G называется граф имеющий те же вершины что и графG и содержащий только те ребра которые нужно добавить к G, что бы получался полный граф.
Локальной степенью вершины v n-графа G называется число равное кол-ву ребер инцидентных вершинеv. В n-графе сумма всех степеней равна удвоенному числу ребер графа, т.е.
,
Для вершин ор-графа определяют две локальные степени и, где-кол-во дуг исходящих из вершиныv, - кол-во дуг входящих в вершинуv.
Петля дает вклад 1 в обе эти степени. В ор-графе суммы этих степеней
Графы G=(V,E) и G'=(V',E') изоморфны (пишут G), если существует взаимно-однозначное соответствие между множествами V и V', сохраняющее смежность вершин (т.е. такое соответствие, при котором вершины vi и vj из множества V смежны тогда и только тогда, когда смежны соответствующие им вершины и из множества V' )