Fundamentos de la matemática

Horarios

• Teóricos:
  • Lunes, de 11:30 a 13:00 (salón 202/204)
  • Jueves, de 11:30 a 13:00 (salón 205)
• Práctico:
  • Lunes, de 13:30 a 15:00 (salón 202/204), por Francisco Carballal

Apuntes de curso

• Capítulo 1: Teoría axiomática de conjuntos (versión del 28/05/2023)
• Capítulo 2: Ordinales y cardinales (versión del 28/05/2023)
• Diapositivas sobre el cálculo de secuentes
• Artículo: Teorías y modelos: una introducción a la lógica de primer orden

Prácticos

• Práctico 1
• Práctico 2
• Práctico 3
• Práctico 4
• Práctico 5
• Práctico 6
• Práctico 7
• Práctico 8

Parciales

• Parcial 1
• Parcial 2

Método de aprobación

El curso tiene dos parciales (P₁, P₂) de 50 puntos cada uno.
Se gana el curso cuando: P₁ + P₂ ≥ 30, con P_i ≥ 10 (i = 1,2).
Se exonera el examen escrito cuando: P₁ + P₂ ≥ 70, con P_i ≥ 30 (i = 1,2).
No se exonera el examen oral.