Descripción
Repleto de ejemplos visuales de conceptos, reglas de derivación y estrategias de prueba, este texto introductorio es ideal para estudiantes sin experiencia previa en lógica. Los estudiantes aprenderán a traducir tanto del lenguaje formal al inglés como del inglés al lenguaje formal; cómo usar tablas de verdad y árboles de verdad para probar proposiciones en busca de propiedades lógicas; y cómo construir y usar estratégicamente las reglas de derivación en las pruebas.
Autor: David Agler
Editorial: Rowman & Littlefield Publishers
Publicado: 13/12/2012
Páginas: 500
Tipo de encuadernación: Tapa blanda
Peso: 1.90 libras
Tamaño: 9.90h x 7.00w x 1.00d
ISBN13: 9781442217423
ISBN10: 1442217421
Categorías BISAC:
- Matemáticas | Lógica
Autor: David Agler
Editorial: Rowman & Littlefield Publishers
Publicado: 13/12/2012
Páginas: 500
Tipo de encuadernación: Tapa blanda
Peso: 1.90 libras
Tamaño: 9.90h x 7.00w x 1.00d
ISBN13: 9781442217423
ISBN10: 1442217421
Categorías BISAC:
- Matemáticas | Lógica
Acerca del autor
David Agler es profesor de filosofía en la Universidad Estatal de Pensilvania.