Kód: 12991393
Este libro está pensado para los estudiantes de Lógica de lasfacultades de Filosofía e Informática y, en general, para quienes seacercan a la lógica por vez primera. El texto, que se apoya ennumerosos ejemplos y ejercicios, es acc ... celý popis
Nákupem získáte 73 bodů
Este libro está pensado para los estudiantes de Lógica de lasfacultades de Filosofía e Informática y, en general, para quienes seacercan a la lógica por vez primera. El texto, que se apoya ennumerosos ejemplos y ejercicios, es accesible, interdisciplinar ymoderno en su concepción, poniendo especial énfasis en la semántica.Aporta técnicas sencillas de prueba: diagramas de Venn para la lógicade 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ógicaen el siglo XX. Le acompa?a un CD interactivo con más de 2.000ejercicios y sus soluciones, así como un documento con los teoremashabituales de la metalógica.Parte 1. Lógica proposicional1. Introducción general.- 2. El lenguaje de la lógica proposicional.-3. Semántica.- 4. Tableaux semánticos.- 5. Otros cálculosproposicionalesParte 2. Conjuntos y diagramas6. Teoría básica de conjuntos.- 7. Diagramas de Venn.- 8. Relaciones y funcionesParte 3. Lógica de primer orden9. 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 primerorden.ApéndicesBibliografíaIndice analítico.
Zařazení knihy Knihy ve španělštině Politica, religión y filosofia Filosofia
734 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )