Teoria - Clase 7 (22/06)

Resumen en pdf

Funcional - Clase 6 (15/06)

Funcional - Clase 5 (08/06)

• fold
• Estrategias básicas
• Call by-value
• Call by-name
• Eager Evaluation
• Lazy Evaluation
• Uso de "cosas" potencialmente infinitas

Tarea (OPCIONAL)

Funcional - Clase 4 (01/06)

• Repaso
• Inferencia de tipos
• Variables de tipo
• Restricciones de tipo
• Polimorfismo paramétrico
• Polimorfismo Ad-Hoc
• Definiciones locales con where

Tarea

• Resolver el parcial Vuelos y hoteles - 23/11/2006 usando Hugs
• Traer impreso el .hs

Funcional - Clase 3 (18/05)

• Repaso
• Recursividad

Tarea

• Resolver el parcial Otro de concursos - 21/11/2006 usando Hugs
  
• Traer impreso el .hs

Resumen en pdf

Funcional - Clase 2 (11/05)

• Funciones de orden superior
• Listas por comprensión
• Patrón @ (el nombre cheto es As-pattern)

Tarea

• Instalar Hugs (tiene un uso bastante parecido a SWI-Prolog)
  
• Resolver el Ejercicio 1 de la Guía 5 de Funcional (Ventas de PCs) usando Hugs
  
• Traer impreso el .hs

Resumen en pdf

Funcional - Clase 1 (04/05)

• Introducción
• Dominio e Imagen
• Expresiones lambda
• Composición

Resumen en pdf

Lógico - Parcial (Miércoles 05/05)

Lógico - Clase 5 (27/04)

• Repaso pre-parcial

Tarea (No Obligatoria)

• Recursividad
• Polimorfismo en lógico

Tarea

• Resolver y traer la resolución del parcial de los tours

Lógico - Clase 2 (06/04)

• Inversibilidad
• Aritmética
• Negación
• Generación
• Functores

Tarea

• estaAntes/2 relaciona dos functores fecha donde el segundo es una fecha posterior a la primera