Úvod do logiky

Summary

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.

Literature

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

Advised literature

http://www.phil.muni.cz/fil/logika/

back to search page

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.