|
|
Logika a teorie množin - přednášky
- Přednáška (24. 2. 2009)
Množiny, výroky a výrokové funkce
- výrok, logické spojky a operátory, logické tautologie
- výrokové funkce, kvantifikátory
- Přednáška (3. 3. 2009)
Zermelův-Fraenkelův axiomatický systém teorie množin
- základní ideje tohoto axiomatického systému
- množina, být prvkem množiny
- jazyk teorie množin
- axiom rovnosti množin
- axiom sjednocení množin
- axiom dvouprvkové množiny
- axiom existence
- Zermelovo schéma separace
- axiom o podmnožinách
- axiom výběru
- základní požadavky kladené na axiomatický systém - nezávislost, úplnost, bezespornost
Operace s množinami
- sjednocení, průnik, rozdíl a symetrický rozdíl množin
Relace
- uspořádaná dvojice, kartézský součin množin
- relace
- Přednáška (10. 3. 2009)
- relace ekvivalence a rozklad množiny
- částečné uspořádání a uspořádání
- zobrazení
Kardinální čísla
- Fraenkelovo schéma substituce
- Přednáška (17. 3. 2009)
- ekvivalence množin, příklady
- Axiom kardinálních čísel
- kardinální čísla
- součet, součin a mocnina kardinálních čísel
Porovnávání kardinálních čísel
- nerovnosti mezi kardinálními čísly
- Přednáška (24. 3. 2009)
- Cantorova-Bernsteinova věta a její důsledky
- Cantorova věta a její důsledky
Množiny konečné a množiny nekonečné, množiny spočetné a množiny nespočetné
- Tarskiho definice konečné množiny
- Existence nekonečné množiny
- model Peanovy aritmetiky množiny N0 všech nezáporných celých čísel v teorii množin
- Přednáška (31. 3. 2009)
- model Peanovy aritmetiky množiny N0 všech nezáporných celých čísel v teorii množin
- matematická indukce
- Dedekindova definice konečné množiny
- ekvivalence Tarskiho a Dedekindovy definice konečné množiny
- aritmetika celých nezáporných čísel
- Přednáška (7. 4. 2009)
- aritmetika celých nezáporných čísel
- spočetné množiny
- nespočetné množiny
- Přednáška (14. 4. 2009)
Uspořádané množiny
- základní vlastnosti částečně uspořádaných a uspořádaných množin
- hustě uspořádaná množina
- podobné zobrazení, podobné množiny
- Přednáška (21. 4. 2009)
- podobné zobrazení, podobné množiny
- zhora (zdola) ohraničená množina, supremum, infimum
- spojitě uspořádaná množina
Dobře uspořádané množiny
- základní vlastnosti dobře uspořádaných množin
- úsek množiny, primitivní interval množiny
- Přednáška (28. 4. 2009)
- základní věta o dobře uspořádaných množinách
- ordinální čísla, Axiom ordinálních čísel
- součet ordinálních čísel
- Přednáška (5. 5. 2009)
- součet a součin ordinálních čísel
- transfinitní posloupnost
- transfinitní indukce
- Přednáška (12. 5. 2009)
- definice transfinitní indukcí
Axiom výběru a jeho ekvivalenty
- Zermelova věta
- důsledky Zermelovy věty pro teorii kardinálních čísel
- Přednáška (19. 5. 2009)
- hypotéza kontinua, zevšeobecněná hypotéza kontinua
- Zornovo lemma a Hausdorffův princip maximality
- Hamelova báze reálných čísel
|