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ā > ā