Introducción a la lógica matemática Patrick Suppes y Shirley Hill ; traducción Enrique Lines Escardo
Tipo de material: TextoIdioma: Español Lenguaje original: Inglés Detalles de publicación: Barcelona Reverté 1973-2007Edición: 1a ediciíonDescripción: 278 páginas 22 cmISBN:- 8429151508 (1973)
- 8429151508 (2004)
- 9686708014 (2004)
- 9789686708011 (2004)
- 9789686708011 (2007)
- 9788429151503 (2007)
- Primer curso de lógica matemática
- 511.3 S866p 23
Contenidos incompletos:
Revisión: El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
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
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000141298 | ||
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000024533 | ||
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 3 | Disponible | 0000000114933 | ||
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 5 | Disponible | 0000000026961 | ||
Libro Colección Reserva | Central Bogotá Sala General | Colección Reserva | 511.3 S866p (Navegar estantería(Abre debajo)) | 6 | Disponible | 0000000046918 | ||
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 10 | Disponible | 0000000057206 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000026959 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000026960 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000092737 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000072689 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 2 | Disponible | 0000000072690 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 2 | Disponible | 0000000082106 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.3 S866p (Navegar estantería(Abre debajo)) | 3 | Disponible | 0000000097572 |
Navegando Central Bogotá estanterías, Ubicación en estantería: Sala General, Colección: Colección Reserva Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Incluye índice
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
El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
First course in mathematical logic