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