Předmět Logika a teorie množin (MUMP016)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu MUMP016 - Logika a teorie množin, Přírodovědecká fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
1. Výrokový počet (jazyk, základní důkazové prostředky, věta dualitě a normální formě).2. Predikátový počet (jazyk, kalkulace s kvantifikátory, věta prenexní formuli).3. Axiomatická teorie (dokazatelnost, nezávislost, bezespornost a úplnost axiomatické teorie).4. Axiomatická teorie tříd a množin (operace s třídami a množinami, relace, uspořádní, zobrazení).5. Booleovské kalkulace.6. Ekvivalence a subvalence, Cantor - Bernsteinova věta, Cantorova věta.7. Konečné množiny.8. Dobře uspořádané množiny.9. Peanova aritmetika a model přirozených čísel v teorii množina.10. Axiom nekonečna a spočetné množiny.11. Čísla celá, racionální a reálná.12. Kardinální čísla (operace, uspořádání).13. Ordinální čísla (operace, uspořádání).14. Axiom výběru a jeho ekvivalenty.
Literatura
Základní literatura:Štěpánek,P.: Matematická logika (skriptum), SPN 1982Balcar,B., Štěpánek,P.: Teorie množin, Academia, Praha 1986
Garant
Mgr. Jana Glivická
Vyučující
Mgr. Petr Glivický, Ph.D.