Theory of Formal Systems

Type of study	Doctoral
Language of instruction	Czech
Code	460-6002/01
Abbreviation	TFS
Course title	Theory of Formal Systems
Credits	10
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.

Subject syllabus

Proof calculi;
Natural deduction;
Sequent calculus
Hilbert kalkul;
Axiomatic theories of relations; ordering and equivalence
Axiomatic theory of functions; mapping, isomorphisms and homomorphisms
Algebraic teories; groups, fields
Theory of lattices; relational vs. algebraic
Theories of arithmetic, Gödel's theorems on incompleteness

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