V předmětu budou prezentovány základní principy formálních logických kalkulů a axiomatických teorií, zejména pak algebraických teorií. Dále budou zdůrazněny souvislosti mezi rigidním pohledem logiky a praktickými aplikacemi v informatice.
Povinná literatura
M.Duží: Matematická logika. Učební texty VŠB Ostrava.
J.Kolář, O.Štěpánková, M.Chytil: Logika, algebra, grafy. Praha, SNTL 1989.
J.Matoušek, J.Nešetřil. Kapitoly z diskrétní matematiky, Karolinum Praha 2000.
Manna, Z.: Matematická teorie programů. SNTL Praha, 1981.
Doporučená literatura
Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
Švejdar, V.: Logika, neúplnost a složitost. Academia Praha, 2002.