- •Множества. Операции над множествами.
- •Законы алгебры множеств.
- •Мощность множества. Теорема о числе подмножеств конечного множества.
- •Бинарные отношения и их типы
- •Отношение эквивалентности. Теорема о разбиении множества на классы.
- •Перестановки и сочетания
- •Формулы о подсчете числа подстановок из сочетаний с повторениями и без повторений.
- •Высказывания. Операции над высказываниями.
- •Булевы функции
- •12. Законы равносильности. Доказать законы Де Моргана.
- •13. Формулы алгебры логики, их классификация и примеры.
- •14. Алгоритмы определения типа формулы.
- •15. Двойственные формулы. Принцип двойственности.
- •20. Сднф и алгоритмы ее построения.
- •21. Скнф и алгоритмы ее построения.
- •22. Теорема о разложении.
- •23. Контактные схемы.
- •24. Логические схемы.
- •26.Область истенности булевой фун-ции. Покрытие обл. Заданной в днф.
- •27.Метод Блейка,Нельсона, графический метод.
- •28. Минимальная днф. Метод инпликантных матриц.
- •29.Сокращенная днф. Теорема о связи сднф и мднф.
- •30. Тупиковая днф. Теорема о связи тднф и мднф
- •31.Алгоритмпостроения тупиковой днф
- •41. Квантор общности. Теорема о применении квантора общности для предиката определенном на конечном множестве.
- •42. Квантор существования. Теорема о применении квантора существования для предиката определенного на конечном множестве.
- •43. Законы алгебры логики предикатов.
- •44. Тождественно истинные предикаты, примеры. Теорема о тождественно истинных предикатах.
- •45. Тождественно ложные предикаты и теорема о тождественно ложных предикатах.
- •46. Понятие следствия и равносильности предикатов, примеры.
- •47. Формулы алгебры логики предикатов и их классификация.
- •48. Законы Де Моргана для алгебры логики предикатов.
- •49. Закон пронесения квантора общности через конъюнкцию.
- •50. Закон пронесения квантора существования через дизъюнкцию.
- •51.Закон пронесения квантора общности и существования через импликацию.
- •53. Детерминированные функции и графическое изображение (примеры).
- •54. Ограничено-детерминированные функции.
- •55. Диаграммы Мура.
- •56. Канонические уравнения ограничено-детерминированных функций.
- •57. Машины Тьюринга.
- •58. Простейшие функции. Теорема о простейших функциях.
- •59. Операция примитивной рекурсии. Примитивно-рекурсивные функции. Примеры.
- •60. Операция минимизации. Рекурсивные функции.
- •61. Тезисы Тьюринга и Черча. Теорема о связи между рекурсивными функциями и функциями вычислимыми по Тьюрингу (без доказательства).
- •62. Графы. Способы задания графов.
- •63. Формула Эйлера.
- •64. Графы к3,3 и к5,5. Теорема.
- •65. Плоские графы. Теорема о плоских графах (без доказательства).
- •66. Эйлеровые графы. Теорема о Эйлеровых графах. Гамильтоновы графы.
- •67. Деревья. Теорема о деревьях (без доказательства).
- •68. Предмет теории кодирования, алфавитное кодирование.
- •69. Префиксный код. Теорема о префиксном коде.
- •70. Разделимый код. Теорема Маркова (без доказательства).
62. Графы. Способы задания графов.
Граф — это совокупность непустого множества вершин и множества пар вершин (связей между вершинами).
Граф можно задать графически, аналитически и с помощью матрицы. Графы принято изображать рисунками, состоящими из точек, называемыми вершинами, и линий, называемыми дугами, соединяющими две вершины графа. Форма дуг несущественна, важен только сам факт соединения вершин. Дуги могут пересекаться, но точки пересечения не являются вершинами графа. Если дуги имеют направление, отмеченное стрелкой, то такие графы называются ориентированными или орграфами. Дуги графа часто называют ребрами. Дуги, соединяющие две одинаковые вершины не ориентированного графа, называются кратными. Дуга, выходящая из вершины и входящая в нее, называется петлей. Дуги орграфа называются параллельными, если они соединяют две одинаковые вершины графа и имеют одно направление. Дуги орграфа называются противоположными, если они соединяют две одинаковые вершины графа и противоположно направлены. Две вершины графа называются смежными, если они соединены дугой, иначе они называются несмежными. Вершина графа (орграфа) называется изолированной, если она не соединяется дугой с другими вершинами графа. Граф с кратными дугами и петлями называется псевдографом. Ориентированный псевдограф соответственно имеет параллельные дуги и петли.
63. Формула Эйлера.
Граф, который можно нарисовать так, чтобы его рёбра не пересекались, называется плоским.
Нарисованный без пересечений плоский граф разбивает плоскость на куски. Такие куски называются гранями. Обозначим число вершин графа через В, число рёбер через Р, число граней через Г, тогда справедлива Формула Эйлера:
В - Р + Г = 2
64. Графы к3,3 и к5,5. Теорема.
Граф К3,3 Граф К5
65. Плоские графы. Теорема о плоских графах (без доказательства).
Плоский граф — граф, уложенный на плоскость. Граф называется планарным, если он изоморфен некоторому плоскому графу. Граф укладывается на некоторой поверхности, если его можно на ней нарисовать без пересечения ребер. Уложенный граф называется геометрическим, его вершины — это точки плоскости, а ребра — линии на ней. Области, на которые граф разбивает поверхность, называются гранями.
Граф К3,3 Граф К5
Теорема: граф G содержит подграф, гомеоморфный K5 или K3,3, невозможно разложить на плоскости. Верно и обратное.
66. Эйлеровые графы. Теорема о Эйлеровых графах. Гамильтоновы графы.
Цепь называется эйлеровой, если она является простой и проходит по всем ребрам графа. Эйлеровым циклом называется простой цикл, проходящий по всем ребрам. Граф, имеющий эйлеровый цикл, называется эйлеровым графом.
Теорема: Для того чтобы связный граф был эйлеровым необходимо и достаточно, чтобы степени всех вершин его были четными.
Элементарный цикл, проходящий через все вершины, называется гамильтоновым циклом, а соответствующий граф – гамильтоновым графом.