Detail předmětu

Logika

LOG Ak. rok 2016/2017 letní semestr 5 kreditů

Aktuální akademický rok

Garant předmětu

Šlapal Josef, prof. RNDr., CSc. (ÚM OAAG)

Jazyk výuky

česky

Zakončení

zápočet+zkouška

Rozsah

Bodové hodnocení

  • 60 bodů závěrečná zkouška
  • 20 bodů půlsemestrální test
  • 20 bodů numerická cvičení

Zajišťuje ústav

ÚM-odbor algebry a diskrétní matematiky (ÚM OAAG)

Literatura studijní

  • E. Mendelson, Introduction to Mathematical Logic, Chapman&Hall, 2001
  • A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 1993
  • D.M. Gabbay, C.J. Hogger, J.A. Robinson, Handbook of Logic for Artificial Intellogence and Logic Programming, Oxford Univ. Press 1993
  • G. Metakides, A. Nerode, Principles of logic and logic programming, Elsevier, 1996
  • Melvin Fitting, First order logic and automated theorem proving, Springer, 1996
  • Sally Popkorn, First steps in modal logic, Cambridge Univ. Press, 1994
  • A. Sochor, Klasická matematická logika, Karolinum, 2001
  • V. Švejnar, Logika, neúplnost a složitost, Academia, 2002

Literatura referenční

  • E. Mendelson, Introduction to Mathematical Logic, Chapman&Hall, 2001
  • A. Nerode, R.A. Shore, Logic for Applications, Springer-Verlag 1993
  • D.M. Gabbay, C.J. Hogger, J.A. Robinson, Handbook of Logic for Artificial Intelligence and Logic Programming, Oxford Univ. Press 1993
  • G. Metakides, A. Nerode, Principles of logic and logic programming, Elsevier, 1996
  • Melvin Fitting, First order logic and automated theorem proving, Springer, 1996
  • Sally Popkorn, First steps in modal logic, Cambridge Univ. Press, 1994

Zařazení předmětu ve studijních plánech

Nahoru