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 necesariamente en cada uno), no vale hacer todos los ejercicios sólo con Existe y No Existe ;) |
Cursos > Cursadas Anteriores > 2016 > Noc-Jueves > Bitácora de clase - Jueves Noche 2016 >