Odsjek za ra£unarstvo i informatiku Nastavnik: doc. dr. Dinko Osmankovi¢, MoE-dipl.

Kurs: Matemati£ka logika i teorija ing. el.

izra£unljivosti Asistent: Zlatan Tucakovi¢, MoE-dipl.ing.el.
Godina studija: I godina BoE studija
Semestar: II

Tutorijal 5

1. Nažite partitivni skup za sljede¢e skupove:

(a) A = {a}
(b) B = {a, b, c}
(c) C = {a, {b, c}}
2. Neka su dati skupovi A = {a, {a, {a}}} i B = {{a}, {a, {a}}}. Odredite kako glase
elementi skupa (P(A) × P(B)) ∩ (P(B) × P(A)), tj. opi²ite ovaj skup pobrojavanjem
njegovih elemenata.
3. Transformacija izraza skupovne algebre pokaºite da vrijedi pravilo:

(A ∪ B) ∩ (B ∪ C) ∩ (A ∪ C) = (A ∩ B) ∪ (B ∩ C) ∪ (A ∩ C). (1)

4. Algebarskim putem pojednostavite izraz algebre skupova:

A∆B∆(A ∪ B). (2)

5. U nekoj skupini programera, 25 programera zna programski jezik C++, 33 programera

znaju programski jezik C#, dok 27 programera znaju programski jezik Java. Mežu
pobrojanim programerima, 12 programera zna C++ i C# a ne zna Javu, 9 programera
zna C++ i Javu a ne zna C#, dok 6 programera zna C# i Javu, a ne zna C++. Niti
jedan programer ne zna sva tri od pobrojanih programskih jezika. Utvrdite koliko
programera na ovom skupu zna barem jedan od pobrojanih programskih jezika, a
koliko ih zna ta£no jedan od pobrojanih programskih jezika.
6. Za binarnu relaciju R = {(a, c), (a, d), (a, h), (c, a), (c, d), (d, a), (f, d), (h, f )} deniranu
u skupu A = {a, b, c, d, e, f, g, h} nažite relacije R2 , R3 i R∗ na razne na£ine.

Autori zadataka su šeljko Juri¢, Dinko Osmankovi¢ i Zlatan Tucakovi¢