La PizarraMatemática.

Máster y doctorado

Lógica, conjuntos y fundamentos

Sobre esta área

Estudiar los sistemas formales, sus modelos y los límites de lo que puede demostrarse o calcularse.

  1. 01 Teoría de modelos y definibilidadLeer y practicar ↗
  2. 02 Computabilidad y grados de indecidibilidadLeer y practicar ↗
  3. 03 Axiomas de conjuntos y modelos internosLeer y practicar ↗
  4. 04 Forcing e independenciaLeer y practicar ↗
  5. 05 Teorías de tipos y fundamentos constructivosLeer y practicar ↗
  6. 06 Formalización de demostracionesLeer y practicar ↗
Referencias del mapa

Organización propia; la distribución y profundidad de los programas varían entre centros.