|
|
|
||
Last update: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
|
|
||
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 (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 (21.02.2009)
Seminar. |
|
||
Last update: ZHOUF/PEDF.CUNI.CZ (07.02.2012)
Docházka, aktivní účast a seminární práce. |
|
||
Last update: ZHOUF/PEDF.CUNI.CZ (21.02.2009)
Proposition. Propositional calculus. Logic operations and their properties. Connection to set theory. Boolean algebra. Mathematical proofs. Modal propositional logic. Undecidable propositions - Gödel's theorems. |