[1] M. Duží: Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava, 2012. ISBN 978-80-248-2662-2
[2] M.Duží: Matematická logika. Učební texty VŠB Ostrava. http://www.cs.vsb.cz/duzi/Mat-logika.html
[3] Z. Manna: Matematická teorie programů. McGraw-Hill, 1974, SNTL Praha 1981.
Matematická logika
| Jazyk výuky | angličtina, čeština |
|---|---|
| Kód | 460-4088 |
| Zkratka | ML |
| Název předmětu česky | Matematická logika |
| Název předmětu anglicky | Mathematical Logic |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | prof. RNDr. Marie Duží, CSc. |
Anotace
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.
Povinná literatura
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.
[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.