Mathematical Foundations of Informatics

Mathematical Foundations of Informatics
456-0317/01
čeština

Summary

The course is oriented to basic principles of formal logical calculae and axiomatic theories, in particular algebraic theories. Practical applicability of this rigid logical view-point in informatics is stressed.

Literature

M. Duzi: Mathematical Logic and Proof Calculi. Retrivable at: http://www.cs.vsb.cz/duzi/mzi.html
M. Duzi: Goedel's Results on Completeness and Incompleteness.
Retrivable at: http://www.cs.vsb.cz/duzi/mzi.html

Advised literature

Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
Švejdar, V.: Logika, neúplnost a složitost. Academia Praha, 2002.

back to search page

Language of instruction	čeština
Code	456-0317
Abbreviation	MZI
Course title	Mathematical Foundations of Informatics
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.