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.
Advised literature
Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.
Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
Brown, J.R.: Philosophy of Mathematics. Routledge, 1999.
Thayse, A.: From Standard Logic to Logic Programming, John Wiley & Sons, 1988
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
Richards, T.: Clausal Form Logic. An Introduction to the Logic of Computer Reasoning. Adison-Wesley, 1989.
Bibel, W.: Deduction (Automated Logic). Academia Press, 1993.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, 1996. Graduate texts in computer science.