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