Intro a lógico:
- Definir predicados mediante hechos y reglas
- Consultas individuales y existenciales
- Conjunción y disyunción
- Propiedades de relaciones binarias
Práctica: Árbol genealógico
- Inversibilidad
- Negación
- Aritmética
Práctica: Lechuzas Mafiosas
- Repaso: Existencia y Negación
- Para Todo
Práctica: TEG
- Tipos compuestos (parte 1): Functores
- Polimorfismo
Práctica: Truco + TEG (objetivos)
- Tipos compuestos (parte 2): Listas
- Agregación
Práctica: Estudiantes + TEG (cálculo de ejércitos a incorporar + refactor limítrofes)
Práctica integradora: One Piece
Enunciado en formato PDF en este mismo repo.