Clase 1
 Temas y actividades |  Material de apoyo | Si bien no ahondamos tanto en algunos temas, llegamos a mencionar varias cosas que vamos a reforzar después. | |
Clase 2
Ā Temas y actividades | Ā Material de apoyo | Hoy no vimos casi nada nuevo. Son unos capos que ya saben casi todo. Vimos: | |
Clase 3
Ā Temas y actividades | Ā Material de apoyo | Hoy sólo aprendimos cómo se usa el predicado findall. El resto, ya lo sabĆan. Incluso listas. Vimos: - La verdad de las listas: functores.
- Listas, con su forma linda de escribirlas.
- Findall.
- Mal uso de generación.
- MalĀ uso de predicados como forall y findall, que a veces pueden simplificarse mucho con otra estrategia. Caso tĆpico de findall+length.
- Importancia de pensar el frases lógicas como "existe tal, que...".
| |
Clase 4
 Temas y actividades |  Material de apoyo | Clase de repaso y de temas extra (o que aún no entran en exÔmenes): - Repaso de algunos casos donde hay que generar, y donde no.
- Explosión combinatoria.
- Un poco de tipos, y sus chequeos.
- Creación de predicados de orden superior.
- Cierre de temas, y usos de este paradigma.
| |
Clase 5
Ā Temas y actividades | Ā Material de apoyo | | |
Parcial
Ā Temas y actividades | Ā Material de apoyo | | |
|
|