Ir al contenido

Área de lógica matemática

De Wikiversidad

Proyectos de aprendizaje

[editar]

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

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