Lógica para principiantes / María Manzano, Antonia Huertas.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Contenidos parciales:
I. Lógica proporcional
1. Introducción general. -- 2. El lenguaje de la lógica proporcional. -- 3. Semántica. -- 4. Tableaux semánticos. -- 5. Otros cálculos proporcionales.
II. Conjunto y diagramas
6. Teoría básica de conjuntos. -- 7. Diagramas de Venn. -- 8. Relaciones y funciones.
III. Lógica de primer orden
9. El lenguaje de la lógica de primer orden. -- 10. Semántica. -- 11. Tableaux para lógica de primer orden. -- 12. Otros cálculos de primer orden.
IV. Apéndices:
A. Fundamentos de la Lógica en el siglo XX. -- B. Glosario e Índice alfabético. -- C. Metateoremas semánticos. -- D. Corrección y completud. -- Bibliografía.
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
![]() |
UCU Centro Regional Gualeguaychú Carrera Docente | 160 | M 3 (Navegar estantería(Abre debajo)) | 1 | Sala | 2982 |
Total de reservas: 0
I. Lógica proporcional
1. Introducción general. -- 2. El lenguaje de la lógica proporcional. -- 3. Semántica. -- 4. Tableaux semánticos. -- 5. Otros cálculos proporcionales.
II. Conjunto y diagramas
6. Teoría básica de conjuntos. -- 7. Diagramas de Venn. -- 8. Relaciones y funciones.
III. Lógica de primer orden
9. El lenguaje de la lógica de primer orden. -- 10. Semántica. -- 11. Tableaux para lógica de primer orden. -- 12. Otros cálculos de primer orden.
IV. Apéndices:
A. Fundamentos de la Lógica en el siglo XX. -- B. Glosario e Índice alfabético. -- C. Metateoremas semánticos. -- D. Corrección y completud. -- Bibliografía.