Material: Lógica Matemática
De Wikiversidad
| eiπ | Contenidos relacionados con Matemática |
Volver a Lógica Matemática.
[editar] 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.
[editar] Wikilibros
- Teoría de conjuntos Exposición de la Teoría Intuitiva de Conjuntos. Imprescindible su dominio para cualquier estudio matemático.
[editar] 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
