Área de lógica matemática
Proyectos de aprendizaje
[editar]- Lógica proposicional
- Lógica de primer orden
- Lógica matemática II
- Igualdad de conjuntos
- Matemáticas discretas
Libros 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
[editar]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 |  |