LÓGICA MATEMÁTICA

LÓGICA MATEMÁTICA

LÓGICA MATEMÁTICA

Lógica Matemática es un trabajo introductorio pero completo, centrado en el desarrollo de la lógica clásica de primer orden. Comienza con consideraciones sobre paradojas y (meta) lenguaje, presentando también capítulos y apéndices sobre lógica proposicional clásica, teoría de conjuntos (ingenua y formalizada), construcciones de conjuntos numéricos y álgebras de Boole. El autor tiene la intención de presentar a los estudiantes de pregrado y postgrado los fundamentos de la lógica de primer orden, mostrando cómo se puede utilizar para formalizar las matemáticas y hacer definiciones más precisas, anotaciones y demostraciones que aparecen en él. Todos los conceptos se presentan y explican en el texto, sin embargo, para mantenerse al día con la lectura fluida, es recomendable que el lector tenga cierta experiencia en matemáticas informales, adquiridas en disciplinas como el álgebra, el álgebra lineal y el análisis real.