Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
diskretka.docx
Скачиваний:
27
Добавлен:
01.12.2018
Размер:
148.02 Кб
Скачать

24. Свойства алгебры множеств

1) Коммутативность

AB=BA

AB=BA

2)Ассоциативность

A(BС)=(AB)C

A(BС)=(AB)C

3) а)Дистрибутивность пересечения относительно объединения

A(BС)=(AB)(AC)

б)Дистрибутивность объединения относительно пересечения

A(BС)=(AB)(AC)

4) AU=A

AØ=A

5) Идемпотентность

AA=A

AA=A

6) A(AB)=A (AB)A=A

A(AB)=A (AB)A=A

7) A=U – Закон исключения третьего

A=Ø – Закон противоречия

8) AU=U

A Ø= Ø

=U

= Ø

9)Законы Де Моргана

=

=

10) A\B=A

11) Закон двойного отрицания

=A

25. Определение Декартового произведения

Если X = Y, и то говорят, что R - бинарное отношение на множестве X. Такое отношение называется

  • рефлексивным, если

  • симметричным, если

  • антисимметричным, если

  • транзитивным, если

  • полным (или линейным), если

26. Степень множества и его мощность.

Степень P(a) = это множество всех подмножеств. P(a)=2n, где n – количество элементов.

Мощность m – количество элементов множества.

27. Бинарные отношения на множестве

Все пары элементов (a,bM между которыми существует отношение R образуют подмножества (бинарные) из множества всех возможных пар элементов прямого произведения MxM=M2 называемым бинарным отношением R

Область определения – DR={x|существует такое b, что aRb}

Область значений – QR={b|<a,bR}

28. Свойства бинарных отношений

А) Рефлексивность

Бинарное отношение рефлексивно если для каждого элемента aϵM данное бинарное отношение выполняется aRa – т.е. элемент а похож на себя (отношение «жить в одном городе»)

Б) Антирефлексивность

Бинарное отношение антирефлексивно если для каждого элемента aϵM отношение aRa не выполняется (отношение «быть сыном»)

В) Симметричность

Отношение R симметрично если для любой пары <a,bMxM Бо выполняется в обе стороны – aRb и bRa (отношение «учиться в одном колледже»)

Г) Антисимметричность

Бинарное отношение R антисимметрично, если ни для каких различающихся элементов a и b не выполняется aRb, bRa (отношение «быть начальником»)

Д) Транзитивность

Бинарные отношения транзитивны, если для любых элементов a,b,c выполняется aRb и bRc => aRc (отношение «быть братом»)

29. Отношение эквивалентности.

Отношением эквивалентности называется бинарное отношение, если оно обладает свойствами рефлексивности, симметричности и транзитивности)

30. Отношение порядка

Отношением порядка называется бинарное отношение, если оно обладает свойствами рефлексивности, антисимметричности и транзитивности.

Предикаты

31. Что называется предикатами, примеры предикатов

Предика́т (n-местный, или n-арный) — это функция с множеством значений {0,1} (или «ложь» и «истина»), определённая на множестве (произвольном множестве). Таким образом, каждый набор элементов множества M характеризуется либо как «истинный», либо как «ложный».

Предикат P(x1,..xn)=1 – называется тождественно истинным.

Предикат P(x1,..xn)=0 – называется тождественно ложным.

Т.к. предикаты принимают значения только из множества {0;1} к ним применимы все свойства булевой алгебры.

Пример:

Предикат ЛЮБИТ(x,y) для отношения «x любит y»

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]