¡Agotado, pero muy deseado!
Más información sobre el 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ů.
Compra de libros
Úvod do logiky: klasická výroková logika, Jiří Raclavský
- Idioma
- Publicado en
- 2015
- product-detail.submit-box.info.binding
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nos falta tu reseña aquí
- Título
- Úvod do logiky: klasická výroková logika
- Idioma
- Checo
- Autores
- Jiří Raclavský
- Editorial
- Masarykova univerzita
- Publicado en
- 2015
- Formato
- Tapa dura
- Páginas
- 240
- ISBN10
- 8021077905
- ISBN13
- 9788021077904
- Serie
- Etiquetas
- No ficción, Libros de texto, Matemáticas y lógica, Lógica
- Calificación
- 3,5 de 5
- Descripción
- 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ů.