Inversibilidad y Para Todo.

publicado a la‎(s)‎ 15 jun. 2017 17:14 por Mariana Matos
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.

Con lo visto hasta ahora puede avanzar con las guías de Mumuki:

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.

Comments