Lógica Matemática
4º de la Licenciatura de Matemáticas (Curso 2010-2011)
Temas

• Parte A: Introducción a la Teoría de Modelos
  • 1. Lenguajes de Primer Orden.
    
  • 2. Teorías de Primer Orden.
    
  • 3. Los teoremas de Completitud y Compacidad.
• Parte B: Teoría de la Recursión
  • 4. Funciones Recursivas.
    • 4.1. El modelo de computación GOTO.
      
    • 4.2. Funciones primitivas recursivas.
      
    • 4.3. Codificaciones.
      
    • 4.4. Funciones recursivas.
      
    • 4.5. Programas universales.
      
    • 4.6. Enumeración y parametrización.
  • 5. Conjuntos Recursivamente Enumerables.
• Parte C: Los Teoremas de Incompletitud
  • 6. La Aritmética de Peano.
    
  • 7. Los Teoremas de Incompletitud de Gödel.

  ---

  Mario de J. Pérez Jiménez