|
|
|
||
Poslední úprava: Mgr. Bc. Karel Zavřel (07.10.2016)
|
|
||
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: 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: 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)
Docházka, aktivní účast a seminární práce. |
|
||
Poslední úprava: Mgr. Bc. Karel Zavřel (07.10.2016)
Sylogismus. Sylogistika. Výrok. Výrokový počet. Logické operace. Vlastnosti logických operací. |