|
|
|
||
Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)
|
|
||
Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)
Cílem předmětu je vysvětlit studentům potřebu formalizace logiky a předvést formalizaci klasického výrokového počtu. Důraz se klade na odlišení sémantiky a syntaxe logického kalkulu a na objasnění jejich vzájemného vztahu. Kurs vyvrcholí důkazem věty o úplnosti výrokového počtu, která formálně ukazuje, že formalizace výrokového počtu byla "správná", tedy že každý argument, který je sémanticky správný (t.j. platný) je možné ve formálním systému odvodit. |
|
||
Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (02.09.2019)
Graham Priest: Logika, průvodce pro každého. Dokořán 2007. Raymond M. Smullyan: Jak se jmenuje tahle knížka? Praha : Mladá fronta 1986 (nebo Praha : Portál 2015). Ernest Nagel a James Newman: Goedelův důkaz. Vutium, Brno 2006. Kamila Bendová: Sylogistika. Praha : Karolinum 1998. Jaroslav Peregrin: Logika a logiky. Praha : Academia 2004. Antonín Sochor: Logika pro všechny ochotné myslet. Praha : Karolinum 2011. Raymond M. Smullyan: Navěky nerozhodnuto. Praha : Academia 2003. Douglas R. Hofstaedter: Goedel, Escher, Bach. Dokořán, Praha 2012. Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001. Barwise: Handbook of Mathematical logic. Nort-Holland, 1977.
|
|
||
Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (10.01.2020)
K předmětu je vytvořen kurz v LMS Moodle: https://dl1.cuni.cz/course/view.php?id=2015 přístup pro hosta s heslem: akreditace |