course can be enrolled in outside the study plan enabled for web enrollment priority enrollment if the course is part of the study plan you can enroll for the course in winter and in summer semester
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: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
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: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
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: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
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: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
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: ZHOUF/PEDF.CUNI.CZ (29.10.2008)
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.
