Stepan, J.: Logika a logicke systemy. Votobia Olomouc, 1992.
Manna, Z.: Matematicka teorie programu;. SNTL Praha, 1981.
Gaher, F.: Logika pre kazdeho. IRIS Bratislava, 1998.
Gaher, F.: Logicke hadanky a paradoxy. IRIS Bratislava, 1997.
Smullyan, R.M.: Jak se jmenuje tahle knížka? Mladá Fronta, Praha 1986.
Lukasova, A.: Logicke zaklady umele inteligence. Skripta Ostravska universita, 1997.
Metakides, G. - Nerode, A.: Principles of Logic and Logic Programming. North-Holland, 1996.
http://www.cs.vsb.cz/duzi/ Courses
Úvod do logiky
| Jazyk výuky | čeština |
|---|---|
| Kód | 456-0535 |
| Zkratka | UDL |
| Název předmětu česky | Úvod do logiky |
| Název předmětu anglicky | Introduction to Logic |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | prof. RNDr. Marie Duží, CSc. |
Anotace
Predmet pokryva zakladni pojmovy aparat a metody vyrokove logiky a predikatove logiky 1. radu. Student bude rovnez seznamen s metodami automatickeho dokazovani a odvozovani. Tento aparat a metody jsou bezne pouzivany v ruznych oblastech informatiky (precizace a formalizace intuitivnich poznatku a teorii, jazyky logickeho programovani, umela inteligence ...) a v mnoha jinych exaktnich disciplinach.