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 not, findall 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. |
Cursosā > āCursadas Anterioresā > ā2016ā > āNoc-MiĆ©rcolesā > āBitĆ”cora noc-mieā > ā