jueves, 7 de abril de 2016

Introducción a la lógica matemática - Patrick Suppes & Shirley Hill

El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio.
Se ha insistido mucho a lo largo del texto en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicios.

La Lógica Matemática se ha convertido en una materia no sólo profunda,sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática, formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos lógicos del razonamiento deductivo en Matemáticas y a las Ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas.

Tabla de Contenido:
  • Simbolización de proposiciones.
  • Interferencia lógica.
  • Certeza y validez. Tablas de certeza.
  • Términos, predicados y cuantificaciones universales.
  • Especificación universal y leyes de identidad.
  • Un sistema matemático simple: axiomas de la adición.
  • Generalización universal.
Captura:

Enlace de Descarga: [73.7 MB]
*Mega:              OPCION 1 |  OPCION 2  | OPCION 3

0 comentarios:

Publicar un comentario