Ubicación Física: 511.3
Introducción a la lógica matemática / | |
Autor: | Suppes, Patrick. |
Otros Autores: | Hill, Shirley . |
Pié de imprenta: | España : Editorial Reverte, 2018. |
Descripción: | 283 páginas ; 16x22cm. |
ISBN: | 9788429151503. |
Tema(s): | |
Contenido: | 1. Simbolización de proposiciones. -- 2. Inferencia lógica. -- 3. Certeza y validez. -- 4. Tablas de certeza. -- 5. Términos, predicados y cuantificadores universales. -- 6. Especificación universal y leyes de identidad. -- 7. Un sistema matemático simple. -- 8. Generalización universal. |
Resumen: | 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. |
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro de Reserva | Biblioteca Sede Centro Sede Centro | Colección Reserva | 511.3 / S86i (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SC01758 | |
Libro General | Biblioteca Sede Centro Sede Centro | Colección General | 511.3 / S86i (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SC01759 |
Indice analítico
1. Simbolización de proposiciones. -- 2. Inferencia lógica. -- 3. Certeza y validez. -- 4. Tablas de certeza. -- 5. Términos, predicados y cuantificadores universales. -- 6. Especificación universal y leyes de identidad. -- 7. Un sistema matemático simple. -- 8. Generalización universal.
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.
No hay comentarios en este titulo.