Course details

Logic

LOG Acad. year 2016/2017 Summer semester 5 credits

Current academic year

Guarantor

Šlapal Josef, prof. RNDr., CSc. (IM DAAG)

Language of instruction

Czech

Completion

Credit+Examination

Time span

Assessment points

  • 60 pts final exam
  • 20 pts mid-term test
  • 20 pts numeric exercises

Department

Dept. of Algebra and Discrete Mathematics (ÚM OAAG)

Study literature

  • 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

Fundamental literature

  • 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

Course inclusion in study plans

Back to top