Úvod do logiky: klasická výroková logika

Jiří Raclavský
Anotace

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 (15) 978-80-210-7790-4
Fyzické rozměry 148 mm×210 mm
Počet stran 237
Rok vydání 2015
Pořadí vydání 1.

E-kniha (PDF)

ISBN-13 (15) 978-80-210-7964-9
Velikost souboru 6.3 MiB

Obecné informace

Jazyky Čeština

Podobné publikace