Bitácora

Aquí iremos subiendo clase a clase los temas vistos, junto con material teórico y práctico complementario.

Clase 7 - Última clase

publicado a la‎(s)‎ 6 jun. 2016 14:54 por Nahuel Palumbo   [ actualizado el 6 jun. 2016 14:59 ]

Cerramos las idead del Paradigma Lógico.

Completamos la encuesta de cursada y la de Mumuki. Háganle llegar las respuestas a su docente! Esto es muy im portante, forma parte del feedback que nos permite seguir mejorando año a año.

Luego vimos testing:
  • En Haskell usando HSpec (aunque también está HUnit que ya viene con el lenguaje).
  • En Prolog usando PlUnit.

Clase 6 - L - Parcial

publicado a la‎(s)‎ 30 may. 2016 14:16 por Nahuel Palumbo   [ actualizado el 30 may. 2016 14:16 ]

Tomamos este parcial.

Clase 5 - L - Simulacro

publicado a la‎(s)‎ 22 may. 2016 14:39 por Nahuel Palumbo   [ actualizado el 25 may. 2016 18:10 ]

Resolvimos este enunciado entre todos. Encontrarán dicha solución adjunto.

Clase 4 - L - Para todo

publicado a la‎(s)‎ 17 may. 2016 17:18 por Nahuel Palumbo   [ actualizado el 17 may. 2016 17:18 ]

Hoy metimos práctica a full
También les dejo un pequeño artículo con consejos para encarar un ejercicio.

Para la clase que viene hay que hacer el TP2 - How I Met Your Mother. No cuelguen que la próxima clase ya es el simulacro de parcial, estaremos mandando el enunciado en la semana.

Clas 3 - L - Individuos complejos: Listas y Functores

publicado a la‎(s)‎ 17 may. 2016 17:00 por Nahuel Palumbo   [ actualizado el 17 may. 2016 17:00 ]

En esta clase vimos lo que son los individuos complejos y dos de sus formas en Prolog:

Clase 2 - L - Aritmética, Negación e Inversibilidad

publicado a la‎(s)‎ 4 may. 2016 13:32 por Nahuel Palumbo   [ actualizado el 4 may. 2016 13:32 ]

Vamos arrancando, despacio pero a paso firme, a meternos dentro del paradigma lógico. 
Estuvimos repasando los ejercicios que había de tarea, donde aparecían nuevos conceptos que fuimos bajando a tierra:
  • El predicado is/2 el cual solamente debe usarse para resolver cuentas matemáticas.
  • Un nuevo predicado not/1 que sirve para negar alguna consulta. Recibe por parámetro otra cláusula, lo cual lo convierte en un predicado de orden superior, e invierte su valor de verdad.
  • Vimos lo que es la inversibilidad, el tema groso del paradigma. Básicamente, la capacidad de un predicado para resolver consultas existenciales en base a un parámetro. Además estuvimos jugando un poco con los predicados conocidos y vimos que los operadores (>/2, =</2, \=/2) no son inversibles. El not/1 tiene graves problemas de inversibilidad, que se resuelven generando individuos previamente para que las variables queden ligadas. Y hay predicados que son inversibles para algunos parámetros pero no para otros, como el is/2 y el between/3.
También estuvimos comparando los distintos paradigmas de programación, qué elementos, ideas, y teorías tienen en común y no, en base a los lenguajes que estuvieron usando. Pueden ver algo de lo charlado sobre eso en los resúmenes de clase
Al igual que para repasar los temas mencionados anteriormente.

Dejo adjunto el archivo con el que estuvimos trabajando en clase,

Queda como tarea para la clase que viene el TP 1: Show Max. No cuelguen con eso que, por lo general, los primeros pasos con Prolog cuestan hasta que le agarremos la onda.

Además, ya están en condiciones de resolver las guía 3 y guía 4 de Mumuki!

Hasta el Lunes que viene!

Clase 1 - L - Intro al Paradigma Lógico

publicado a la‎(s)‎ 28 abr. 2016 14:02 por Nahuel Palumbo   [ actualizado el 28 abr. 2016 14:02 ]

Luego de cerrar con todo lo referido al paradigma funcional e intercambiar algunas opiniones sobre el lenguaje, las clases y la materia, nos adentramos en el loco mundo del Paradigma Lógico.

Vimos los conceptos básicos:
Como siempre, también pueden consultar los resúmenes de clase.

Queda como tarea obligatoria para la clase que viene los siguientes ejercicios de Mumuki: 
También queda como práctica asociada opcional:

Hasta el Lunes que viene!

Clase 7 - F - Parcial!

publicado a la‎(s)‎ 18 abr. 2016 14:00 por Nahuel Palumbo   [ actualizado el 18 abr. 2016 14:00 ]

Hicimos este parcial.

Clase 6 - F - Simulacro de Parcial

publicado a la‎(s)‎ 11 abr. 2016 8:02 por Nahuel Palumbo   [ actualizado el 13 abr. 2016 19:41 ]

Resolvimos este enunciado. Puede encontrar adjunto una posible solución que fuimos armando en clase.

Clase 5 - F - Evaluación Diferida y Listas Infintas

publicado a la‎(s)‎ 5 abr. 2016 15:54 por Nahuel Palumbo   [ actualizado el 5 abr. 2016 15:57 ]

Última clase teórica!

Hoy jugamos un poco a ser Haskell y elegir en qué orden aplicar las funciones ante una consulta. 
  • Pudimos concluir que Haskell trabaja de forma perezosa.
  • Y gracias a eso es que podemos jugar con listas infinitas sin caer en un Stack Overflow.
  • Además estuvimos haciendo un repaso de recursividad.
Adjunto el archivo con el que estuvimos trabajando en clase. Y recuerden que siempre están los resúmenes de Fer.

Las prácticas de Mumuki sobre estos temas son:
La clase que viene es el simulacro! Aprovechen la ocasión para ver cómo están parados para el parcial. La mejor práctica para esto es hacer el TP - La Barra, que se entrega para la clase que viene.  No cuelguen ni se queden con dudas,

Hasta el próximo Lunes!

1-10 of 14