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 espec...
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.
Aquest lloc web emmagatzema dades com galetes per habilitar la funcionalitat necessària de el lloc, inclosos anàlisi i personalització. Podeu canviar la seva configuració en qualsevol moment o acceptar els paràmetres per defecte.
Les galetes necessàries ajuden a fer una pàgina web utilitzable activant funcions bàsiques com la navegació a la pàgina i l'accés a àrees segures de la pàgina web. La pàgina web no pot funcionar adequadament sense aquestes galetes.
Personalització
Les galetes de personalització permeten a la pàgina web recordar informació que canvia la forma en què la pàgina es comporta o l'aspecte que té, com el seu idioma preferit o la regió en la qual vostè es troba.
Anàlisi
Les galetes estadístiques ajuden als propietaris de pàgines web a comprendre com interactuen els visitants amb les pàgines web reunint i proporcionant informació de forma anònima.
Marketing
Les galetes de màrqueting s'utilitzen per rastrejar als visitants en les pàgines web. La intenció és mostrar anuncis rellevants i atractius per a l'usuari individual, i per tant, més valuosos per als editors i tercers anunciants.
