- •Содержание
- •Часть I Классическая математика ЧастьIi Дискретная математика
- •Раздел I элементы теории множеств.
- •§1 Определение множеств.
- •§2 Операции над множествами.
- •§3 Отношения между множествами.
- •§4 Основные свойства теоретико-множественных операций.
- •§5 Доказательство тождеств в алгебре множеств.
- •§6 Разбиение.
- •§7 Кортеж (вектор).
- •§8 Декартово (прямое) произведение.
- •§ 9 Отображение.
- •§10 График.
- •§11 Соответствие.
- •Основные свойства соответствий:
- •Cужение соответствия:
- •Прообраз соответствия:
- •Свойства прообразов соответствия:
- •§12 Отношение.
- •Раздел II. Элементы математической логики.
- •Часть 1. Исчисление высказываний.
- •§1 Высказывания.
- •§2. Свойства логических операций.
- •§3. Логические формулы.
- •§4. Функции алгебры логики (фал). (функции алгебры высказываний)
- •§5. Способы вычисления фал.
- •§6. Проблема разрешения.
- •§7. Аналитические способы представления фал.
- •§8 Интерпретация алгебры логики.
- •§8.1 Интерпретация алгебры логики в исчисление высказываний.
- •§8.2 Интерпретация алгебры логики в теории множеств.
- •§8.3 Интерпретация алгебры логики в теории конечных автоматов.
- •§9 Анализ простейших рассуждений.
- •§10 Методы доказательств.
- •§11 Предикаты.
- •§12 Кванторы.
- •§13 Формулы исчесления предикатов.
- •§13.1 Операции логики высказываний над предикатами.
- •§14 Равносильные формулы в исчислении предикатов.
- •§15 Подходы к построению выводов.
- •§16 Минимизация булевых функций.
- •§17 Геометрическое представление булевых функций.
- •§18 Методы минимизации булевых функций.
- •1. Метод неопределенных коэффициентов.
- •2. Метод минимизирующих карт (Гарвардский метод).
- •§19 Основные классы булевых функций.
- •Раздел III. Элементы теории графов.
- •§1 Основные определения.
- •§2 Связь бинарных отношений и графов.
- •§3 Связность в графах.
- •§4 Эйлеровы графы.
- •1. Учебники и учебные пособия.
- •2. Задачники.
- •1. Учебники и учебные пособия.
- •2. Задачники.
- •Учебники и учебные пособия.
§19 Основные классы булевых функций.
{ ¬ , & , V , ~ , → , ∆ , / , ↓ }
{ ∆ , / , ↓ } – добавочные.
1 класс. Р0 - класс булевых функций сохраняющие const 0.
это означает, что f(x1,...,xn) при xi=0, 1≤i≤n, то f(0...0) должно быть равно 0.
–мощность. Р0
= {f
│f
(0,…,0) = 0}
Р1 - класс булевых функций сохраняет const 1.
это означает, что f(x1,...,xn) при xi=1 равно 1.
–мощность. Р1
= {f
│f
(1,…,1) = 1}
2 класс. S - класс самодвойственных булевых функций.
![]()
Функция f*
называется двойственной по отношению
к f(x1,...,xn),
если имеет место следующее равенство
![]()
Функция является
само двойственной, если![]()
Функция является
само двойственной, если при взятии
отрицания всех переменных и плюс ко
всему отрицание самой функции мы получим
исходную функцию.
![]()
3 класс L - класс линейных функций.
Функция f(x1,...,xn) является линейной, если она представлена в виде полинома.
полином Жегалкина:
![]()
где Ci = const.
Пример линейной функции.
f(x1,x2)=x1∆x2.
4 класс. М – монотонные функции.
Возьмем 2 набора (кортежа) одной размерности
![]()
![]()
Набор x1
не меньше набора x2,
если для всех xi
выполняется
![]()
,
если
![]()
![]()
где 1=1, 0=0,
1=1, 1>0 =>![]()
Е
сли
=>
наборы не сравнимые.
Функция f
является монотонной, если в рассмотренных
наборах имеется такое условие:
![]()
5 класс симметричных функций S
функция f(x1,...,xn) является симметричной если она сохраняет свое значение при любой перестановке аргумента.
f(x1,...,xn)↔f(y1,...,yn)
где y1,...,yn – любая перестановка переменных.
Если взять функции одного(из данного) класса и применить к ним операции подстановки и суперпозиции, то получатся функции только данного класса.
Критерий Поста-Яблонского.
(критерий полноты системы булевых функций).
Для того, чтобы {f1,...,fm} – система функций была полной, необходимо и достаточно, чтобы она содержала хотя бы 1 функцию:
- Не сохраняющую
нуль (
)
- Не сохраняющую
единицу (
)
- Не являющуюся
самодвойственной (
)
- Не являющуюся
линейной (
)
- Не являющуюся
монотонной (
)
Примеры полных систем:
{ ¬ , & , V }
{ ¬ , & }
{ / }
{ ↓ }
{ ∆ , & , const f(0) }
Раздел III. Элементы теории графов.
§1 Основные определения.
Графы возникли в результате рассмотрения изображения на плоскости, состоящее из точек на плоскости.
П
усть
задано множествоV
– множество вершин графов
.
Множество вершин графов может быть как конечными, так и бесконечными.
Графом G↔G(V)
называется совокупность пар чисел типа
E=(a,b),
где объекты a
и b
принадлежат множеству вершин графа,
т.е.
и
.
Пусть граф содержит 4 вершины и они соединены ребрами l1, l2, l3.
V={υ1, υ 2, υ 3, υ 4}
{ (υ 1 υ 2), (υ 1 υ 3), (υ 2 υ 3)} – множество ребер графа G.
В зависимости от вида ребер графы могут быть неориентированными или ориентированными (орграфы) и смешанные.
Неориентированные графы содержат ребра вида E=(a,b)=(b,a).
Граф называется неориентированным, если выполняется E=(a,b)=(b,a), если это условие не выполняется, то граф называется ориентированным или орграфом и обозначается стрелкой.

неориентированный граф, ориентированный граф
т.к. (a,b)=(b,a) т.к. (a,b)≠(b,a)
Граф называется смешанным, если содержит и ориентированные и неориентированные вершины графов.
Простейшие примеры графов.
1. План города.
Улицы – ребра города.
Перекрестки – вершины города.
Г
раф,
соответствующий данному плану города
может быть неориентированным, если
разрешено двухстороннее движение.
Если разрешено лишь односторонне движение, то граф ориентированный.

Вся теория графов возникла с решением Эйлером, задачей о Кёнигсбергских мостах.
Большими латинскими буквами обозначены части города (сухопутного), малыми латинскими буквами – мосты.

Возможно ли начав путь в части города А и пройдя ровно 1 раз по всем 7 мостам вернуться снова в часть А.
Построим граф плана.
Эйлеровый цикл


2. Электрическая схема.
![]()
э
лементы
схемы – вершины графа, связывающие их
проводники – ребра, кроме того контакты
проводников тоже обозначаются как
вершины.
Сложное разветвление ребра называется ребром гиперграфа.

Теория графов имеет большое применение в автоматах из проектирования ЦВМ.
Задана логическая схема устройства, в результате решения задачи необходимо получить (синтезировать) конструкцию конечного устройства.
Обозначения логических формул по частям:
1.«И» 2.«ИЛИ» 3.«НЕ» «И-ИЛИ-НЕ»




конъюнкция
дизъюнкция
отрицание

П
ростейшая
микросхема (по этому принципу составляют
машины 3 поколения).
Э
лектрическая
схема вычислительного устройства
формализуется в виде графа. Пусть дана
схема для того чтобы ее формализовать
необходимо создать несколько микросхем.
Процесс проектирования рассмотрим по
этапам:
1 ЭТАП
Исходная электрическая схема представляется в виде графа в котором вершины соответствует логическим элементам схемы, а ребра электрическим связям (кодовым шинам), соединяет указанные элементы.
Перейти от графа G к графу G1 – вершины которого представляют собой микросхемы выбранной серии, а ребра, соответствуют связям между микросхемами, присутствующими в электрической схеме.
Серия микросхем, включенная в состав микросхемы типа, который образует полный базис логической функции.
Это необходимо чтобы процесс (проект) представить алгоритмически и составить программу для вычислительных машин, которые автоматически выполнила бы работу конструкции.
2 ЭТАП
Это описание микросхем в виде графа. Включающий в себя автоматически проект ТЭЗов (типовой элемент замены), содержит множество микросхем ТЭЗ – некоторая печатная плата. Из ТЭЗов строится ВМ.
Задача создания ТЭЗ сводится к проблеме разбиения графа G1 на части соответствующим определенным ТЭЗам.
3 ЭТАП
Необходимо разбить всю схему ВМ на отдельные блоки.
Проектирование 1 ТЭЗа инженером- конструктором занимает 35 – 40 дней. Комплекс программ автоматической конструкции для ЭВМ ЭС-10-22 позволяет выполнять проект ТЭЗа за 1 час машинного времени.
Дальнейшие определения.
частью Н графа G называют произвольное подмножество вершин графов и некоторых ребер графа Н. (обозначают
)под графом G1 графа G называется такая его часть которая вместе с вершинами этой части содержит все соединяющие эти вершины ребра.
Если имеется ребро L, соединяющие вершины υ1 и υ 2 графа G, то ребро L называют инцедентным вершинам υ 1 и υ 2 и обратно вершины υ 1 и υ 2 называют инцидентными ребру L.
Описание графов с помощью матриц.
1. M1(G) – матрица графа G смежности вершин. Она предоставляет собой таблицу строки и столбца который представляет вершины.
|
|
υ1 |
υ2 |
…. |
…. |
…. |
…. |
υj |
|
υ1 |
|
|
|
|
|
|
|
|
υ2 |
|
|
|
|
|
|
|
|
υ3 |
|
|
|
|
|
|
|
|
…. |
|
|
|
|
|
|
|
|
υi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
локальной степенью вершины υ называется число P(υ), которое равно числу ребер графа инцидентных вершине υ.
кратностью (ребра) (υ1, υ2) называют число ρ(υ1, υ2); число ребер, которые связывают вершины υ1 и υ2.

В общем случае на месте υi и υj в матрице М1(G) ставится кратность ρ(υi, υj) = 0
Существует такая формула.
![]()
Vl – число ребер графа G
Vl=Vl(G)
![]()
Любое ребро учитывая сразу в двух степенях инцидентных вершин. Сумма всех локальных степеней четна.
![]()
это равенство остается справедливым если из числа ссуммирующих вершин выбросить вершины графа имеющие четную локальную степень.
Лемма рукопожатий. На конечном графе число вершин нечетной степени четно (её вывел Эйлер).
2) М2(G) – матрица инциденции графа, (где строки есть), это таблица, где строки есть ребра графа.
|
|
l1 |
l2 |
…. |
…. |
…. |
…. |
li |
|
υ1 |
|
|
|
|
|
|
|
|
υ2 |
|
|
|
|
|
|
|
|
υ3 |
|
|
|
|
|
|
|
|
…. |
|
|
|
|
|
|
|
|
υj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
εij = -1, если υj – конечная вершина ребра li,
εij = 0, если υj не является инцидентным li.
3) M3(G) матрица смежности ребер
|
|
l1 |
l2 |
…. |
…. |
…. |
…. |
li |
|
l1 |
|
|
|
|
|
|
|
|
l2 |
|
|
|
|
|
|
|
|
l3 |
|
|
|
|
|
|
|
|
…. |
|
|
|
|
|
|
|
|
lj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, если ребра
li
и lj
имеют хотя бы одну
общую вершину и
различны.
φ(i, j)
0, если i = j
