Clases 10 y 11 - Negación e individuos compuestos, Para Todo (forall), Polimorfismo - Paradigmas de Programación

publicado a la‎(s)‎ 20 sept 2015 18:32 por Mariana Matos

Esta semana vimos:

Cómo negar usando el predicado de orden superior not/1, y cómo resolver problemas de inversibilidad que puedan existir mediante generación de valores.
Cómo trabajar con individuos compuestos: functores y listas (de momento sólo la motivación y cómo trabajar con listas recursivamente, más sobre listas el miércoles que viene).
Otra de las herramientas importantes de la lógica: el Para Todo, que va de la mano del predicado de orden superior forall/2
Y uno de los conceptos fuertes de la materia (no sólo aplica al paradigma lógico): Polimorfismo

Ejercicios propuestos para los temas nuevos: