Esaurito ma molto ricercato!
Maggiori informazioni sul libro
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ů.
Acquisto del libro
Úvod do logiky: klasická výroková logika, Jiří Raclavský
- Lingua
- Pubblicato
- 2015
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.
- Titolo
- Úvod do logiky: klasická výroková logika
- Lingua
- Ceco
- Autori
- Jiří Raclavský
- Editore
- Masarykova univerzita
- Pubblicato
- 2015
- Formato
- Copertina rigida
- Pagine
- 240
- ISBN10
- 8021077905
- ISBN13
- 9788021077904
- Serie
- Valutazione
- 3,5 su 5
- Descrizione
- 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ů.