Logica I : Filosofía de las Matemáticas
Detalles de publicación: Lima : IP, 1980Edición: 1raDescripción: 680 páginasISBN:- fcnm599
- 510.1/M64
Contenidos:
1.La lógica como teoría de la deducción. 2.El lenguaje de la lógica. 3.Análisis intuitivo del concepto de deducción. 4.El método axiomático. 5.El teorema de la deducción. 6.La interpretación de los lenguajes de primer orden. 7.Métodos de deducción formal en la lógica de primer orden.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Biblioteca Especializada FCNM Tercer Piso | 510.1/M64 (Navegar estantería(Abre debajo)) | Disponible | Interno | FCNM908 |
Navegando Biblioteca Especializada FCNM estanterías, Ubicación en estantería: Tercer Piso Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 510.1/M28 Matemáticas para Físicos | 510.1/M28 Matemáticas para Físicos | 510.1/M28 Matemáticas para Físicos | 510.1/M64 Logica I : Filosofía de las Matemáticas | 510.1/M83 Teoría y Problema de Matemática Básica | 510.1/R47 Historia de la Matemática | 510.1/R63 Ampliación de Matemáticas |
1.La lógica como teoría de la deducción. 2.El lenguaje de la lógica. 3.Análisis intuitivo del concepto de deducción. 4.El método axiomático. 5.El teorema de la deducción. 6.La interpretación de los lenguajes de primer orden. 7.Métodos de deducción formal en la lógica de primer orden.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.