Course details

Logic

QM4 Acad. year 2004/2005 Summer semester

Current academic year

Guarantor

Havel Václav, prof. RNDr., DrSc.

Language of instruction

Czech

Completion

Examination

Department

Department of Mathematics (UMAT)

Study literature

  • 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.

Fundamental literature

  • 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
Back to top