Cronograma de la primera parte del curso

Semana 1 - 10 al 14 de marzo

• Teórico: Inducción
• Práctico 1 - Ej 1 al 10 - Inducción
  Se presenta: Ejercicio 7 partes c y d

Semana 2 - 17 al 21 de marzo

• Teórico: Recursión
• Práctico 1 - Ej 11 al final - Recursión
  Se presenta: Ejercicio 14

Semana 3 - 24 al 28 de marzo

• Teórico: Sintaxis de PROP
• Práctico 2 - Sintaxis de PROP
  Se presenta: Ejercicio 5

Semana 4 - 31 de marzo al 4 de abril

• Teórico : Semántica de PROP
• Práctico 3 - Semántica de PROP
  Se presenta: Ejercicio 4

Semana 5 - 7 al 11 de abril

• Teórico: Deducción Natural en PROP
• Práctico 4 - Deducción Natural en PROP
  Se presenta: Ejercicio 7 partes b,c,d,f

TURISMO - 14 al 18 de abril

Semana 6 - lunes 21 al jueves 24 de abril

• Teórico: Completitud en PROP
• Práctico 5 - Completitud en PROP
  Se presenta: Ejercicio 14

PRIMEROS PARCIALES - viernes 25 de abril al martes 6 de mayo