Libro disponible en 5 dias hábiles.

b'Este manual de L\xf3gica ofrece un curso te\xf3rico-pr\xe1ctico con numerosos ejemplos resueltos y ejercicios propuestos que introducir\xe1n al lector en los aspectos de esta ciencia que m\xe1s han impactado en el campo del saber y en la tecnolog\xeda m\xe1s puntera.Los primeros cap\xedtulos est\xe1n orientados a estudiantes de Filosof\xeda en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicaci\xf3n en facultades de Ingenier\xeda, Ingenier\xeda Inform\xe1tica y Ciencias Matem\xe1ticas (STEM) por el potencial para fomentar la capacidad de abstracci\xf3n y razonamiento formalizado.L\xf3gica matem\xe1tica y computacional permitir\xe1 al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificaci\xf3n formal de programas de ordenador actuales.La presente edici\xf3n incluye:\n- L\xf3gica proposicional: desde la definici\xf3n del lenguaje hasta los sistemas deductivos, incluyendo la deducci\xf3n natural.\n- L\xf3gica de predicados de primer orden: con explicaciones y ejemplos sobre la sem\xe1ntica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resoluci\xf3n.\n- L\xf3gica de Hoare: explicaci\xf3n completa para la verificaci\xf3n de programas secuenciales con gran cantidad de ejercicios.\n- L\xf3gica modal: desde ejemplos de tipos de relaciones hasta la deducci\xf3n natural.\n- L\xf3gica temporal: expone de forma did\xe1ctica c\xf3mo razonar con conceptos de tiempo.'