Theory of Formal Systems

Theory of Formal Systems
460-6002/01
čeština Theory of Formal Systems
460-6002/02
angličtina

Summary

This course is a summary and an extension of the course on Mathematical Logic that is being offered to undergraduate students. Unlike the latter that concentrates on pure mathematical logtic, the former gives a greater saliency to formal proof calculi and theories, in particular their application in computer science. Students obtain information on theories applied in knowledge-based systems, artificial intelligence, multi-agent systems and other disciplines of computer science.

Literature

A.Thayse et al.: From standard logic to logic programming /Introducing a logic based approach to arificial intelligence/. John Wiley and Sons, 1989

Advised literature

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,

back to search page

Language of instruction	čeština, angličtina
Code	460-6002
Abbreviation	TFS
Course title	Theory of Formal Systems
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.