Lógica para principiantes / María Manzano, Antonia Huertas.

Por: Manzano, MaríaColaborador(es): Huertas, Antonia [coautora]Tipo de material: TextoTextoIdioma: Español Detalles de publicación: Madrid : Alianza, 2006Edición: 1a ed. 2a reimprDescripción: 422 p. ; 24 cmISBN: 84-206-4570-2Tema(s): LOGICA | LENGUAJE
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.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Libros Libros 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.

Haga clic en una imagen para verla en el visor de imágenes