Proizvod vam ne odgovara? Nema veze! Proizvode možete vratiti do 30 dana
S poklon bonom ne možete pogriješiti. Za poklon bon primatelj može odabrati bilo što iz naše ponude.
Do 30 dana za povrat
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.
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?