The course focuses on the basics of classical propositional calculus, its axiomatics, semantics, and methods of inference and proof theory. A brief introduction to modal propositional calculus is also included, and Gödel's theorems (undecidable propositions) are mentioned.
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
Předmět se zabývá základy klasického výrokového počtu, jeho axiomatikou, sémantikou a metodami odvozování a dokazování. Do kurzu je zařazen i stručný úvod do modální výrokové logiky a seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.
Aim of the course -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
The goal is to introduce the basics of classical propositional calculus, especially its axiomatics and semantics, and main characteristics. The practice in inference and proofs is emphasized.
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
Cílem předmětu je seznámit studenty se základy klasického výrokového počtu, především s jeho axiomatikou a sémantikou
a základními charakteristikami. Důraz je kladen především na odvozování a dokazování.
Literature -
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
Sochor, Klasická matematická logika. Praha : Karolinum 2001.
Peregrin, Logika a logiky. Praha : Academia 2004.
Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.
Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.
Last update: JANCARIK/PEDF.CUNI.CZ (17.05.2012)
Sochor, Klasická matematická logika. Praha : Karolinum 2001.
Peregrin, Logika a logiky. Praha : Academia 2004.
Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.
Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.