Cronograma de la segunda parte del curso

Semana 10 - 13 al 17 de mayo

• Teórico: Sintaxis de Primer Orden
• Práctico 6 - Sintaxis de Primer Orden
  Se presenta: Ejercicio 11, Ejercicio 7

Semana 11 - 20 al 24 de mayo

• Teórico: Semántica de Primer Orden
• Práctico 7 - Semántica de Primer Orden - 1era. parte
  Se presenta: Ejercicio 4

Semana 12 - 27 al 31 de mayo

• Teórico: Semántica de Primer Orden
• Práctico 7 - Semántica de Primer Orden - 2da. parte
  Se presenta: Ejercicio 13

Semana 13 - 3 de junio al 7 de junio

• Teórico: Deducción Natural en Primer Orden
• Práctico 8 - Deducción Natural en Primer Orden
  Se presenta: Ejercicio 8

Semana 14 - 10 al 14 de junio

• Teórico: Completitud en Primer Orden
• Práctico 9 - Completitud en Primer Orden
  Se presenta: Ejercicio 10

Semana 15 - 17 al 21 de junio

• Teórico: Consultas generales
• Práctico - Consultas generales
  Se presenta: Ejercicios 1 y 3 del 2do parcial del 2023

Semana 16 - 24 al 28 de junio

• Teórico: Consultas generales
• Práctico - Consultas generales
  Se presenta: Ejercicios 2 y 4 del 2do parcial del 2023

SEGUNDOS PARCIALES 04/07 - 15/07