Clases Lógico y Funcional 1c2010

Teoria - Clase 7 (22/06)

Resumen en pdf

Funcional - Clase 6 (15/06)

Repaso pre-parcial.

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)

Hacer el ejercicio de las Sarazas Quimicas

Resumen en pdf

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

Funcional - Clase 3 (18/05)

  • Repaso
  • Recursividad

Tarea

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

Tarea

Resumen en pdf

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

Lógico - Clase 5 (27/04)

  • Repaso pre-parcial

Tarea (No Obligatoria)

Dioses - 10/07/2008
Sims - 06/10/2007
CounterStrike - 02/10/2007
Autopartes - 16/12/2006
Menúes - 14/11/2006

Lógico - Clase 4 (20/04)

  • Recursividad
  • Polimorfismo en lógico

Resumen en pdf

Tarea

Lógico - Clase 3 (13/04)
  • Unificación
  • Pattern Matching
  • Listas
  • Findall
  • Forall

Tarea

Hacer en Prolog y traer la resolución impresa del ejercicio 3 de la guía 4 de lógico.
Hacer un predicado maximo/2 que relaciona una lista de números con el número más grande de esa lista (no es necesario que sea totalmente inversible).

?- maximo([4,2,-10,5],X).
X = 5

Lógico - Clase 2 (06/04)

Tarea

  • estaAntes/2 relaciona dos functores fecha donde el segundo es una fecha posterior a la primera
Lógico - Clase 1 (30/03)

Tarea

  • padre/2
  • hermano/2
  • abuelo/2
  • tio/2
Comments