>
preloaders
Portada

Lógica para principiantes

María Manzano (autor/a)
Antonia Huertas (autor/a)

Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepción, poniendo especial énfasis en la semántica. Aporta técnicas sencillas de prueba: diagramas de Venn para la lógica de predicados monarios y tableaux semánticos, cálculos de resolución y de deducción natural, tanto para la lógica proposicional como para la de primer orden. Contiene varios apéndices con un glosario, un índice analítico y unas notas históricas sobre los fundamentos de la lógica en el siglo XX. Le acompaña un CD interactivo con más de 2.000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.


Índice


Parte 1. Lógica proposicional
1. Introducción general.- 2. El lenguaje de la lógica proposicional.- 3. Semántica.- 4. Tableaux semánticos.- 5. Otros cálculos proposicionales
Parte 2. Conjuntos y diagramas
6. Teoría básica de conjuntos.- 7. Diagramas de Venn.- 8. Relaciones y funciones
Parte 3. 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.
Apéndices
Bibliografía
Índice analítico.




  • Colección: El libro universitario>Manuales
  • Publicación: 22 de marzo de 2004
  • Precio: 26,95 €
  • I.S.B.N.: 978-84-206-4570-4
  • Código: 3491090
  • Formato: Estándar, Papel
  • Tamaño: 17 x 24,5
  • Páginas: 440
  • Edición: 01ª edición
  • Clasificación IBIC:
      Filosofía: lógica (HPL)

También recomendamos

Portada
El hombre y la verdad
Zubiri Apalategui, Xavier
Hoy, como en tiempos de Pilato, sigue abierta la cuestión de la verdad. «¿Qué es la verda...
Portada
Mitos
Platón
A lo largo de sus muchos diálogos, Platón recurrió a menudo a la elaboración de mitos a f...
Portada
El arte de vivir - Estuche
Marco Aurelio ; Schopenhauer, Arthur; Maffei, Lamberto...
Tres obras que, desde distintos puntos de vista y escritas en diferentes épocas, inciden ...