Poslední úprava: Mgr. Bc. Karel Zavřel (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í.
Poslední úprava: Mgr. Bc. Karel Zavřel (07.10.2016)
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.
Cíl předmětu -
Poslední úprava: 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í.
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (27.06.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.
Literatura -
Poslední úprava: Mgr. Bc. Karel Zavřel (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.
Poslední úprava: Mgr. Bc. Karel Zavřel (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.
Metody výuky -
Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (14.09.2020)
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).
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (27.06.2012)
Seminar.
Požadavky ke zkoušce -
Poslední úprava: JANCARIK/PEDF.CUNI.CZ (27.06.2012)
Docházka, aktivní účast a seminární práce.
Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)
The course is taught only in Czech, so the requirements are only in Czech.
Sylabus -
Poslední úprava: Mgr. Bc. Karel Zavřel (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.
Poslední úprava: Mgr. Bc. Karel Zavřel (07.10.2016)
Syllogism. Syllogistics.
Proposition. Propositional calculus. Logic operations and their properties. Connection to set theory. Boolean algebra. Mathematical proofs. Modal propositional logic.