Área de lógica matemática
Proyectos de aprendizaje
editarLibros electrónicos
editar- 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
editar- Teoría de conjuntos Exposición de la Teoría Intuitiva de Conjuntos. Imprescindible su dominio para cualquier estudio matemático.
Software
editarSoftware 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 |