Předmět Logika (KMA / LOG)
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 / LOG - Logika, Pedagogická fakulta, Jihočeská univerzita v Českých Budějovicích (JU).
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
Matematika a logika.2. Jazyk výrokové logiky.3. Sémantický přístup k výrokové logice.4. Syntax výrokové logiky.5. Věta o dedukci.6. Postova věta .7. Jazyk predikátové logiky.8. Sémantický přístup k predikátové logice.9. Matematické teorie 1.řádu.10. Sémantika matematických teorií 1.řádu.11. Syntaktický přístup k predikátové logice.12. Modely matematických teorií 1.řádu.13. Věta o úplnosti predikátové logiky.14. Bezespornost a úplnost matematickýchteorií 1.řádu.
Získané způsobilosti
lepší orientace v matematickém textu
Literatura
Mendelson , E. :. Introduction to Mathematical Logic (ruský překlad : Nauka Moskva 1971). Sochor , A. :. Klasická matematická logika. Praha, 2001. Štěpánek , P. :. Matematická logika , SPN Praha 1982. Balcar B. , Štěpánek P. :. Teorie množin ,Academia Praha 1986.
Požadavky
úspěšně projít dvěma písemnými testy
Garant
Mgr. Radek Vejmelka
Vyučující
Mgr. Radek Vejmelka