Docčncia
The Interactive Lambda-Calculus
Tracer
·
TILC
TUTORIES
Despatx 230 del P-IV
Podeu enviar-me un mail per mirar de quedar quan us convingui.
ASSIGNATURES
ETIG/ETIS
EINF
MĄSTER
APUNTS TEŅRICO-PRĄCTICS DE LLENGUATGES DE PROGRAMACIÓ
Material sobre els llenguatges de programació declaratius que s'imparteixen a : LP, ProDe i PdP:
PROGRAMACIÓ
LŅGICA
· APUNTS DE TEORIA DE PROGRAMACIÓ LŅGICA: apuntspl.pdf
· TRANSPES DE PROLOG: classesprolog.ppt
Per un llibre "on-line" de Prolog, visiteu: http://www.ida.liu.se/~ulfni/lpp/
· ENUNCIATS DE LA PRĄCTICA DE Prolog (04-05) (per a LP, ETIG/ETIS): pracprolog0405.pdf
· ENUNCIATS DE LES PRĄCTIQUES DE PROLOG de PARADIGMES (03-04): pracprol.pdf
· DOCUMENTS SOBRE PROGRAMACIÓ LŅGICA AMB CONSTRAINTS
· CODI D'EXEMPLETS
· ENUNCIATS D'EXERCICIS I PRĄCTIQUES PASSATS
EXAMEN PASSAT (Programació Declarativa)
Exąmen final (curs 01-02): examenpd.pdf
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
ENUNCIATS DE LA PRĄCTICA DE HASKELL (04-05): prachask0405.pdf
ENUNCIATS DE
MATERIAL MINIM DE HASKELL/HUGS/GOFER
ENUNCIATS D’EXERCICIS I PRĄCTIQUES PASSATS
Altres llenguatges:
Aquestes transparčncies, i aquest exercicis, no pretenen ser els apunts
de l'assignatura, només un recolzament per a les explicacions realitzades a
classe.
Noteu sobretot que són VERSIONS EN DESENVOLUPAMENT per tant comuniqueu-me els
possibles errors que hi trobeu si us plau.