Předmět Teorie množin a logika (KMA / TML)
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 KMA / TML - Teorie množin a logika, Fakulta aplikovaných věd, Západočeská univerzita v Plzni (ZČU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1. Jazyk výrokové logiky (VL), pravdivost formulí2. Odvozování ve VL, věta o dedukci3. Věta o úplnosti VL4. Jazyk predikátové logiky (PL)5. Struktury a modely6. Odvozování v PL7. Věta o úplnosti PL8. Gödelova věta o neúplnosti aritmetiky9. Axiomatika Zermelo-Fraenkelovy teorie množin.10. Relace, zobrazení, uspořádání.11. Přirozená čísla, konstrukce reálných čísel.12. Konečné množiny.13. Dobrá uspořádání a ordinály.14. Mohutnost množin a kardinály.15. Axiom výběru.
Získané způsobilosti
Absolvováním této přednášky student získá základní orientaci v daném předmětu a bude schopen samostatného studia odborné literatury.
Literatura
Enderton, Herbert B. A mathematical introduction to logic. 2nd ed. San Diego : Harcourt Academic Press, 2001. ISBN 0-12-238452-0.Mendelson, Elliott. Introduction to mathematical logic. 4th ed. Boca Raton : Chapman & Hall, 2001. ISBN 0-41-80830-7.Vopěnka P., Blažek J., Kussová B. Úvod do axiomatické teorie množin. UK SPN Praha, 1972. Sochor, Antonín. Klasická matematická logika. Vyd. 1. Praha : Karolinum, 2001. ISBN 80-246-0218-0.http://kti.ms.mff.cuni.cz/downloads/Pl_ps.zipBalcar, Bohuslav; Štěpánek, Petr. Teorie množin. 2., opr. a rozš. vyd. Praha : Academia, 2001. ISBN 80-200-0470-X.
Požadavky
Zkouška: pouze ústní část. Student odpovídá na 1 otázku z oblasti matematické logiky a 1 otázku z oblasti teorie množin v přehledu probírané látky.
Garant
Doc. RNDr. Tomáš Kaiser, Ph.D.
Vyučující
Doc. RNDr. Tomáš Kaiser, Ph.D.