Úvod do logiky: klasická predikátová logika
Anotace
Název anglicky: Introduction to Logic: Classical Predicate Logic
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ů.
Více informací
Pevná vazba
| ISBN-13 | 978-80-210-7867-3 |
| Formát | 148 mm×210 mm |
| Počet stran | 239 |
| Rok vydání | 2015 |
| Pořadí vydání | 1. |
E-kniha (PDF)
| ISBN-13 | 978-80-210-7965-6 |
| Velikost souboru | 2.3 MiB |
Obecné informace
| Jazyky | Čeština |