En esta clase hablamos sobre problemas de inversibilidad que surgieron a partir de comparaciones y el uso del predicado not/1. El otro tema fuerte de esta clase fue el cuantificador universal, mejor conocido como Para Todo. De la mano de esta idea introdujimos un segundo predicado de orden superior llamado forall/2, que al igual que el not, tambiƩn tiene problemas de inversibilidad.
TP de lĆ³gico, primera entrega: El enunciado estĆ” dividido en dos partes (parte 1 y parte 2), pero ambas son para dentro de dos semanas. Al igual que como hicimos para funcional, se espera que lo desarrollen de forma grupal, compartiendo el cĆ³digo mediante github e interactuando con su tutor asignado. Para obtener el repositorio sobre el cual trabajar, que ya va a venir con el cĆ³digo de base incorporado, tienen que entrar a este assignment de github. Recuerden, al armar los grupos, que deberĆan llamarlo g1, g2, .., gN de acuerdo al nĆŗmero de grupo que figure en la planilla, asĆ su tutor encuentra el repo fĆ”cilmente. |
Cursosā > āCursadas Anterioresā > ā2017ā > āTar-MiĆ©rcolesā > āBitĆ”cora de clase - MiĆ©rcoles Tarde 2017ā > ā