Контрольная работа по дискретной матиматике

No1 Доказать равенства, используя свойства операций над множествами и определения операций. Проиллюстрировать при помощи диаграмм Эйлера-Венна. а) (A\B) Ç (A\C) = A \ (BÈ C) б) (AÇ B) ́ C=(A ́ C)Ç (B ́ C).
No2 Даны два конечных множества: А={a,b,c}, B={1,2,3,4}; бинарные отношения P1 Í A ́ B, P2 Í B2. Изобразить P1, P2 графически. Найти P = (P2P1)–1. Выписать области определения и области значений всех трех отношений: P1, P2, Р. Построить матрицу [P2], проверить с ее помощью, является ли отношение P2 рефлексивным, симметричным, антисимметричным, транзитивным. P1 = {(a,1),(a,2),(b,3),(c,2),(c,3),(c,4)}; P2 = {(1,1),(2,1),(2,2),(2,3),(2,4),(3,3),(4,4)}.
No3 Задано бинарное отношение P; найти его область определения и область значений. Проверить по определению, является ли отношение P рефлексивным, симметричным, антисимметричным, транзитивным. P Í R2, P = {(x,y) | x2 + y2 = 1}.
.......................................................................................................

Зачет.
2012