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
Tao Te Ching
Lao Tse
Las enseñanzas del "Tao Te Ching" o «Libro del Camino y de la Virtud», recopilación atrib...
Portada
Augusto
Fraschetti, Augusto
Octavio AUGUSTO cambió para siempre la historia de la antigua Roma al completar la transf...
Portada
La corrupción política
Laporta San Miguel, Francisco J.
La historia de la corrupción es vasta e ininterrumpida. Hay testimonios de su existencia ...