Úvod do logiky: Klasická predikátová logika tempo & emoce
Jiří Raclavský
https://www.databazeknih.cz/img/books/54_/540834/bmid_uvod-do-logiky-klasicka-predikatova-logika.jpg
0
0
0
Kniha „Úvod do logiky: klasická predikátová logika“ je druhou částí vícedílného úvodu do logiky, jenž je zaměřen především na humanitní a společenskovědní publikum a další zájemce o logiku. Kromě důležitých poznatků o klasické predikátové logice jako takové je čtenář postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování, jednak s aplikacemi tohoto na oblast přirozeného jazyka. V knize najde čtenář rovněž řadu praktických cvičení, v nichž se kromě formálních postupů naučí zejména pohotově budovat ekvivalenty či negace vět a ověřovat platnost úsudků.... celý text
Tempo čtení
| rychlé |  |
|
0 % |
| střední |  |
|
0 % |
| pomalé |  |
|
0 % |
Žádný uživatel zatím neuvedl tempo čtení této knihy. Buďte první.
Emoce z knihy
Žádný uživatel zatím nepřidal emoce z této knihy. Buďte první.
Autorovy další knížky
| 2015 |  Úvod do logiky: klasická výroková logika |
| 2011 |  Individua a jejich vlastnosti - studie z intenzionální metafyziky |
| 2009 | Jména a deskripce |
| 2014 | Pojmy a vědecké teorie |
| 2020 | Základy logiky přesvědčení |