|
|
|
||
Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)
|
|
||
Last update: doc. RNDr. Antonín Jančařík, Ph.D. (08.12.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. |
|
||
Last update: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)
Graham Priest: Logika, průvodce pro každého. Dokořán 2007. Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986. Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003. Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001. Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.
|
|
||
Last update: doc. RNDr. Antonín Jančařík, Ph.D. (10.01.2020)
K předmětu je připraven kurz v LMS Moodle: https://dl1.cuni.cz/course/view.php?id=2015 přístup pro hosta s heslem: akreditace |