Clase 11 - Cuantificadores: Existe, No Existe y Para Todo

publicado a la‎(s)‎ 2 jun. 2016 8:02 por Mariana Matos
En esta clase estuvimos trabajando intensivamente con este ejercicio: Palitos de la selva

La primer parte de la clase la dedicamos a ejercitar de los temas vistos la clase pasada, en particular Y, O y negación.

Vimos que hasta ahora sólo trabajamos con la idea de Existencia (cuantificador implícito en todas las reglas que venimos definiendo) o No Existencia (usando el predicado de orden superior not/1).

Existe vs Para Todo
A medida que se fueron complicando los problemas nos dimos cuenta que si bien con Existe y No Existe podemos solucionar los problemas más complicados también, hay otro cuantificador muuuuy conveniente para ciertos problemas que es el Para Todo (para lo cual usamos el predicado de orden superior forall/2).

Próximamente va a estar disponible una guía de aprendizaje de Mumuki sobre estos temas (avisaré por la lista cuando esté publicada).

Para la clase que viene tienen como TP estos ejercicios:

El objetivo es que usen todos los cuantificadores al menos una vez entre todos los ejercicios, no vale hacer todo con Existe y No Existe ;)

Comments