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


 

 

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

 

ENUNCIATS DE LA PRĄCTICA DE Prolog (04-05) (per a LP, ETIG/ETIS): pracprolog0405.pdf

 

 

 

 

EXAMEN PASSAT (Programació Declarativa)

Exąmen final (curs 01-02):  examenpd.pdf

 

PROGRAMACIÓ FUNCIONAL

 

ENUNCIATS DE LA PRĄCTICA DE HASKELL (04-05): prachask0405.pdf

 

ENUNCIATS DE LA PRĄCTICA DE HASKELL (03-04): prachaskellpara.htm

APUNTS DE TEORIA DE PROGRAMACIÓ FUNCIONAL: progfunc.pdf

 

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.