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

Bitácora de clase - Jueves Noche 2020

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

Clase 13 - Functores y Polimorfismo

publicado a la‎(s)‎ 26 jul. 2020 6:34 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.

También se puede ampliar sobre estos temas con el Módulo 3 de Lógico (pero guarda que en el medio también se explican las listas que preferimos no introducir aún).

Video de la clase

Clase 13 - Functores y Polimorfismo


Para la próxima clase (después de las vacaciones):

Resolver los ejercicios del TP3 que están disponibles en la Guía de TPs de Lógico (ejercicios 5 y 6 de esa guía).

Para ejercitar libremente:

Ya pueden trabajar con Mumuki hasta la guía 9 inclusive.

Clase 12 - Práctica Existencia, Negación, Para Todo

publicado a la‎(s)‎ 9 jul. 2020 15:32 por Mariana Matos   [ actualizado el 17 jul. 2020 10:48 ]

Link al enunciado: TEG

Clase 12 - Práctica T.E.G.


Pueden encontrar la resolución adjunta en esta entrada de la bitácora.

Clase 11 - Orden Superior

publicado a la‎(s)‎ 4 jul. 2020 13:48 por Mariana Matos   [ actualizado el 4 jul. 2020 13:50 ]

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 hace falta usar ningún predicado especial para esto), no existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden.

También vimos que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles.

También se puede ampliar sobre estos temas con el Módulo 4 de Lógico (hasta sección 4 inclusive).

Video de la clase

Clase 11 - Orden Superior


Para la semana que viene:

Resolver los ejercicios del TP2 que están disponibles en la Guía de TPs de Lógico (ejercicios 3 y 4 de esa guía).

Para ejercitar libremente:

Ya pueden trabajar con Mumuki hasta la guía 7 inclusive.

Clase 10 - Intro a Lógico

publicado a la‎(s)‎ 26 jun. 2020 11:35 por Mariana Matos

En esta clase arrancamos con el Paradigma Lógico de la mano del lenguaje Prolog.

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 (átomos y números).

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 <-- Repasar esto si no recordás a qué nos referimos al decir predicado, hecho, regla, cláusula, aridad, consulta, individuo, átomo...

También se puede ampliar sobre estos temas con el Módulo 1 y el Módulo 2 de lógico.

Video de la clase

Clase 10 - Intro a Lógico


Para la semana que viene:

Resolver los ejercicios del TP1 que están disponibles en la Guía de TPs de Lógico (ejercicios 1 y 2 de esa guía).

Para ejercitar libremente:

Pueden profundizar los temas vistos con estas guías:
  • Guía 1: Hechos y Reglas
  • Guía 2: Práctica Hechos y Reglas
  • Guía 5: Aritmética
  • Guía 6: Inversibilidad
Tengan en cuenta que las guías de Mumuki introducen inversibilidad más tarde, por eso para la práctica de la guía 7 sólo están en condiciones de abordar hasta el ejercicio 10 inclusive.

Clase 9 - Práctica: Gimnasio

publicado a la‎(s)‎ 4 jun. 2020 20:08 por Mariana Matos   [ actualizado el 7 jun. 2020 8:26 ]

En esta clase resolvimos la última práctica integradora de funcional: Gimnasio. Pueden encontrar el código desarrollado en clase adjunto en esta entrada de la bitácora.

Video de la clase

Clase 9 - Práctica Gimnasio



Además les dejamos una práctica integradora interactiva armada para el curso de los miércoles a la tarde y jueves a la mañana. Sepan que es más larga y más compleja que un parcial estándar (es un parcial viejo adaptado para esta modalidad de práctica). Pueden encontrar el enunciado en la descripción del video.

Práctica interactiva: Minigolfito


Si exploran esta práctica, les agradeceríamos si nos dejan sus opiniones por acá: Encuesta Minigolfito

Clase 8 - Estrategias de Evaluación

publicado a la‎(s)‎ 29 may. 2020 16:36 por Mariana Matos

En esta clase estuvimos viendo los siguientes temas:

Video de la clase

Clase 8 - Estrategias de Evaluación


La clase que viene vamos a estar trabajando con el siguiente enunciado. Nuevamente la idea es que lo resuelvan antes de la clase, para poder comparar con la solución que se presente y sacarse dudas.

Clase 7 - Práctica: Pociones

publicado a la‎(s)‎ 21 may. 2020 16:11 por Mariana Matos

En esta clase resolvimos la práctica Pociones haciendo foco en orden superior, composición y aplicación parcial, al igual que la semana pasada, y en cuestiones de modelado con funciones e inmutabilidad. Pueden encontrar el código desarrollado en clase adjunto en esta entrada de la bitácora.

Video de la clase

Clase 7 - Práctica Pociones

Clase 6 - Práctica: Inmobiliaria

publicado a la‎(s)‎ 15 may. 2020 15:41 por Mariana Matos

En esta clase resolvimos la práctica LambdaProp haciendo foco en orden superior, composición y aplicación parcial. Pueden encontrar el código desarrollado en clase adjunto en esta entrada de la bitácora.

Video de la clase

Clase 6 - Práctica Inmobiliaria


La clase que viene vamos a estar trabajando con el siguiente enunciado. Nuevamente la idea es que lo resuelvan antes de la clase, para poder comparar con la solución que se presente y sacarse dudas.

Clase 5 - Orden Superior y Listas

publicado a la‎(s)‎ 9 may. 2020 7:08 por Mariana Matos

En esta clase vimos los siguientes temas:
También se puede ampliar sobre estos temas con el Módulo 5 y Módulo 6 de funcional.

El código mostrado durante la clase lo pueden encontrar adjunto en esta entrada de la bitácora.

Video de la clase

Clase 5 - Listas y Orden Superios


Para la semana que viene:

Además de los ejercicios del TP4 que están disponibles en la Guía de TPs de Funcional (ejercicios 8, 9, 10 y 11 de esa guía), la semana que viene vamos a resolver en clase este parcial, así que la idea es que lo resuelvan por su cuenta antes de la clase como para identificar qué cosas encuentran complicadas y también para que puedan comparar su solución con la que eventualmente se haga en clase.

Para profundizar con Mumuki:

Pueden seguir ejercitando libremente los temas vistos con las guías:
  • Práctica de Aplicación Parcial y Orden Superior
  • Práctica de Inferencia de Tipos, Recargada
  • Práctica de Listas
  • Práctica Recursividad
  • Dominar el mundo con nada <- tiene algunos ejercicios interesantes para usar fold

Clase 4 - Composición y Aplicación Parcial

publicado a la‎(s)‎ 2 may. 2020 12:42 por Mariana Matos

En esta clase vimos los siguientes temas:

También se puede ampliar sobre estos temas con el Módulo 2 de funcional.
El código de la clase lo pueden encontrar adjunto en esta entrada de la bitácora.

Video de la clase

Clase 4 - Composición y Aplicación Parcial


Para ejercitar en Mumuki

Además de los ejercicios del TP3 que están disponibles en la Guía de TPs de Funcional (ejercicios 6 y 7 de esa guía), pueden profundizar los temas vistos con las guías:
  • Introducción a tipos de dato y su práctica asociada.
  • Aplicación Parcial y Orden Superior (Ejercicios 1 al 4 inclusive).
  • Práctica Aplicación Parcial y Orden Superior (hasta ejercicio 6).
Además pueden revisitar cualquier ejercicio que hayan salteado o dejado en amarillo de guías anteriores que pidieran usar composición.

1-10 of 13