Cursos‎ > ‎Cursadas Anteriores‎ > ‎2018‎ > ‎Noc-Jueves‎ > ‎

Bitácora de clase - Jueves Noche 2018

Acá van a encontrar información relacionada con los temas vistos, ejercitación y trabajos prácticos.

Clase 15 - Functores y Polimorfismo

publicado a la‎(s)‎ 6 jul. 2018 17:53 por Mariana Matos

En esta clase incorporamos un nuevo tipo de individuo, que tiene la particularidad de ser un individuo compuesto: el functor.

Un concepto importante que surgió gracias a estos simpáticos individuos fue polimorfismo.

Para profundizar y ejercitar:

  • De la sección de apuntes: en el Módulo 3 se explica functores y polimorfismo, pero en el medio también se explican las listas que preferimos no introducir aún. Pueden complementar lo visto con ese apunte, pero no lo recomiendo mucho a esta altura para evitar confusiones.
  • De Mumuki pueden trabajar con las guías de Functores.

Clase 14 - Negación. Cuantificación Existencial y Universal.

publicado a la‎(s)‎ 29 jun. 2018 8:27 por Mariana Matos   [ actualizado el 29 jun. 2018 8:36 ]

En esta clase introdujimos los predicados de orden superior:

  • not/1 para la negación
  • forall/2 para el cuantificador universal (para todo)

De esa forma cubrimos todo lo relacionado con existencia, no existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden.

Recuerden que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles. En general alcanza con que los parámetros de nuestros predicados lleguen unificados al consultar not/1 y forall/2, lo cual se logra consultando un predicado inversible más arriba que ligue esas variables.

Pueden profundizar estos temas leyendo de la sección de apuntes: Módulo 4 de Lógico hasta sección 4 inclusive.

Con Mumuki pueden avanzar hasta la guía 7 inclusive. Ejercicios sugeridos:

  • Gran compañero de viaje (guía 4)
  • Asesinato (guía 7)

Clase 13 - Intro a Lógico

publicado a la‎(s)‎ 26 jun. 2018 7:51 por Mariana Matos

En esta clase arrancamos con el Paradigma Lógico.

Acá pueden encontrar una introducción al paradigma que sienta las bases de cómo trabajar, y cómo se resuelven con estas herramientas básicas la conjunción y disyunción. Hasta ahora trabajamos sólo con individuos simples, y vimos cómo se resuelven las operaciones aritméticas en Prolog.

Uno de los temas que introdujimos en esta clase es uno de los puntos fuertes de este paradigma y es el concepto de inversibilidad, lo cual permite hacer consultas con múltiples respuestas. Profundizaremos más adelante el tema de inversibilidad.

Resumen de nomenclatura.

Con lo visto pueden trabajar con las dos primeras guías de Mumuki.

Pueden profundizar también leyendo de la sección de apuntes: Módulos 1 y 2 de Lógico.

Clase 9 - Evaluación perezosa y todo lo que necesitan saber sobre tipado

publicado a la‎(s)‎ 18 may. 2018 11:41 por Mariana Matos

En esta clase se terminó de formalizar todo lo relacionado con tipado incluyendo:

Y también vimos cómo Haskell aprovecha la ausencia de efecto para hacer magia sin que nos demos cuenta, ya que usa evaluación perezosa.

Clase 8 - Modelado con funciones

publicado a la‎(s)‎ 13 may. 2018 17:20 por Mariana Matos

En esta clase trabajamos con el siguiente enunciado: Clase de Pociones
Pueden encontrar la resolución como archivo adjunto de esta entrada.

Pueden profundizar este tema leyendo el Módulo 3 de funcional.

Clase 7 - Ejercitación

publicado a la‎(s)‎ 4 may. 2018 8:03 por Mariana Matos

En esta clase trabajamos con este ejercicio: Tortas

Pueden encontrar la resolución acá.

Clase 6 - Composición y Aplicación Parcial

publicado a la‎(s)‎ 27 abr. 2018 8:22 por Mariana Matos   [ actualizado el 27 abr. 2018 8:25 ]

En esta clase vimos los siguientes temas:

Actualmente ya están en condiciones de abordar todas las guías de funcional de Mumuki, porque abordamos las principales cuestiones técnicas con las que vamos a trabajar. Lo que nos falta todavía es bastante práctica y ver cómo estas herramientas se pueden usar para diseñar.

Una buena práctica para esta altura del partido es el parcial Candidaturas del 2011 (hasta parte C inclusive).

Clase 4 - Orden Superior

publicado a la‎(s)‎ 15 abr. 2018 18:01 por Mariana Matos   [ actualizado el 27 abr. 2018 7:37 ]

En esta clase vimos uno de los temas fuertes de la materia, sobre el cual vamos a volver una y otra vez a lo largo del año, que es Orden Superior. También vimos cómo hacer para definir Expresiones lambda para poder parametrizar algunas funciones armadas en el momento.

Pueden complementar lo visto con la guía de Listas y su correspondiente práctica.

Si a lo largo de la resolución de ejercicios de Mumuki les pide resolverlos con aplicación parcial y/o composición, ignoren eso por ahora, luego de la próxima clase en la cual se incorporen estos conceptos pueden iterar esos ejercicios nuevamente para aplicar esas ideas.

Clases 2 y 3 - Guardas y tipos compuestos

publicado a la‎(s)‎ 8 abr. 2018 15:33 por Mariana Matos

En estas clases repasamos lo visto del paradigma funcional en la primer clase e incorporamos los siguientes temas:
Ejercitación propuesta para la próxima:

También pueden repasar y ejercitar con las siguientes guías de Mumuki:

Clase 1 - Introducción a la materia

publicado a la‎(s)‎ 20 mar. 2018 9:00 por Mariana Matos   [ actualizado el 20 mar. 2018 9:01 ]

También se dio una pequeña introducción a lo que es el paradigma funcional que profundizaremos en las próximas clases. Algo que deberían hacer para la clase que viene es bajarse Haskell (ver la sección de software) y probar los ejemplos básicos que vimos en clase.

Entren a mumuki.io, la primer lección del capítulo de funcional (hasta el ejercicio 9 incluído) cubre las nociones básicas vistas en la primer clase de este paradigma. A su vez pueden ir avanzando sobre la práctica de la lección 2 (hasta el ejercicio 14 incluído).

Para la próxima:
  • Traigan la guía de lenguajes (ver sección de Apuntes, donde se encuentra esta guía y mucho más).
  • Resuelvan el siguiente ejercicio: esBisiesto

1-10 of 10