Cursadas anteriores‎ > ‎Cursada 2017‎ > ‎Bitácora‎ > ‎

Clase 3 - Lógico - forall + Functores

publicado a la‎(s)‎ 23 may. 2017 7:29 por Nahuel Palumbo   [ actualizado el 23 may. 2017 7:29 ]
En esta clase aprendimos un nuevo cuantificador: para todo. Es un predicado de orden superior llamado forall/2.
Luego vimos una nueva clase de individuos: los Functores.
Esto se explica los apuntes:
Y tienen la práctica en Mumuki:
También les dejamos el código de ejemplo con el que estuvimos trabajando en clase.
ċ
clase3.pl
(1k)
Nahuel Palumbo,
23 may. 2017 7:29
Comments