Cronograma de la primera parte del curso

Semana 1 - 4 al 8 de marzo

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

Semana 2 - 11 al 15 de marzo

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

Semana 3 - 18 al 22 de marzo

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

Semana 4 - 1 al 5 de abril

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

Semana 5 - 8 al 12 de abril

• Teórico: Deducción Natural en PROP
• Práctico 4 - Deducción Natural en PROP
  Se presenta: Ejercicio 7

Semana 6 - 15 al 19 de abril

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

Semana 7 - 22 al 26 de abril

• Teórico: Consultas generales
• Práctico - Consultas generales
  Se presenta: 1er parcial del 2023

PRIMEROS PARCIALES 27/04 - 08/05