Cursos‎ > ‎Cursadas Anteriores‎ > ‎2016‎ > ‎Noc-Miércoles‎ > ‎Bitácora noc-mie‎ > ‎

Clase 08/06/2016

publicado a la‎(s)‎ 11 jun. 2016 8:54 por Abel Cesar farias Juarez
Buenos días! En esta clase tocamos varios temas:

Volvimos a hablar de unificación vs asignación.
Recordamos que el paradigma lógico no tiene efecto de lado y si Transparencia Referencial.

Vimos listas y que un predicado es de Orden Superior si este recibe como argumento otro predicado. Algunos ejemplos son notfindall y forall

Profundizamos el concepto de inversabilidad, hablamos de los casos de no inversabilidad (!!!) y aprendimos un concepto que nos ayuda a hacer nuestros predicados inversibles cuando no lo son: generación  

pueden hacer las guías 6,7,10 y 11.

Saludos.


Comments