Cronograma de la segunda parte del curso

Semana 10 - 12 al 16 de mayo

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

Semana 11 - 19 al 23 de mayo

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

Semana 12 - 26 al 30 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 - 2 de junio al 6 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 - 9 al 13 de junio

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

Semana 15 - 16 al 20 de junio

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

Semana 16 - 23 al 26 de junio

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

SEGUNDOS PARCIALES 27/06 - 10/07