![](/user_photo/2706_HbeT2.jpg)
- •Введение
- •Дискретная математика
- •Бинарная операция ассоциативна, если тождественно выполняется: ;
- •4.Классы булевых функций :
- •X1 x2 X
- •5. Теория полноты
- •I этап :
- •3 Случай :
- •II этап :
- •1); 2); 3); 4).
- •1) ; 2); 3);
- •4) ; 5);
- •5.4. Полные системы в классах т0, т1, м, s, l.
- •5.5 Базисы в классах t0 , t1, s, m, l Все полные системы для классов t0, t1, s, m, l в утверждениях выше являются базисами для этих систем.
- •6 .Минимизация булевых функций
- •1 Этап:
- •2 Этап:
- •Достаточно ясна связь задачи нахождения тупиковых покрытий и минимизации функции покрытия.
- •7. Исчисления высказываний
- •8. Семь теорем
- •Доказательство полноты исчисления высказываний.
- •Представление графов
- •1. Задание графа с помощью матрицы смежности.
- •2. Задание графа с помощью матрицы инцидентности.
- •3. Задание графа с помощью списка смежности.
- •Связные графы
- •Алгоритмы нахождения компонент связности
- •1. Поиск в ширину
- •2. Поиск в глубину
- •Укладки графов
- •Теорема Эйлера
- •Критерий Понтрягина-Куратовского
- •Раскраски графов
- •Основные понятия комбинаторики.
- •1 1.2 Упорядоченные наборы элементов изn-данных
- •1.3 Неупорядоченные наборы элементов изданных без повторений.
- •1.4 Неупорядоченные наборы элементов изп данных с возможными повторениями.
- •2 Метод включения-исключения.
- •Упражнения.
- •3 Метод производящих функций
- •1324 0100.
- •4 Основы теории перечисления Пойа. Лемма Бернсайда.
- •Упражнения.
- •Глава. Основы схем из функциональных элементов.
- •1) Мультиплексор порядка
- •2) Дешифратор порядка .
- •3) Универсальный многополюсник.
- •Глава. Введение в теорию конечных автоматов.
- •Глава. Введение в теорию кодирования.
- •Теория кодирования.
8. Семь теорем
2)
.
Запишем аксиому а3 в следующем виде:
вместоВ
подставим формулу А,
а вместо А
подставим
примем двойное отрицание А за гипотезу, тогда по предположению выводится
Теперь из пунктов 1 и 2 выводится правая часть формулы
(теорема 1)
следовательно по т1 и 3 выводится
по теореме дедукции
3)
Запишем аксиому а3, подставив вместоВ
,
тогда а3=
по 2) и 1 выводится правая часть
принимаем А за гипотезу, тогда по пр.
из пунктов 2, 3 по МР
4)
запишем третью аксиому а3
(пр.)
применяя ТД второй раз получаем
5)
запишем аксиому а3
применяя ТД дважды, получаем требуемую формулу
6)
Запишем предыдущую теорему в виде
гипотеза
Примем
за гипотезу, и выведем из нее посылку
.
Тогда
вывод теоремы непосредственно следует из теоремы дедукции и теоремы 5.
Чтобы
реализовать указанную цель, принимаем
за
гипотезу.
Тогда
2.
,
3
4
из
пунктов 2,3 получаем ,
|-
Тогда цель выполнима по теореме дедукции из предыдущегопункта 4.
7)
запишем а3
запишем 6) в следующем виде:
по МР, следовательно по ТД из
по ТД
8)
запишем а3
покажем предыдущие
, таким образом второй пункт доказан
ТД первый раз
ТД
второй раз
Доказательство полноты исчисления высказываний.
Осталось показать, что всякая тавтология выводима в исчислении высказываний.
Лемма:
Пусть
- формула от переменных
над связками
.
Пусть
набор
значений переменных.
.
Покажем
из гипотез
Здесь
если
;
если
если
;
,
если
Доказательство
индукцией по числу связок в формуле
.
Число
связок равно 0
:
;
Утверждение справедливо.
Пусть
утверждение справедливо для любых
формул
с не более чем
связками
;
.
Покажем
справедливость для F
с i+1
связкой
1.
F1
и F2
– формулы с не более чем i
связками
Рассмотрим
произвольный набор
переменных
.
А)
Пусть
гипотезы соответствующие набору
По индуктивному предположению :
;
;
а1.
(
)
1.
а1.
5.
1. (
)
что
и требовалось
В)
;
;
4.
что и требовалось
С)
1.
;
2.
;
а1.
.
D)
1.
;
2.
;
7.
.
(
что и требовалось
2.
a)
это и естьF’
b)
это и естьF’
Утверждение :
Любая
тавтология
выводима.
Рассмотрим
два произвольных набора значений
переменных
отличающихся последней компонентой.
Пусть
гипотезы которые соответствуют этим
наборам будут
и
,
тогда в силу предыдущей леммы и того,
чтоF
тавтология имеем:
;
;
то:
По
восьмой теореме
имеем
. В силу того что
произвольно, точно так же можно избавиться
от
.
Пока
не избавимся от всех гипотез и придем
к
.
Упражнения:
Доказать:
Графы.
Определение.
Неориентированным
графом
называют пару ,
где
– множество вершин графа,
– множество неориентированных
ребер
графа, и последнее множество есть
некоторое подмножество множества всех
неупорядоченных пар вершин
.
Пример.
Пусть
множество вершин состоит из трех
элементов. Следовательно, неупорядоченными
парами будут следующие двухэлементные
подмножества трехэлементного множества
:
Для графов удобно планарное представление, где вершинам графа соответствуют точки плоскости, а неориентированным ребрам соответствуют отрезки, соединяющие соответствующие пары вершин.
Пример.
Ребро, у которого оба конца являются
одной и той же вершиной, называется
петлей. В примере петлей является ребро
.
Определение.
Ориентированным
графом
называют пару ,
где
–
множество вершин графа,
– множество упорядоченных пар вершин
– ориентированных
ребер,
и это есть некоторое подмножество
декартова произведения
:
Пример.
Множество
вершин состоит из трех элементов .
Тогда упорядоченными парами вершин
будут следующие:
Для ориентированных графов удобно планарное представление, где вершинам соответствуют точки плоскости, а ребрам соответствуют ориентированные линии, которые соединяют в определенном направлении соответствующие пары вершин.
Пример.
Ориентированное
ребро, у которого оба конца являются
одной и той же вершиной, называется
петлей. В примере петлей является ребро
.