Міністерство освіти і науки України
Херсонський національний технічний університет
Кафедра економічної кібернетики
Контрольна робота з дисципліни:
Дискретна математика
Виконала:
студентка групи 1зКСМ
Петрова К.В.
перевірив: ст. викладач
Хапов Д.В.
Херсон 2005
Завдання 1. Прийнявши множину перших 20 натуральних чисел у якості універсуму , запишіть його підмножини:
– парних чисел;
– непарних чисел;
– квадратів чисел;
– простих чисел;
і запишіть, які одержуються в результаті наступних операцій: .
Рішення
;
;
.
Завдання 2. Множини представлені кругами Ейлера. Записати за допомогою операцій над множинами вирази для множин, відповідно заштрихованим областям:
Рішення :
Завдання 3. Виходячи із відношення належності доведіть тотожність:
.
Рішення:
Завдання 4. Доведіть тотожності, користуючись властивостями операцій над множинами:
.
Рішення:
.
(теорема де Моргана)
Завдання 5. Дані дві множини і і задане бінарне відношення . Для даного відношення:
а) Записати область визначення і область значень;
б) Визначити переріз по кожному елементу із ;
в) Визначити переріз по підмножинам і множини ;
г) Записати матрицю і накреслити граф;
д) Визначити симетричне відношення .
; ;
;
; .
Рішення:
а)
б) |
|
|
|
|
|
|
|
|
|
в) ;
.
|
|
|
|
г)
a | b | c | d | e | |
k | 1 | 0 | 1 | 0 | 1 |
l | 1 | 0 | 1 | 1 | 1 |
m | 1 | 0 | 0 | 1 | 1 |
n | 0 | 1 | 1 | 0 | 0 |
д) .
Завдання 6. Які властивості мають бінарні відношення, задані в деякій множині людей і виражені співвідношенням ()? Довести: « старший від ».
Рішення:
Завдання 7. Записати композицію відношень і . Перевірити результат за допомогою операцій над матрицями і графами заданих відношень:
Рішення:
, , .
x1 | x2 | x3 | |
z1 | 1 | 1 | 1 |
z3 | 0 | 0 | 1 |
z4 | 0 | 0 | 1 |
z5 | 0 | 0 | 1 |
x1 | x2 | x3 | |
y1 | 0 | 1 | 1 |
y2 | 1 | 1 | 0 |
y3 | 0 | 0 | 1 |
y1 | y2 | y3 | |
z1 | 1 | 1 |
0 |
z3 | 0 | 0 | 1 |
z4 | 0 | 0 | 1 |
z5 | 0 | 0 | 1 |
Завдання 8. Скласти матрицю і намалювати граф відношення порядку на множині . Знайти мажоранти, міноранти підмножини
, , , , :
«бути дільником» на
, .
Рішення:
2 | 4 | 6 | 7 | 8 | 9 | 10 | 15 | 18 | 54 | |
2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
4 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
6 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
7 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
8 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
9 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
10 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
18 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
54 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
Мажоранти – {54, 18};
Міноранти – немає;
Sup(Q) = 18;
Inf(Q) – немає.