Otázky ke zkoušce (v pdf):

1. Množiny, výroky a výrokové funkce
2. Základní ideje Zermelova-Fraenkelova axiomatického systému teorie množin
3. Základní požadavky kladené na axiomatický systém
4. Operace s množinami
5. Kartézský součin množin, relace
6. Relace ekvivalence a rozklad množiny
7. Částečné uspořádání a uspořádání, zobrazení
8. Kardinální čísla: Axiom substituce, ekvivalence množin a kardinální čísla
9. Součet, součin a mocnina kardinálních čísel
10. Nerovnosti mezi kardinálními čísly
11. Cantorova-Bernsteinova věta a její důsledky
12. Cantorova věta a její důsledky
13. Tarskiho definice konečné množiny
    Dedekindova definice konečné množiny
    Ekvivalence Tarskiho a Dedekindovy definice konečné množiny
14. Model Peanovy aritmetiky množiny N₀ všech nezáporných celých čísel v teorii množin
    Matematická indukce
15. Aritmetika celých nezáporných čísel
16. Spočetné množiny
17. Nespočetné množiny
18. Základní vlastnosti částečně uspořádaných a uspořádaných množin
19. Základní vlastnosti dobře uspořádaných množin
20. Ordinální čísla
21. Aritmetika ordinálních čísel
22. Transfinitní indukce, definice transfinitní indukcí
23. Axiom výběru a jeho ekvivalenty

Termíny zkoušek (v systému STAG):

1. čtvrtek 30. dubna 2009
2. úterý 2. června 2009
3. pátek 19. června 2009
4. úterý 30. června 2009
5. středa 1. července 2009
6. středa 26. srpna 2009