Lógica matemática
Este texto, surgido de la experiencia docente de sus autores, es un material de apoyo para el aprendizaje de la lógica matemática, atendiendo especialmente a las necesidades de los estudiantes de ingeniería. En este sentido, tiene como objetivos introducir herramientas y conceptos básicos de la lógica matemática y sus aplicaciones; formalizar correctamente; fortalecer la formación relacionada con los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas, y, con esto, incentivar al alumno a mejorar sus procesos de razonamiento. El texto presentado está compuesto por nueve capítulos, cada uno orientado a una dimensión de la lógica matemática: teoría básica de conjuntos, la lógica y el razonamiento, sintaxis, semántica de proposiciones, inferencia lógica, lógica de primer orden, silogismos categóricos, métodos de demostración y álgebras de Boole.
