Primer Curso de Lógica Matemática

En las matemáticas modernas, tanto la teoría de la prueba como la derivación de teoremas a partir de axiomas tienen una importancia incuestionable. Sin embargo, las habilidades necesarias para estos métodos a menudo están subdesarrolladas. Este libro contrarresta esa negligencia con una introducción rigurosa que es lo suficientemente simple en su presentación y contexto como para permitir una comprensión relativamente fácil. Comprende la teoría sentencial de la inferencia, la inferencia con cuantificadores universales y las aplicaciones de la teoría de la inferencia desarrolladas para la teoría elemental de los grupos conmutativos. A lo largo del libro, los autores enfatizan el problema generalizado e importante de traducir oraciones en inglés a un simbolismo lógico o matemático. Su estilo de escritura claro y coherente asegura que este trabajo pueda ser utilizado por estudiantes de una amplia gama de edades y habilidades.

Autor: Patrick Suppes, Shirley Hill
Editorial: Dover Publications
Publicado: 17/06/2010
Páginas: 288
Tipo de encuadernación: Tapa blanda
Peso: 0.69lbs
Tamaño: 8.46h x 6.38w x 0.63d
ISBN13: 9780486422596
ISBN10: 0486422593
Categorías BISAC:
- Matemáticas | Lógica

Este título no es retornable