Primer curso de lógica matemática / Patrick Suppes [y] Shirley Hill ; [versión española Enrique Lines Escardo].
Idioma: Español Barcelona : México : Reverté , 2007Descripción: 283 páginas ; 21 cmTipo de contenido:- text
- unmediated
- volume
- 9789686708011
- 9788429151503
- Introducción a la lógica matemática [Título de cubierta]
- 511.3 S959p 2007
Contenidos:
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 | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central Estantería | General | 511.3 S959p 2007 (Navegar estantería(Abre debajo)) | c.1 | Disponible | 35605001847997 | ||
Libros | Biblioteca Central Estantería | General | 511.3 S959p 2007 (Navegar estantería(Abre debajo)) | c.2 | Disponible | 35605001847980 | ||
Libros | Biblioteca Central | General | 511.3 S959p 2007 (Navegar estantería(Abre debajo)) | c.3 | Disponible | 35605001847973 | ||
Libros | Biblioteca Central Estantería | General | 511.3 S959p 2007 (Navegar estantería(Abre debajo)) | c.4 | Disponible | 35605001847966 | ||
Libros | Biblioteca Central Estantería | General | 511.3 S959p 2007 (Navegar estantería(Abre debajo)) | c.5 | Disponible | 35605001847959 |
Navegando Biblioteca Central estanterías, Ubicación en estantería: Estantería, Colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
511.3 S959p 1968 Primer curso de lógica matemática / | 511.3 S959p 1968 Primer curso de lógica matemática / | 511.3 S959p 1968 Primer curso de lógica matemática / | 511.3 S959p 2007 Primer curso de lógica matemática / | 511.3 S959p 2007 Primer curso de lógica matemática / | 511.3 S959p 2007 Primer curso de lógica matemática / | 511.3 S959p 2007 Primer curso de lógica matemática / |
Incluye índice analítico, índice alfabético y ejercicios
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.
First course in mathematical logic