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