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 7

1. Von Neumannov model prirodnih brojeva nije jedini na£in kako se mogu modelirati
prirodni brojevi kao skupovi, tako da budu zadovoljeni Peanovi aksiomi. Recimo, prije
Von Neumannovog modela bio je predloºen Zermelov model po kojem je 0 = {} (kao u
0 0
Von Neumannovom modelu), ali je n = {n} (umjesto n = n ∩ {n} u Von Neumanno-
vom modelu). Odredite kako glase prirodni brojevi 1, 2, 3 i 4 u Zermelovom modelu,
a zatim pronažite neke nedostatke Zermelovog modela u odnosu na Von Neumannov
model.

2. Za skup A = {a, b, c}, nažite kardinalni broj njegovog iteriranog skupa A∗ .

3. U svemiru ima beskona£no mnogo hotela, koji su numerirani prirodnim brojevima 1,

2, 3 itd. Svaki od tih hotela ima beskona£no mnogo soba, koje su takožer numerirane
prirodnim brojevima 1, 2, 3 itd. Kako je svemirska vlada zaklju£ila da je beskona£no
nerentabilno odrºavati beskona£no mnogo hotela, odlu£ila je da pozatvara sve te ho-
tele osim jednog. Pokaºite da je mogu¢e sve goste iz tih beskona£no mnogo hotela
rasporediti u jedini preostali hotel, tako da svaki gost i dalje ima svoju sobu, koju ne
dijeli sa drugim gostima. Odnosno, opi²ite postupak kojim biste za gosta koji je do²ao
iz n-te sobe m-tog hotela uputili u odgovaraju¢u sobu jedinog preostalog hotela, a da
je sigurno da dva razli£ita gosta ne¢e biti upu¢ena u istu sobu.

4. Pokaºite da skup svih funkcija sa N u N, tj. skup A = {f |f : N → N} ima kardinalni

broj ve¢i od ℵ0 .

5. Pokaºite da u skupu R klasi£ni interval (0..1) i klasi£ni segment [0..1] (tj. interval i
segment u odnosu na klasi£ni poredak  ≤) imaju isti kardinalni broj, tako ²to ¢ete
eksplicitno konstruisati bijekciju izmežu ta dva skupa.

6. Denirajte Booleovu algebru nad skupom Z, a zatim iskoristite bijekciju koja postoji
izmežu skupa Z i skupa N da denirate Booleovu algebru nad skupom N.

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