Abrir menú principal

Área de lógica matemática

Proyectos de aprendizajeEditar

Libros electrónicosEditar

  • 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.

WikilibrosEditar

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

SoftwareEditar

Software para el aprendizaje de la Lógica

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