El lenguaje de la lógica de primer orden / Jon Barwise y John Etchemendy.
Tipo de material: TextoDetalles de publicación: Córdoba, Argentina : Editorial Brujas, c1992Edición: 1a edDescripción: 320 pTema(s): Clasificación CDD:- 511.3
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro | Biblioteca Manuel Belgrano | 511.3 B 55849 (Navegar estantería(Abre debajo)) | Disponible | 55849 | ||
Libro | Biblioteca Manuel Belgrano | 511.3 B 54206 (Navegar estantería(Abre debajo)) | Disponible | 54206 |
1. Introducción -- Pte. 1. Lógica proposicional: 2. Enunciados atómicos -- 3. Conjunciones, disyunciones y negaciones -- 4. Condicionales y bicondicionales -- Pte. 2. Cuantificadores: 5. Introducción a la cuantificación --6. Enunciados con más de un cuantificador -- 7. Algunos usos específicos de cuantificadores -- Pte. 3. Aplicaciones de la lógica de primer orden : 8. Teoría de conjuntos de primer orden -- 9. Inducción -- Pte. 4. Tópicos avanzados de lógica proposicional: 10. Tópicos avanzados de lógica proposicional -- 11. Tópico avanzado de LPO -- Material de referencia, cómo usar el mundo de Tarski -- Terminología de windows -- Resumen de reglas de demostración.
Este libro presenta un nuevo enfoque en la enseñanza de la lógica de primer orden. Apoyándose en el Tarski's World 4.0, el texto equilibra inteligentemente la concepción semántica de la lógica con métodos de demostración.
No hay comentarios en este titulo.