Předmět Úvod do matematické logiky (KMA / ML)
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 / ML - Úvod do matematické logiky, 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 aritmetiky
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.http://euclid.trentu.ca/math/sb/pcmlMendelson, Elliott. Introduction to mathematical logic. 4th ed. Boca Raton : Chapman & Hall, 2001. ISBN 0-41-80830-7.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.zip
Požadavky
Zkouška: pouze ústní část - 1 otázka ze seznamu v přehledu probírané látky.
Garant
Doc. RNDr. Tomáš Kaiser, Ph.D.
Vyučující
Doc. RNDr. Tomáš Kaiser, Ph.D.