ЛИТЕРАТУРА • Новиков, Ф.

ЛИТЕРАТУРА • Новиков, Ф. А. Дискретная математика для программистов: Питер, 2005. – 364 с. • Кузнецов, О. П. Дискретная математика для инженера: М. : Энергия, 1980. – 409 c. • Лащенко А. П. Основы дискретной математики: Мн. БГТУ, 2009. – 53 с.

Символы • – символ, называемый квантором общности; • – символ, называемый квантором существования; • – символ следствия ; • – символ эквивалентности ; • & ( ) – символ конъюнкции; • – символ дизъюнкции; • – принадлежит, А В; • – подмножество, А В.

Задание множеств • перечислением элементов: М : = {a 1, a 2, . . . , ak}; • характеристическим предикатом: М : = {х | Р(х)}; • порождающей процедурой: М : = {х | х : = f}.

Представление множеств итераторами For x Є X do S(x) end for

Пример • М 9: = {1, 2, 3, 4, 5, 6, 7, 8, 9}; • M 9: = {n | n N & n < 10}; • М 9: = {n | n : = 0; for i from 1 to 9 do n : = n + l; yield n end for}.

Пример • Пусть А = {a 1, a 2, …, an}, SB = 1 … n, где

Пример • А = {1, 2, 3, 4} • 0101, 1111, 1000, 0100, 0111, 0001 • {3}, {4, 3}, {1, 3}, , {2, 3, 4}, {1, 4, 3}, {1, 2, 3, 4}.

Решение • {2, 4}, {1, 2, 3, 4}=A, {1, 4}, {1}, {2, 3}, {2, 3, 4}, {4}. 0010, 0011, 1010, 0000, 0111, 1011, 1110, 1111.

Объединением множеств А и В А В = {х | (х А) (х В)}.

A B A B

Пересечением множеств А и В • А В = {х | (х А)&(х В)}.

A B A B

Разностью множеств А и В • АВ = {x | (x A)&(x B)}.

A B A B

Дополнением множества А • = {x (x U)&(x A)}, • = UA.

U A

Симметрическая разность множеств А и В А В) называется множество (АВ) (ВА) = (А В)(А В).

U A B а б

Свойства операций 1. Идемпотентность A U A = A A ∩ A = A 2. Коммутативность A U B = В U A A ∩ B = В ∩ A 3. Ассоциативность A U (B U C) = (А U B) U C A ∩ (B ∩ C) = (А ∩ B) ∩ C

Свойства операций 4. Дистрибутивность A U (B ∩ C) = (А U B) ∩ (A U C) A ∩ (B ∩ C) = (А ∩ B) U (A ∩ C) 5. Поглощение (А ∩ B) U A = A (А U B) ∩ A = A

Свойства операций 6. Свойства нуля A U Ø = А A ∩ Ø = Ø 7. Свойства единицы A U U = U A ∩ U = A 8. Инволютивность = A

9. Законы де Моргана

Свойства операций 10. Свойства дополнения A U = U A ∩ = Ø 11. Выражение для разности A B = A ∩

Кортеж а = (а 1, …, аn) (а 1, …, аm) = (b 1, …, bn) m = n и а 1 = b 1, а 2 = b 2, …, аm = bm

Прямым произведением множеств А и В А В = {(а, b) | а А, b В}

Y A×B b B a X O A

Пусть А : = {1, 2}, В : = {1, 3, 4} А В = {(1, 1), (1, 3), (1, 4), (2, 1), (2, 3), (2, 4)} В А = {(1, 1), (1, 2), (3, 1), (3, 2), (4, 1), (4, 2)} А В В А.

V : = {1, 2, 3, 4, 5), (2, 1, 3, 5, 5), (3, 3, 3)} пр2 V = {2, 1, 3}, пр2, 4 V = {(2, 4), (1, 5), (3, 3)}.