Teoreetilibe informaatika kordamisküsimused
1. Hulkade spetsifitseerimine, tehted hulkadega, hulgateooria paradoksid.
Hulk:
Korteezh järjestatud lõplik hulk.
Hulk mingi arv elemente, mille vahel on leitav seos klassifitseeritud
elementide kogum.
Hulk samalaadsete objektide järjestamata kogum.
Hulga esitamine:
elementide loeteluna A = {2;3;4}
predikaadi abil A = {x | P(x)}
Tühihulk on iga hulga osahulk.
Iga hulk on iseenda osahulk.
Hulga boleaan kõigi osahulkade hulk.
H boleaan on 2H. 2H = {x | x on osahulgaks H-le}. Boleaani võimsus |2H| = 2|H|
Tühja hulga boleaani võimsus on 1.
Tehted:
Hulkade võrdsus = A on B osahulk AND B on A osahulk. Ekvivalentsiseose
definitsioon ((A => B) && (B => A)) hulgas sisaldavad samu elemente.
Hulga osahulk võib võrduda hulgaga.
Hulga pärisosahulk ei või võrduda.
Hulkade ühend C = {x | x kuulub A && x kuulub B}
Hulkade lõige e ühisosa C = {x | x kuulub A OR x kuulub B}
annaabi.ee 
