Detail předmětu
Logika
Garant předmětu
Jazyk výuky
česky
Zakončení
zkouška
Zajišťuje ústav
Ústav matematiky (UMAT)
Literatura studijní
- Originální úvod do predikátové logiky od Petra Vopěnky, vydaný v r. 1977 ve Státním nakladatelství pedagogické literatury pod názvem "Množiny a přirozená čísla" s úmyslným vynecháním autora.
- Jeršov-Paljutin, Matěmatičeskaja logika, Nauka, Moskva, 1987.
- Lavrov/Maksimova, Zadači po těoriji množestv v matěmatičeskoj logike i těorii algoritmov, Nauka, Moskva, 1984.
- Pottmann-Wallner, Computational Line Geometry, Berlin-Heidelberg-New York, 2001.
- Leitsch, The Resolution Calculus, Berlin-Heidelberg-New York 1997, inv.č. 5330.
Literatura referenční
- Petr Štěpánek, Matematická logika, SPN, Praha, 1982.
- Jiří Brabec, Matematická logika, ČVUT, Praha, 1975.
- Delahaye, Outils logiques pour l'Intelligence artificielle, Eyrolles, Paris, 1988.
- Šalát-Smítal, Teória množin, Alfa, Bratislava, 1986.
- Bukovský, Množiny a všeličo kolem nich, Alfa, Bratislava, 1985.
- J.van Leeuwen, Handbook of theoretical computer science, Elsevier, Amsterdam, 1990.
- Engeler, Metamathematik der Elementarmathematik, Springer, Berlin, 1983.
- A.Sochor:Klasická matematické logika,Karolinum, Praha, 2001
- R.M.Smullyan:Gödel´s Incompleteness Theorems,Oxford University Press,New York-Oxford,1992
- J.L.Bell: Notes on Formal Logic; viz http://publish.uwo.ca/~jbell/LNOTES.pdf
- S. Biliniuk,A Problem Course in Mathematical Logic,Trent University Ontario, 2006;viz http://euclid.trentu.ca/math/sb/pcml/
- Greg Restall:Relevant and Substructural Logics, pp.289-398 in Handbook of the History of Logic,vol.7 (ed. D.Gabbay and J.Woods).Elsevier, 2006
- J.Peregrin:Logika a logiky,Academia, Praha, 2004
R.Bělohlávek,Matematická logika-poznámky k přednáškám,Universita Palackého Olomouc, 2004 - P.Jirků-J.Vejnarová:Logika,VŠE+FF UK Praha,2004