Име и презиме____________________________________ Бр.

Индекс___________
Професор кај кој го слуша предметот_____________________________________

Втор колоквиум
Дискретна математика 1
I група

Време за работа:
150 минути

1. а) (4) Дефинирај унија на множества А и В и партитивно множество на множество А.

Решение: А∪В = {x|x∈A ∨ x∈B} P(A) = {X|X⊆A}

б) (5)Нека А={1,2,3,{1,a}}. До точните тврдења напиши ДА, а до неточните НЕ:

i) {a}œB(A) ___НЕ______

ii) aœA ___НЕ______

iii) {{1}}œB(A) ___НЕ______

iv) {1}œB(A) __ДА_______

v) {1,a}ŒA ___НЕ______

2. Да се докаже следното тврдење:

а) (5) ( A \ ( B ∩ C )) = ( A ∪ B ) ∩ ( A ∪ C )

Решение:
( A \ ( B ∩ C )) = ( A ∩ ( B ∩ C )) = A ∪ ( B ∩ C ) = ( A ∪ B) ∩ ( A ∪ C )

б) (7) (A∩B)⊆C ⇔ A⊆(Bc ∪C)

Решение: (A∩B)⊆C ⇔ (A∩B) ∩ Cc = ∅ ⇔ A∩(B ∩ Cc) = ∅ ⇔ A⊆(Bc ∪C)

3. а) (3) Дефинирај сурјекција!
Решение: f:A → В е сурјекција акко (∀yœВ) (∃xœA) f(x) = y

б) (8) Покажи дека множествата N ∪{0} и Z имаат ист кардиналeн броj.

Решение: Дефинираме пресликување f: N ∪{0} → Z со

 x
 , x e paren
f ( x) =  2
x +1
− , x e neparen
 2
Треба да се покаже дека пресликувањето е биекција.
Инјекција: Нека f(x) = f(y) = а. а е или позитивно, 0 или негативно. Ако е позитивно или 0,
тогаш во него се пресликува некој парен број, што значи дека и x и y се парни броеви. Тогаш,
x y
= ⇒x= y,
2 2
Ако пак а е негативно, тогаш во него се пресликува некој непарен број, што значи дека и x и
y се непарни, па,
x +1 y +1
− =− ⇒ x = y.
2 2
Сурјекција: Да земеме некоја вредност а од Z. Таа е или позитивна, 0 или негативна, ако е
позитивна или 0, тогаш f(2а) = 2а/2 = а, па најдовме број кој се пресликува во а. Ако пак а е
негативно, тогаш f(–(2а + 1)) = –(–(2а + 1)+1)/2 = а. Во двата случаи најдовме број кој се
пресликува во а, што требаше да се покаже.

4. a) (4) Нека f:RØR е дефинирано со f(x)=x2+1 и нека B={xœR|-2§x§2}. Да се определи f-1(B)

Решение: f-1(B) = [-1, 1]

б) (6) Дали за произволна функција f:MØN и множества А, В ⊆ М секогаш важи:

i) А⊆B ⇒ f(A) ⊆ f(B) ii) f(A) ⊆ f(B) ⇒ A⊆B (образложи го твојот одговор.)
Решение:

Ќе покажеме дека i) важи. Нека А⊆B и нека y∈ f(A). Тогаш постои x∈A, таков што f(x)
= y. Од претпоставката А⊆B следува дека истото тоа x∈В, па следува дека y = f(x) ∈ f(B).
Ќе покажеме дека ii) не мора секогаш да важи. Нека f:{1,2} → :{1,2} е дефинирано со
1 2 
f :   и нека А={1} и B={2}. Сега f(A)={1} ⊆ {1} = f(B), но не е точно А⊆B.
1 1 

5. (9) Да се определи остатокот од делење на 42012 со 13.

Решение: 4≡4 (mod 13)
42= 16 ≡3 (mod 13)
43 ≡ 4⋅3 = 12 (mod 13) т.е. 43 ≡ –1 (mod 13)
42010= 43⋅670 ≡ (-1) 670 = 1 (mod 13)
42012 = 42010⋅42 ≡ 1⋅3 = 3 (mod 13)
6. (5) Бројот 127 зададен во декаден броен систем напиши го во систем со основа 16.

Решение: 127:16 = 7(ост 15)

7:16 = 0(ост 7)
15 се запишува како F со основа 16, додека 7 се запишува како 7. Следува бараниот број во
основа 16 се запишува со 7F.

7. (10) Со помош на математичка индукција докажи дека за секој природен број n¥1 важи:
 3  5  7   2n + 1 
1 + 1 + 1 +  ⋅ ... ⋅ 1 +  = (n + 1)
2
2
 1  4  9   n 

Решение: Прво проверуваме за n=1: 1 +  = 4 = (1 + 1) 2 .

3
 1
Претпоставуваме дека тврдењето важи за n = k, т.е дека
 3  5  7   2k + 1 
1 + 1 + 1 +  ⋅ ... ⋅ 1 + 2  = (k + 1) .
2
 1  4  9   k 
За n = k + 1 имаме
 3  5  7   2k + 1  2(k + 1) + 1   2(k + 1) + 1   2 
 = (k + 1) 2  (k + 1) + 2(k + 1) + 1  =
1 + 1 + 1 +  ⋅ ... ⋅ 1 + 2 1 +
2
= ( k + 1) 1 +
 1  4  9   k  (k + 1) 2  
 (k + 1) 2  
 (k + 1) 2 

= (k + 1) 2 + 2(k + 1) + 1 = ((k + 1) + 1) 2 = (k + 2) 2 .

8. (5) Нека се дадени тврдењата p и uslov и програмскиот сегмент S. Што важи за тврдењето p
ако е тоа инваријанта на циклусот while uslov togash S и е точно пред првото влегување во
циклусот?

Решение: Важи p{ S }p и кога циклусот ќе терминира, т.е. заврши, ќе важи дека uslov не е
точно, а p е точно.
k
(6) Докажи дека s= ∑ i е инваријанта на следната лупа:
i =1
while k<n
{ k=k+1;
s=s+k;
}
k
Решение: Нека пред влезот во циклусот s= ∑ i . Кога ќе се влезе во циклусот добиваме нови
i =1
вредности за k и s и нека тие вредности ги обележиме со k’ и s’. Се добива дека k’=k+1 и
k k +1 k'
s'=s+k’= ∑ i +(k+1) = ∑i = ∑i .
i =1 i =1 i =1
9. а) (3) Дефинирај антисиметрична релација.
Решение: Релацијата R ⊆ А×А е антисиметрична акко за секое x∈А е точно
Ако (x, y)∈R и (y, x)∈R, тогаш x=y.

б) Над множеството А = {1, 2, 3, 4} се дефинирани релациите α = {(3, 2), (3, 1)}, β ={(1,1),
(3,3)} и γ = {(2, 1), (1, 2), (1, 3), (3, 1), (3, 2), (2, 3)}.
i) (3) Која од овие релации е транзитивна? Решение: Решение:α и β
ii) (3) Која од овие релации е симетрична? Решение: β и γ
iii) (6) Релацијата α прошири ја до еквиваленција α* и најди го А/α*
Решение: α*= {(3, 2), (3, 1), (2, 3), (1, 3), (1, 1), (2, 2), (3, 3), (4, 4), (2, 1), (1, 2)},
А/α* = {{1, 2, 3}, {4}}.

10. (8) Над множеството A={a,b,c,d,e,f}, дефинирана релација α на следниов начин:

α=∆A∪{(a, b), (a, c), (a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f), (d, f)}.

а) Да се нацрта Хасеовиот дијаграм б) Пополни:

најмал елемент е _a________
најголем елемент е _нема________
f максимални ел. се _f, e________
минимални ел. се _a________
d e
в) Пополни:
Ако B={b,c} inf B= _a______
b c
supB=_нема______
a
Име и презиме____________________________________ Бр. Индекс___________
Професор кај кој го слуша предметот_____________________________________

Втор колоквиум
Дискретна математика 1
II група

Време за работа:
150 минути

1. а) (4) Дефинирај пресек и директен производ на множества А и В.

Решение: А∩В = {x|x∈A ∧ x∈B} А×В = {(x,y)|x∈A ∧ y∈B}

б) (5) Нека А={a,b,c,{a}}. До точните тврдења напиши ДА, а до неточните НЕ:

i) {a}œB(A) ___ДА______

ii) {a}œA __ДА_______

iii) {{b}}œB(A) __НЕ_______

iv) ∅ŒB(A) ___ДА______

v) ∅œB(A) ___ДА______

2. Да се докаже следното тврдење:

а) (5) A ∪ ( B \ C ) = ( A ∩ B ) ∪ ( A ∩ C )
Решение:
A ∪ ( B \ C ) = A ∪ ( B ∩ C ) = A ∩ ( B ∩ C ) = A ∩ ( B ∪ C ) = ( A ∩ B) ∪ ( A ∩ C )

б) (7) Ако A\(B\C) ⊆(A\B)\C, тогаш A∩C=∅.

Решение:
A\(B\C) ⊆(A\B)\C ⇔ A∩(B∩Cc) c ⊆(A∩Bc) ∩Cc ⇔ A∩(Bc∪C) ⊆ A∩Bc∩Cc
⇔ (A∩Bc)∪(A∩C) ⊆A∩Bc∩Cc. Оттука следуваат неколку работи:
A∩Bc ⊆A, A∩Bc ⊆ Bc, A∩Bc ⊆ Cc, A∩C ⊆A, A∩C⊆ Bc и A∩C ⊆ Cc. Од последново имаме
A∩C ∩(Cc)c = ∅ т.е. A∩C=∅.
3. а) (3) Дефинирај инјекција!

Решение: f:A → В е инјекција акко важи (∀x,yœA) f(x) = f(y) ⇒ x=y.

б) (8) Покажи дека множествата N ∪{0} и Z имаат ист кардиналeн броj.

Решение: Исто како соодветната задача во група 1

4. а) (4)Нека f:RØR е дефинирано со f(x)=x2-1 и нека B={xœR|-4§x§1}. Најди го f-1(B).

Решение: f-1(B) = [- 2 , 2 ]

б) (6) Дали за произволна функција f:MØN и множества А, В ⊆ М секогаш важи:

i) f(A∩B) ⊆ f(A)∩f(B) ii) f(A)∩f(B) ⊆ f(A∩B) (образложи го твојот одговор.)

Решение:
Ќе покажеме дека i) важи. Нека y∈ f(A∩B). Тогаш постои x∈A∩B, таков што f(x) = y.
Тогаш за ова x важи дека x∈A и x∈B, па y = f(x) ∈ f(A) и y = f(x) ∈ f(В), од каде следува дека
y∈ f(A)∩f(B).
Ќе покажеме дека ii) не мора секогаш да важи. Нека f:{1,2} → :{1,2} е дефинирано со
1 2 
f :   и нека А={1} и B={2}. Сега f(A)∩f(B)={1}∩{1} ={1}, но f(A∩B) = f(∅)=∅. Јасно
1 1 
тврдењето не важи затоа што {1} не е подмножество од ∅.

5. (9) Да се определи остатокот од делење на 72015 со 12.

Решение: 7≡7 (mod 12)

72= 49 ≡1 (mod 12)
72014= 72⋅1007 ≡ 11007 = 1 (mod 12)
72015 = 72014⋅7 ≡ 1⋅7 = 7 (mod 12)

6. (5) Бројот 27 зададен во декаден броен систем напиши го во систем со основа 4.

Решение: 27:4 = 6(ост 3)

6:4 = 1(ост 2)
1:4 = 0(ост 1)
Следува бараниот број во основа 4 се запишува со 123.
7. (10) Со помош на математичка индукција докажи дека за секој природен број n¥1 важи:
 1  1  1   1
1 + 1 + 1 +  ⋅ ... ⋅ 1 +  = (n + 1)
 1  2  3   n

Решение: Прво проверуваме за n=1: 1 +  = 4 = (1 + 1) 2 .

3
 1
Претпоставуваме дека тврдењето важи за n = k, т.е дека
 1  1  1   1
1 + 1 + 1 +  ⋅ ... ⋅ 1 +  = (k + 1) .
 1  2  3   k
За n = k + 1 имаме
 1  1  1   1  1   1   k +1+1 
1 + 1 + 1 +  ⋅ ... ⋅ 1 + 1 +  = (k + 1)1 +  = (k + 1)  = (k + 1) + 1.
 1  2  3   k  k + 1   k +1   k +1 

8. (5) Нека се дадени тврдењата p, q и uslov и програмскиот сегмент S. Што треба да се покаже
за да се докаже точноста p{ ako uslov togash S}q?

Решение: Треба да се покаже:

(p∧uslov){S}q
(p∧¬uslov)→q

(6) Докажи дека p=kx е инваријанта на следната лупа:

while k<n
{ p=p+x;
k=k+1;
}
Решение: Нека пред влезот во циклусот p=kx. Кога ќе се влезе во циклусот добиваме нови
вредности за p и k и нека тие вредности ги обележиме со p’ и k’. Се добива дека p’=p+x и
k'=k+1 и важи p’= p+x = kx +x = (k+1)x= k'x.

9. а) (3) Дефинирај симетрична релација.

Решение: Релацијата R ⊆ А×А е симетрична акко за секое x∈А е точно
Ако (x, y)∈R тогаш (y, x)∈R.

б) Над множеството А = {1, 2, 3, 4} се дефинирани релациите α = {(1, 2), (1, 3)}, β ={(1,1)} и γ
= {(1, 2), (2, 1), (3, 4), (4, 4)}.
i) (3) Која од овие релации е транзитивна? Решение: α и β
ii) (3) Која од овие релации е антисиметрична? Решение: α и β
iii) (6) Релацијата γ прошири ја до еквиваленција γ* и најди го А/γ*
Решение: γ* = {(1, 2), (2, 1), (3, 4), (4, 4), (1, 1), (2, 2), (3, 3), (4, 3)}
А/γ* = {{1, 2}, {3, 4}}
10. (8) Над множеството A={a,b,c,d,e,f}, дефинирана релација α на следниов начин:
α=∆A∪{(a, b), (a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f), (d, f),(e,f)}.

а) Да се нацрта Хасеовиот дијаграм б) Пополни:

најмал елемент е __нема_______
f
најголем елемент е __f_______
e d
максимални ел. се __f_______
c b
минимални ел. се __a,c_______

a
в) Пополни:
Ако B={d,e} inf B= _нема______

supB=__f_____
Име и презиме____________________________________ Бр. Индекс___________
Професор кај кој го слуша предметот_____________________________________

Втор колоквиум
Дискретна математика 1
III група

Време за работа:
150 минути

1. а) (4) Дефинирај пресек и директен производ на множества А и В.

Решение: А∩В = {x|x∈A ∧ x∈B} А×В = {(x,y)|x∈A ∧ y∈B}
б) (5) Нека А={{a,b},c,d,e}. Да се заокружат точните тврдења:
i) {b}œB(A) __НЕ_______

ii) bœA __НЕ_______

iii) {a,b}ŒA __НЕ_______

iv) {c}œB(A) __ДА_______

v) {{a}}œB(A) __НЕ_______

2. Да се докаже следното тврдење:

а) (5) ( X \ (Y ∩ Z )) = ( X ∪ Y ) ∩ ( X ∪ Z )
Решение: ( X ∩ (Y ∩ Z )) = ( X ∪ (Y ∩ Z )) = ( X ∪ Y ) ∩ ( X ∪ Z )

б) (7) (X∩Y)⊆Z ⇔ X⊆(Yc ∪Z)

Решение: (X∩Y)⊆Z ⇔ (X∩Y) ∩ Zc = ∅ ⇔ X∩(Y ∩ Zc) = ∅ ⇔ X⊆(Yc ∪Z)

3. а) (3) Дефинирај инјекција!

Решение: f:A → В е инјекција акко важи (∀x,yœA) f(x) = f(y) ⇒ x=y.

б) (8) Покажи дека множествата N ∪{0} и Z имаат ист кардиналeн броj.

Решение: Исто како соодветната задача во група 1

4. a) (4) Нека f:RØR е дефинирано со f(x)=|x|+1 и нека B={xœR|-2§x§3}. Да се определи f-1(B).
Решение: f-1(B) = [-2, 2]

б) (6) Дали за произволна функција f:MØN и множества А, В ⊆ М секогаш важи:

i) f(A)∪f(B) ⊆ f(A∪B) ii) f(A)∩f(B) ⊆ f(A∩B) (образложи го твојот одговор.)
Решение:
Ќе покажеме дека i) важи.
Нека y∈ f(A)∪f(B) ⇒ y∈ f(A) или y∈ f(В).
⇒ постои x1∈ А таков што f(x1) = y или постои x2∈В таков што f(x2) = y
⇒ x1∈ A∪B таков што f(x1) = y или постои x2∈ A∪B таков што f(x2) = y
⇒ y∈ f(A∪B) или y∈ f(A∪B) ⇒ y∈ f(A∪B).

Ќе покажеме дека ii) не мора секогаш да важи. Нека f:{1,2} → :{1,2} е дефинирано со
1 2 
f :   и нека А={1} и B={2}. Сега f(A)∩f(B)={1}∩{1} ={1}, но f(A∩B) = f(∅)=∅. Јасно
1 1 
тврдењето не важи затоа што {1} не е подмножество од ∅.

5. (9) Да се определи остатокот од делење на 32014 со 14.

Решение: 3≡3 (mod 14)

32= 9 ≡9 (mod 14)
33= 27 ≡-1 (mod 14)
32013= 33⋅671 ≡ (-1)671 = -1 (mod 12)
32014 = 32013⋅3 ≡ -1⋅3 = -3 (mod 12) или 32014 ≡ 9 (mod 12)

6. (5) Бројот 17 зададен во декаден броен систем напиши го во систем со основа 2.

Решение: 17:2 = 8(ост 1)

8:2 = 4(ост 0)
4:2 = 2(ост 0)
2:2 = 1(ост 0)
1:2 = 2(ост 1)
Следува бараниот број во основа 2 се запишува со 10001.
7. (10) Со помош на математичка индукција докажи дека за секој природен број n¥2 важи:
 5  7   2n + 1  (n + 1)
2

1 + 1 +  ⋅ ... ⋅ 1 +  =
 4  9   n2  4

9 (2 + 1) 2
Решение: Прво проверуваме за n=2: 1 +  = =
5
.
 4 4 4
Претпоставуваме дека тврдењето важи за n = k, т.е дека
 5  7   2k + 1  (k + 1) 2
1 + 1 +  ⋅ ... ⋅ 1 + 2  = .
 4  9   k  4
За n = k + 1 имаме
 5  7   2k + 1  2(k + 1) + 1  (k + 1) 2  2(k + 1) + 1  (k + 1) 2  (k + 1) 2 + 2(k + 1) + 1 
1 + 1 +  ⋅ ... ⋅ 1 + 2 1 + = 1 + =  =
 4  9   k  (k + 1) 2  4 
 (k + 1) 2  4 
 (k + 1) 2 

(k + 1) 2 + 2(k + 1) + 1 ((k + 1) + 1) 2
= = .
4 4

8. (5) Нека се дадени тврдењата p и uslov и програмскиoт сегмент S. Што важи за тврдењето p
ако е тоа инваријанта на циклусот while uslov togash S и е точно опред првото влегување во
циклусот?

Решение: Исто како соодветната задача во група 1

k
(6) Докажи дека sum= ∑ j е инваријанта на следната лупа:
j =1

while k<n
{ k=k+1;
sum=sum+k;
}
k
Решение: Нека пред влезот во циклусот s= ∑ j . Кога ќе се влезе во циклусот добиваме нови
j =1

вредности за k и sum и нека тие вредности ги обележиме со k’ и sum’. Се добива дека k’=k+1
и
k k +1 k'
sum'=sum+k’= ∑ j +(k+1) = ∑ j=∑ j.
j =1 i =1 i =1
9. а) (3) Дефинирај транзитивна релација.

Решение: Релацијата R ⊆ А×А е транзитивна акко за секое x∈А е точно

Ако (x, y)∈R и (y, z)∈R тогаш (x, z)∈R.
б) Над множеството А = {1, 2, 3, 4} се дефинирани релациите α = {(1, 1), (2, 2)}, β ={(1, 2)} и
γ = {(1, 2), (2, 1), (3, 4), (4, 3)}.
i) (3) Која од овие релации е транзитивна? Решение: α и β
ii) (3) Која од овие релации е антисиметрична? Решение: α и β
iii) (6) Релацијата γ прошири ја до еквиваленција γ* и најди го А/γ*
Решение: γ* = {(1, 2), (2, 1), (3, 4), (4, 3), (4, 4), (1, 1), (2, 2), (3, 3)}
А/γ* = {{1, 2}, {3, 4}}

10. (8) Над множеството A={x,y,z,t,e,s}, дефинирана релација α на следниов начин:

α=∆A∪{(x, y), (x, z), (x, t), (x, e), (x, s), (y, t), (y, e), (y, s), (z, t), (z, e), (z, s), (t, s)}.

а) Да се нацрта Хасеовиот дијаграм в) Пополни:

најмал елемент е ___x______

s најголем елемент е __нема_______

t e максимални ел. се _s, e________

y z
минимални ел. се _x________

x
г) Пополни:
Ако B={y,z} inf B= __x_____

supB=__ нема _____

Име и презиме____________________________________ Бр. Индекс___________
Професор кај кој го слуша предметот_____________________________________

Втор колоквиум
Дискретна математика 1
IV група

Време за работа:
150 минути

1. а) (4) Дефинирај пресек и директен производ на множества А и В.

Решение: А∩В = {x|x∈A ∧ x∈B} А×В = {(x,y)|x∈A ∧ y∈B}

б) (5) Нека А={1,2,3,{1}}. Да се заокружат точните тврдења:

i) {1}œB(A) __ДА_______

ii) {1}œA __ДА_______

iii) {{3}}œB(A)__НЕ_______

iv) ∅ŒB(A) __ДА_______

v) ∅œB(A) __ДА_______

2. Да се докаже следното тврдење:

а) (5) X ∪ (Y \ Z ) = ( X ∩ Y ) ∪ ( X ∩ Z )
Решение: X ∪ (Y \ Z ) = X ∪ (Y ∩ Z ) = X ∩ (Y ∪ Z ) = ( X ∩ Y ) ∪ ( X ∩ Z )
б) (7) Ако X\(Y\Z) ⊆(X\Y)\Z, тогаш X∩Z=∅.

Решение:
X\(Y\Z) ⊆(X\Y)\Z ⇔ X∩(Y∩Zc) c ⊆(X∩Yc) ∩Zc ⇔ X∩(Yc∪Z) ⊆ X∩Yc∩Zc
⇔ (X∩Yc)∪(X∩Z) ⊆X∩Yc∩Zc. Оттука следуваат неколку работи:
X∩Yc ⊆X, X∩Yc ⊆ Yc, X∩Yc ⊆ Zc, X∩Z ⊆Z, X∩Z ⊆ Yc и X∩Z ⊆ Zc. Од последново имаме
X∩Z ∩(Zc)c = ∅ т.е. X∩Z =∅.
3. а) (3) Дефинирај сурјекција!
Решение: Исто како соодветната задача во група 1
б) (8) Покажи дека множествата N ∪{0} и Z имаат ист кардиналeн броj.
Решение: Исто како соодветната задача во група 1

4. а) (4) Нека f:RØR е дефинирано со f(x)=|x|-1 и нека B={xœR|-2§x§4}. Да се определи f-1(B).

Решение: f-1(B) = [-5, 5]

б) (6) Дали за произволна функција f:MØN и множества А, В ⊆ N секогаш важи:

i) А⊆B ⇒ f-1(A) ⊆ f-1(B) ii) f-1(A) ⊆ f-1(B) ⇒ A⊆B (образложи го твојот одговор.)

Решение:

Ќе покажеме дека i) важи. Нека А⊆B и нека x∈ f-1(A). Тогаш f(x)∈A⊆B, па f(x)∈B.
Сега е јасно дека x∈ f-1(В).
Ќе покажеме дека ii) не мора секогаш да важи. Нека f:{1,2} → :{1,2} е дефинирано со
1 2 
f :   и нека А={1, 2} и B={1}. Сега f-1(A)={1, 2} ⊆ {1, 2} = f-1(B), но не е точно А⊆B.
1 1 

5. (9) Да се определи остатокот од делење на 52014 со 13.

Решение: 5≡5 (mod 13)

52= 25 ≡-1 (mod 13)
52014= 52⋅1007 ≡ (-1)1007 = -1 (mod 13)

6. (5) Бројот 45 зададен во декаден броен систем напиши го во систем со основа 8.

Решение: 45:8 = 5(ост 5)
5:8 = 0(ост 5)
Следува бараниот број во основа 8 се запишува со 55.

7. (10) Со помош на математичка индукција докажи дека за секој природен број n¥2 важи:
 1  1   1  n +1
1 + 1 +  ⋅ ... ⋅ 1 +  =
 2  3   n 2

3 2 +1
Решение: Прво проверуваме за n=2: 1 +  = =
1
.
 2 2 2
Претпоставуваме дека тврдењето важи за n = k, т.е дека
 1  1   1  (k + 1)
1 + 1 +  ⋅ ... ⋅ 1 +  = .
 2  3   k 2
За n = k + 1 имаме
 1  1   1  1  k +1  1  k + 1  k + 1 + 1  (k + 1) + 1
1 + 1 +  ⋅ ... ⋅ 1 + 1 + = 1 + =  = .
 2  3   k  k + 1  2  k +1 2  k +1  2
8. a)(5) Нека се дадени тврдењата p, q и uslov и програмските сегменти S1 и S2. Што треба да
се покаже за да се докаже точноста p{ ako uslov togash S1 inaku S2}q?

Решение: Треба да се покаже:

(p∧uslov){ S1}q
(p∧¬uslov){ S2}q

б) (6) Докажи дека a=ky е инваријанта на следната лупа:

while k<n
{ a=a+y;
k=k+1;
}

Решение: Нека пред влезот во циклусот a=ky. Кога ќе се влезе во циклусот добиваме нови
вредности за а и k и нека тие вредности ги обележиме со а’ и k’. Се добива дека а’=а+y и
k'=k+1 и важи a’= a+y = ky +y = (k+1)y= k'y.

9. а) (3) Дефинирај рефлексивна и антирефлексивна релација.

Решение: Релацијата R ⊆ А×А е рефлексивна акко за секое x∈А (x, x)∈R.
Релацијата R ⊆ А×А е антирефлексивна акко за секое x∈А (x, x)∉R.

б) Над множеството А = {1, 2, 3, 4} се дефинирани релациите α = {(1, 1), (2, 2), (3, 3)}, β
={(1, 2), (3, 1)} и γ = {(2, 1), (3, 4), (4, 3)}.
i) (3) Која од овие релации е транзитивна? Решение: α
ii) (3) Која од овие релации е антисиметрична? Решение: α и β
iii) (5) Релацијата β прошири ја до еквиваленција β* и најди го А/β*
Решение: β ={(1, 2), (3, 1), (1, 1), (2, 2), (3, 3), (4, 4), (3, 2), (2, 3), (2, 1), (1, 3)}
А/β*={{1, 2, 3}, {4}}.

10. (8) Над множеството A={x,y,z,t,e,s}, дефинирана релација α на следниов начин:

α=∆A∪{(x, y), (x, t), (x, e), (x, s), (y, t), (y, e), (y, s), (z, t), (z, e), (z, s), (t, s),(e,s)}.

а) Да се нацрта Хасеовиот дијаграм в) Пополни:

најмал елемент е __нема_______
s
најголем елемент е ___s______
t e
максимални ел. се __s_______

y z минимални ел. се __x, z_______

x г) Пополни:
Ако B={t,e} inf B= __нема_____

supB=___s____