Mathematical Logic

Mathematical Logic
460-4088/01
čeština Mathematical Logic
460-4088/02
angličtina

Anotace

The course deals with fundamentals of mathematical logic and formal proof calculi. The following main topics are covered: propositional logic, 1st-order predicate logic, 1st-order proof calculi of Gentzen and Hilbert style and general resolution method. These methods are used in many areas of informatics in order to achieve a rigorous formalisation of intuitive theories (automatic theorem proving and deduction, artificial intelligence, and many others).

Povinná literatura

[1] E. Mendelson. Introduction to Mathematical Logic, (4th edition). Chapman & Hall/CRC 1997.

Doporučená literatura

[1] Brown, J.R.: Philosophy of Mathematics. Routledge, 1999.
[2] Thayse, A.: From Standard Logic to Logic Programming, John Wiley & Sons, 1988
[3] Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
[4] Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Adison-Wesley, 1989.

zpět na vyhledávání

Language of instruction	čeština, angličtina
Code	460-4088
Abbreviation	ML
Course title	Mathematical Logic
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.