Teaching



Tutories

Horaris a convenir via mail. Despatx 230 de l'edifici PIV.

The Interactive Lambda-Calculus Tracer (TILC)

Material sobre els llenguatges de programació que s'impartien a : LP, ProDe i Paradigmes de Programació:

PROGRAMACIÓ LÒGICA

APUNTS DE TEORIA DE PROGRAMACIÓ LÒGICA: apuntspl.pdf

TRANSPES DE PROLOG: classesprolog.ppt

Per un llibre de Prolog, visiteu: http://www.ida.liu.se/~ulfni/lpp/

DOCUMENTS SOBRE PROGRAMACIÓ LÒGICA AMB CONSTRAINTS

  • Article clàssic introductori sobre la programació lògica amb constraints: introclp.pdf
  • CODI D'EXEMPLETS

  • ENUNCIATS D'EXERCICIS I PRÀCTIQUES PASSATS

 

  • EXAMEN PASSAT(Programació Declarativa)

 

PROGRAMACIÓ FUNCIONAL

APUNTS DE TEORIA DE PROGRAMACIÓ FUNCIONAL: progfunc.pdf

APUNTS D'INFERÈNCIA DE TIPUS A HASKELL: typing.pdf

TRANSPES DE HASKELL:classeshugs.ppt

MATERIAL MINIM DE HASKELL/HUGS/GOFER

  • Apunts de programació funcional amb Gofer: fp-sp.pdf
  • Consulteu www.haskell.org Per començar mireu-vos la secció: A short introduction to Haskell, concretament els documents: “Why functional programming matters” i “Why does Haskell matters”.
  • ENUNCIATS D'EXERCICIS I PRÀCTIQUES PASSATS
  • Enunciat de les mini-pràctiques de HUGS (curs 98-99): pract99.doc
  • Enunciat de les mini-pràctiques de HUGS (curs 99-2000): pract2000.doc
  • Enunciat de les mini-pràctiques de HUGS (curs 2000-2001): practh01.doc
  • Enunciats de les pràctiques de HUGS (curs de llenguatges de programació 01-02): prachask.pdf
  • Exercici del formateig de text: formateig.hs
  • Enunciats de les pràctiques de HUGS (curs 2002-2003): practh0203.doc
  • Enunciats de les pràctiques petites i individuals de HUGS (curs 2003-2004): practh0304.doc
  • Enunciats de les pràctiques grans de HUGS (curs 2003-2004): HugsGran.htm
  • Enunciat de la pràctica de HASKELL (04-05): prachask0405.pdf
  • Enunciat de la pràctica de HASKELL (03-04): prachaskellpara.htm

Altres llenguatges:

 
Girona, 12/04/2014