Cílem předmětu je seznámit studenty s pojmovým aparátem a metodami výrokové logiky, predikátové logiky 1. řádu a teorií formálních systémů. Tento aparát a tyto metody jsou běžně používány v různých oblastech informatiky (precizace a formalizace intuitivních poznatků a teorií, automatizace dokazování a vyvozování, umělá inteligence ...) a mnoha jiných exaktních disciplínách.
Doporučená literatura
[1] Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.
[2] Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
[3] Brown, J.R.: Philosophy of Mathematics. Routledge, 1999.
[4] Thayse, A.: From Standard Logic to Logic Programming, John Wiley & Sons, 1988
[5] Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
[6] Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Adison-Wesley, 1989.
[7] Bibel, W.: Deduction (Automated Logic). Academia Press, 1993.
[8] Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, 1996. Graduate texts in computer science.