Cursos‎ > ‎Cursadas Anteriores‎ > ‎2016‎ > ‎Mañ-Jueves-2‎ > ‎

Clases Lógico

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

Comments