Cursos‎ > ‎Cursadas Anteriores‎ > ‎2019‎ > ‎Mañ-Jueves‎ > ‎

Bitácora Jueves Mañana 2019

11/7 - Entrega TPI Lógico + Listas

publicado a la‎(s)‎ 11 jul. 2019 5:16 por Nahuel Palumbo

Mientras hacemos las correcciones les dejamos este enunciado para que resuelvan:

04/07 - Inversibilidad, Functores, Polimorfismo

publicado a la‎(s)‎ 4 jul. 2019 15:41 por Alf Sanzo   [ actualizado el 4 jul. 2019 15:44 ]

¡Buenas!
  • Hoy vimos la historia de Ágatha: 
?- mataA(Asesino,Victima).
    Asesino = charles, Victima = elCarnicero ;
    Asesino = elCarnicero, Victima = charles ;
    Asesino = tiaAgatha, Victima = charles ;
    Asesino = Victima, Victima = tiaAgatha.

“Agatha y su amor eterno el carnicero fueron juntos a matar a Charles. Charles, en un último acto desesperado, alcanzó a herir de muerte a el carnicero, y al ver la escena de los dos muertos, desolada, Ágatha se quita la vida”

Tarea

1) El TP Integrador Grupal.
    - Se entrega el martes 9/7 a las 23:59. Quienes sepa que no pueden cumplir con los horarios por favor avisen a sus tutores.
    - El enunciado está acá.
2) Para quien le interese, el que primero envíe la solución a este desafío café con leche pirámide de números con copia a Rasta y a Alf recibirá un café con leche.

27/06 - Forall, beakmanía e Inversibilidad

publicado a la‎(s)‎ 27 jun. 2019 6:40 por Alf Sanzo   [ actualizado el 27 jun. 2019 10:18 ]

Buenas!
Hoy:
Tarea

13/06 - Paradigma Lógico

publicado a la‎(s)‎ 18 jun. 2019 20:09 por Nahuel Palumbo   [ actualizado el 18 jun. 2019 20:29 ]

Comenzamos resolviendo las dos primeras guías del capítulo 4 de Mumuki:

Luego del recreo subios al aula y trabajamos con el enunciado de Alto Viaje. Y a medida que lo resolvíamos descubrimos las ideas del paradigma lógico:
Módulo 1Predicados. Individuos. Consultas. Universo Cerrado.
Módulo 2Variables. Consultas existenciales. Reglas simples y compuestas. Inversibilidad.
¡Pueden encontrar el código que hicimos en clase en el archivo de acá abajo! Ver cómo instalar SWI Prolog desde acá.

Tarea
Resolver individualmente el caso de "Muerte en la Mansión"
- Tiene fecha de entrega: Martes 25/6 a las 23.55 hs

06/06 - Parcial Funcional

publicado a la‎(s)‎ 6 jun. 2019 5:21 por Alf Sanzo

Si se cuelga ó hay problemas de creación avisar a les docentes.

30/05 - Simulacro Interestelar

publicado a la‎(s)‎ 30 may. 2019 4:54 por Nahuel Palumbo   [ actualizado el 30 may. 2019 12:40 ]


Y el link al classroom para tener su repo: https://classroom.github.com/a/FYqi5hvc --- si no les anduvo ---> prueben este: https://classroom.github.com/a/IBASnvPy.

Les dejamos este doc con consejos para aprobar un parcial que les recomendamos leer.


También les recordamos que en la sección de parciales hay muchos enunciados para practicar (recomendamos hacer los de los últimos años). Uno copado que conozco es del FMI.

Aprovechen esta semana para practicar y sacarse las dudas! Recuerden que tienen los apuntes y esta bitácora para consultar la teoría.

16/05 - Corrección TP Integrador e intro a Testing

publicado a la‎(s)‎ 16 may. 2019 14:49 por Alf Sanzo

TP Integrador: La última fecha para entregarlo es el martes 28/05.
Testing:  O cómo podemos escribir un programa que prueba mi programa. ¡Entonces probar todas mis funciones es fácil y rapidísimo! Lo puedo ejecutar todas las veces que quiera (después de cada cambio) para asegurarme que mi sistema funciona correctamente.
  • Aquí qué es una prueba unitaria en wikipedia. 
  • Aquí hay un apunte que cuenta específicamente cómo se hacen tests en Haskell, utilizando la librería HSpec.
  • Adjuntamos los tests del TP Integrador. Si quieren agregárselos, van a necesitar: 
    • que Karrs.hs pase a llamarse TP.hs (tiene que tener el mismo nombre que el "module TP where" de arriba del archivo).
    • Poner Tests.hs en la misma carpeta
    • Hacer ghci Tests.hs en la consola, y correr la función "main".

09/05 - Recursividad, Fold, Estrategias de Evaluación

publicado a la‎(s)‎ 9 may. 2019 9:20 por Alf Sanzo   [ actualizado el 9 may. 2019 11:14 por Nahuel Palumbo ]

Buenas!

Hoy vimos:
  • Algunos comentarios sobre el TP3.
  • Expresiones Lambda
  • Recursividad (Acá las diapositivas )
  • Familia Fold (adjuntamos el código)
  • Evaluación diferida (Acá la fotocopia)
  • Listas Infinitas
Material:

Tarea

  • El TP Integrador completo. Se entrega completo el martes que viene 23:59 hs  y se corrige presencialmente el jueves que viene. Si hay algún problema con estas dos fechas por favor comunicarse con los tutores.

02/05 - Restricciones de tipo y Polimorfismo

publicado a la‎(s)‎ 2 may. 2019 13:37 por Alf Sanzo   [ actualizado el 2 may. 2019 14:06 ]

Hoy hicimos el siguiente ejercicio:
Hicimos un pequeño ejercicio de inferencia:
fLoca x y algo otraCosa
| x > y = abs algo
| otherwise = abs otraCosa
En el que se vio que:
  • x está operado con y con el mayor (>) por lo que ambos son del mismo tipo y además deben ser ordenables.
  • algo y otraCosa deben ser del mismo tipo, porque se devuelven en ambas ramas ¡y las funciones deben devolver siempre un mismo tipo!. Además, deben ser números porque se operan con el abs.
Entonces:
fLoca :: (Num b, Ord a) => a -> a -> b -> b -> b

Tarea

  • Terminar/corregir el TP3.
  • En breve liberaremos el  enunciado de la segunda parte del TP Integrador. (cuya entrega es presencial en dos semanas)
  • ¡Corregir los otros TP colgados!

25/4 - Listas!

publicado a la‎(s)‎ 25 abr. 2019 5:25 por Alf Sanzo   [ actualizado el 30 abr. 2019 15:28 por Nahuel Palumbo ]

Hoy tuvimos la corrección presencial de PTI, espero que les haya servido.

Después fuimos al aula y vimos listas:
  • Son estructuras compuestas, para juntar muchos elementos.
  • ¡Todos los elementos tienen que ser del mismo tipo!
  • Tiene cantidad variable: no importa la cantidad de elementos que tiene.
  • Estuvimos viendo varias operaciones con listas, sobre todo las de orden superior: any, all, filter y map.
  • Pueden encontrar el archivo que estuvimos codeando en clase al final de esta entrada ⬇
Pueden ver la parte de listas en el Módulo 3: Modelado de información.

Acá les dejamos una graciosa representación de una lista, con los nombres de cada parte:


Quedó como tarea:
- Funcional TP3 Individual: Lord of the Functions - Tarea del classroom acáFecha de entrega: martes 30/4 23:59 hs.
- Hacer las correcciones pedidas para los TPs.
- Les avisaremos cuando esté liberada la parte 2 del TPI.

1-10 of 14