Primer curso de lógica matemática
Suppes, Patrick 1922-
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó . -- 1a edición . -- Barcelona : Reverté, 1988 (Reimpresión 2012). . -- ix, 283 paginas : ilustraciones, tablas, gráficas ; 22 cm.
Nota general : Incluye índice .Nota general : Titulo de la portada: Introducción a la lógica matemática .
Nota de 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: axiomas de la adición ; 8. Generalización universal
.
Reseña : 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 d e traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicio.
Título original : First course in mathematical logic.. (ISBN: )
8429151508 9788429151503
Lógica simbólica y matemática--Problemas, ejercicios, etc.
Lógica simbólica y matemática--Manuales
Hill, Shirley A. ; autor Linés Escardó, Enrique ; traductor
511.3 / S866i
Libro Colección General / Ej.1 / 0000000127253 / Central Bogotá / 511.3 S866i
Libro Colección General / Ej.2 / 0000000127254 / Central Bogotá / 511.3 S866i
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó . -- 1a edición . -- Barcelona : Reverté, 1988 (Reimpresión 2012). . -- ix, 283 paginas : ilustraciones, tablas, gráficas ; 22 cm.
Nota general : Incluye índice .Nota general : Titulo de la portada: Introducción a la lógica matemática .
Nota de 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: axiomas de la adición ; 8. Generalización universal
.
Reseña : 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 d e traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicio.
Título original : First course in mathematical logic.. (ISBN: )
8429151508 9788429151503
Lógica simbólica y matemática--Problemas, ejercicios, etc.
Lógica simbólica y matemática--Manuales
Hill, Shirley A. ; autor Linés Escardó, Enrique ; traductor
511.3 / S866i
Libro Colección General / Ej.1 / 0000000127253 / Central Bogotá / 511.3 S866i
Libro Colección General / Ej.2 / 0000000127254 / Central Bogotá / 511.3 S866i