Lógica Matemática

Este es un libro dirigido a estudiantes de matemáticas y de ciencias de la computación. Para los estudiantes de matemáticas presenta un tratamiento riguroso de los temas principales de la materia. Para los estudiantes de computación, cubre material de teoría de matemática de la computación y de análisis de algoritmos, así como herramientas básicas para diseño lógico.

Características especiales del libro:
• Contextualiza la lógica por medio de una introducción sobre argumentos
y falacias.
• Se introducen lenguajes y sistemas formales por medio de ejemplos
sencillos.
• Hace una presentación exhaustiva de la lógica proposicional desde tres puntos de vista: semántico, sintáctico y algorítmico.
• Se desarrolla la lógica de primer orden sintáctica y semánticamente, esto último con mayor detalle de lo acostumbrado en la literatura.
• Incluye temas poco usuales en la literatura menos espcializada como el teorema de compacidad, el de Lowenheim-Skolen y la existencia de modelos no estándares de la aritmética.
•Cubre material útil para las ciencias de la computación: compuertas lógicas, lenguajes y autómatas, máquinas de Turing y problemas NP - completos.
• Contiene gran cantidad de ejemplos resueltos y ejercicios