Úvod do logiky: klasická výroková logika
Anotace
Název anglicky: Introduction to Logic: Classical Propositional Logic
Kniha „Úvod do logiky: klasická výroková logika“ je první čá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é výrokové 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-7790-4 |
| Formát | 148 mm×210 mm |
| Počet stran | 237 |
| Rok vydání | 2015 |
| Pořadí vydání | 1. |
E-kniha (PDF)
| ISBN-13 | 978-80-210-7964-9 |
| Velikost souboru | 6.3 MiB |
Obecné informace
| Jazyky | Čeština |