Lógica para principiantes / María Manzano, Antonia Huertas.
Tipo de material:
TextoIdioma: Español Detalles de publicación: Madrid : Alianza, 2006.Edición: 1a ed. 2a reimprDescripción: 422 p. ; 24 cmISBN: - 84-206-4570-2
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Código de barras | |
|---|---|---|---|---|---|---|
Libros
|
UCU Centro Regional Gualeguaychú C. Docente | 160 | M 3 (Navegar estantería(Abre debajo)) | 1 | Sala | 00002982 |
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.
Haga clic en una imagen para verla en el visor de imágenes