The course focuses on the basics of classical propositional calculus, its axiomatics, semantics, and methods of inference and proof theory. A brief introduction to exploring logical thinking is also included.
Last update: Zavřel Karel, Mgr. Bc. (07.10.2016)
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 exkurz do metod zkoumání logického myšlení.
Last update: Zavřel Karel, Mgr. Bc. (07.10.2016)
Aim of the course -
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 (27.06.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í.
Last update: JANCARIK/PEDF.CUNI.CZ (27.06.2012)
Literature -
Sochor, Logika pro všechny ochotné myslet. Praha : Karolinum 2011.
Smullyan, Jak se jmenuje tahle knížka? Praha : Mladá fronta 1986 (nebo Praha : Portál 2015).
Bendová, Sylogistika. Praha : Karolinum 1998.
Peregrin, Logika a logiky. Praha : Academia 2004.
Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.
Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.
Last update: Zavřel Karel, Mgr. Bc. (07.10.2016)
Sochor, Logika pro všechny ochotné myslet. Praha : Karolinum 2011.
Smullyan, Jak se jmenuje tahle knížka? Praha : Mladá fronta 1986 (nebo Praha : Portál 2015).
Bendová, Sylogistika. Praha : Karolinum 1998.
Peregrin, Logika a logiky. Praha : Academia 2004.
Smullyan, Navěky nerozhodnuto. Praha : Academia 2003.
Barwise, Handbook of Mathematical logic. Nort-Holland, 1977.
Last update: Zavřel Karel, Mgr. Bc. (07.10.2016)
Teaching methods -
Seminar.
Last update: JANCARIK/PEDF.CUNI.CZ (27.06.2012)
Seminář.
V případě omezení prezenční výuky budou ve stanovených časech probíhat on-line setkání. Od studentů se očekává, že budou mít technické vybavení, které jim umožní se zapojovat do diskuze (mikrofon a kameru).
Last update: Kvasz Ladislav, prof. RNDr., DSc., Dr. (14.09.2020)
Requirements to the exam -
The course is taught only in Czech, so the requirements are only in Czech.
Last update: Jančařík Antonín, doc. RNDr., Ph.D. (29.10.2019)
Docházka, aktivní účast a seminární práce.
Last update: JANCARIK/PEDF.CUNI.CZ (27.06.2012)
Syllabus -
Syllogism. Syllogistics.
Proposition. Propositional calculus. Logic operations and their properties. Connection to set theory. Boolean algebra. Mathematical proofs. Modal propositional logic.
Last update: Zavřel Karel, Mgr. Bc. (07.10.2016)
Sylogismus. Sylogistika.
Výrok. Výrokový počet.
Logické operace. Vlastnosti logických operací. Souvislost s teorií množin. Booleova algebra. Matematické důkazy. Modální výroková logika.
