- •Содержание
- •Часть 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. Задачники.
- •Учебники и учебные пособия.
§6 Разбиение.
Р
Возьмем универсальное
множество U
и выделим некоторое подмножество
А = {х
:
U
| P(х)},
= {х
U
|
(х)}
А U
![]()
По одному свойству
универсальное множество делится
(разбивается) на два подмножества А и
,
обладающие такими свойствами:
1) А
=
, 2) А
=
U
Возьмем два свойства: Р(х), Q(х). Тогда универсум U разбивается на 4 подмножества:
I, II, III, IV.
А В
I
III
II
IV
U
U
| P(х)}
- I
В = {х
U
| Q(х)}
- II
А
В
= {х
U
| P(х)
и Q(х)}
- III
U\(А
В)
= {х
U
|
(х)
и
(х)}
-IV
1)
![]()
2)
![]()
Если P1, P2,…, Pn свойства, то по этим n свойствам разбиваем множество U на 2n частей.
1.
,
;i,
j![]()
2.
.
Операции над множествами, удовлетворяющими свойствам 1 и 2, называются разбиением множеств. Части множеств Ki называются классами.
§7 Кортеж (вектор).
Кортежи принято
обозначать
…
Если раньше мы считали, что {a, b} = {b, a}, то в кортеже такие перестановки не возможны.
=<a,
b>
- кортеж.
=<a1,
a2,…,
an>,
где a1…an
– компоненты
(элементы) кортежа.
=
< > – пустой кортеж.
=<a>
– кортеж из одной компоненты.
=<a,
b>
– кортеж из 2-х компонент.
={{a},
{a,
b}}
– эта запись означает, что кортеж
состоит из двух элементов, в расположении
двух элементов первым стоит а.
=<a1,
а2,…,аn>
– кортеж из n
компанент.
Если указана
природа элементов кортежа
и строится кортеж
=<a1,
а2,…,аn>,
то говорят, что имеем кортеж
над множеством М.
Свойства кортежей:
1) <a,
b>
<b,
а>;
2) два кортежа
и
равны между собой тогда и только тогда,
когда равны их компоненты, стоящие на
одинаковых местах и количество компонент
совпадает:![]()
![]()
3) Проектирование кортежей

![]()
Операция разложения вектора по осям называется
проектированием кортежа (а1 и а2 – проекции)
(n=m)

a3
а1
α
а2
пр1
= а1
пр2
= а2
пр3
= а3
аi
= прi
= <a1,…,ai,…an>
прi1,
i2…ik
= <a1,
a2,…ai1,
ai2,…aik,…an>
= <ai1,
ai2,…aik>
Проекция кортежа
на несколько осей есть кортеж. Если
говорят, что элементы кортежа
берутся из конкретного множества М, то
можно говорить о проекции кортежа
над множеством М.
Свойства кортежей:
1. рефлексивность:
=
.
2. симметричность:
если кортеж
равен кортежу
,
то очевидно, что
=
.
3. транзитивность.
Если кортеж
равен кортежу
,
а он в свою очередь равен кортежу
,
то кортеж
равен кортежу
:
[
=
;
=
]
=>
=
.
§8 Декартово (прямое) произведение.
Df1.
Декартовым произведением двух множеств
А и В называется множество
,
содержащее упорядоченные пары (кортежи),
первые компоненты которых принадлежат
множеству А, а вторые компоненты –
множеству В.
= {<a,
b>| a
A,
b
B}
Е
сли
= n , то
= n
m
= m
–очевидно
Df2. Декартовым произведением А1, … Аn, называется выражение
= {<
>|
a1
A1,
a2
A2,…
an
An}
Свойства декартового произведения:
1. В отличие от
рассмотренных ранее произведений в
декартовом произведении не выполняется
свойство коммутативности
![]()
Пример:
А = {1, 2, 3} B = {4, 5}
= {<1, 4>,<1, 5>,<2,
4 >,<2, 5>,<3, 4>,<3, 5>}
= {<4, 1>,<4, 2>,<4,
3 >,<5, 1>,<5, 2>,<5, 3}
2.
![]()
3. Если рассматривать
n
множеств, причем
,
то можно говорить оn-ой
степени. Это значит, что берется декартово
произведение n
одинаковых множеств:
=
Аn
