%
% posledná zmena: 19.5.2014 11:00
%

***
*** Ústne otázky pre hodnotenie A/B
***

*

Sformulujte a dokážte rekurentný vzťah pre Stirlingove čísla druhého druhu a
Bellove čísla.

Pozri tvrdenie 1.5.3(1) a vetu 1.5.6 v [1].

*

Sformulujte a dokážte tvrdenie, ktoré charakterizuje injektívne funkcie pomocou
ich pravej inverznej funkcie.

Pozri lemu 4.3.3 a vetu 4.3.4 v [2].

*

Sformulujte a dokážte tvrdenie, ktoré charakterizuje surjektívne funkcie pomocou
ich ľavej inverznej funkcie.

Pozri lemu 4.3.3 a vetu 4.3.5 v [2].

*

Cantorova párovacia funkcia a jej projekcie.

Pozri 5.3.1 a vetu 5.3.3 v [3].

*

Sformulujte a dokážte tvrdenie, ktoré charakterizuje zjednotenie spočítateľného
systému spočítateľných množín. Dôsledky tohto tvrdenia pre konečné postupnosti a
systém konečných podmnožín.

Pozri vety 6.2.13, 6.2.14 a 6.2.15 v [4].

*

***
*** Použitá literatúra
***
 
[1] http://dai.fmph.uniba.sk/courses/dm2/1112ls/prednasky/doc/ch_s_pt.pdf
[2] http://dai.fmph.uniba.sk/courses/dm2/1112ls/prednasky/doc/ch_f_if.pdf
[3] http://dai.fmph.uniba.sk/courses/dm2/1112ls/prednasky/doc/ch_fs_cp.pdf
[4] http://dai.fmph.uniba.sk/courses/dm2/1112ls/prednasky/doc/ch_d_cs.pdf