El paradigma Lógico que al igual que a Funcional lo podemos categorizar como declarativo (el motor se encarga de deducir si algo es verdadero o no, nosotros sólo declaramos verdades en nuestra base de conocimientos). Los temas de esta primer clase fueron:
El TP para la próxima clase (jueves 2/6) consiste únicamente en el ejercicio de la guía práctica de Inversibilidad: 11. asesinato Desde ya, aparte de eso conviene que hagan todo lo que hay en las siguientes guías de aprendizaje y práctica: Hay un par de lecciones en construcción sobre negación, esas simplemente ignórenlas. |
Cursos > Cursadas Anteriores > 2016 > Noc-Jueves > Bitácora de clase - Jueves Noche 2016 >