Teorie formálních systémů

Typ studia	doktorské
Jazyk výuky	angličtina
Kód	460-6002/02
Zkratka	TFS
Název předmětu česky	Teorie formálních systémů
Název předmětu anglicky	Theory of Formal Systems
Kreditů	10
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Marie Duží, CSc.

Osnova předmětu

Důkazové kalkuly;
Přirozená dedukce;
Hilbertův kalkul;
Axiomatická teorie relací; uspořádání a ekvivalence
Axiomatická teorie funkcí; zobrazení, isomorfismy a homomorfismy
Algebraické teorie; grupy, okruhy, tělesa
Teorie svazů;
Teorie aritmetiky, Gödelovy výsledky o neúplnosti

Povinná literatura

M. Duží: Matematická logika. Skripta VŠB v elektronické podobě: http://www.cs.vsb.cz/duzi/Matlogika.pdf
A.Thayse et al.: From standard logic to logic programming /Introducing a logic based approach to arificial intelligence/. John Wiley and Sons, 1989
Kolář, J.-Štěpánková¨, O -Chytil, M.: Logika, algebra, grafy. Praha, SNTL 1989.
Lukasová, A.: Logické základy umělé inteligence, skripta PF Ostravské univerzity, 1999

Doporučená literatura

T Richards: Clausal form logic /An Introduction to the logic of computer reasoning/ Addison-Wesley, 1989
W.Bibel: Deduction /Automated Logic/. Academic Press, San Diego, 1993
Nerode, Anil - Shore, Richard A. Logic for applications. New York : Springer-Verlag, 1993. Texts and Monographs in Computer Science.
Fitting, Melvin. First order logic and automated theorem proving [1996]. 2nd ed. New York : Springer, Graduate texts in computer science.
F.Kroeger: Temporal Logic of Programs. Springer-Verlag,

zpět na vyhledávání