Origin: Spain
(Import costs included in the price)
It will be shipped from our warehouse between Thursday, May 23 and Monday, June 03.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Lógica Para Principiantes (in Spanish)
Juan Antonio Huertas,Maria Manzano
Synopsis "Lógica Para Principiantes (in Spanish)"
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.. 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
