Área de lógica matemática

Proyectos de aprendizaje

• Lógica proposicional
• Lógica de primer orden
• Lógica matemática II
• Igualdad de conjuntos
• Matemáticas discretas

Libros electrónicos

• Lógica y Teoría de Conjuntos, de Carlos Ivorra. Exposición inmejorable de la Lógica de Primer Orden y de la Teoría Axiomática de Conjuntos. Exposición d las axiomáticas de Zermelo-Fraenkel y de von Neumann-Bernays-Gödel.
• Pruebas de Consistencia, de Carlos Ivorra. Constructibilidad, Extensiones genéricas, Cardinalidad... Prerequisitos de Álgebra, Topología y Análisis.

Wikilibros

• Teoría de conjuntos Exposición de la Teoría Intuitiva de Conjuntos. Imprescindible su dominio para cualquier estudio matemático.

Software

Software para el aprendizaje de la Lógica

• Logic software and logic education, de Hans van Ditmarsch, University of Otago (New Zealand)
• Summa Logicae, de María Manzano, Universidad de Salamanca (España)

Software para la edición de textos de Lógica

• LaTeX for Logicians, de Peter Smith, University of Cambridge

Departamento de matemática
Generalidades • Lógica • Álgebra • Aritmética • Topología • Análisis • Geometría • Probabilidades • Matemáticas aplicadas