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

• Llenguatges de programació

EINF

• Paradigmes de Programació

---

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

• ENUNCIATS DE LES PRÀCTIQUES DE PROLOG de PARADIGMES (03-04): pracprol.pdf
• APUNTS DE TEORIA DE PROGRAMACIÓ LÒGICA: apuntspl.pdf

• MATERIAL BÀSIC DE PROLOG
• Transparències de PROLOG:  classesprolog.ppt (2/05/05)
• Per un llibre "on-line" de Prolog, visiteu: http://www.ida.liu.se/~ulfni/lpp/

• DOCUMENTS SOBRE PROGRAMACIÓ LÒGICA AMB CONSTRAINTS
• Article de la revista BYTE indicant la significança del "nou" paradigma: copia_article_byte_html.html o bé: http://www.byte.com/art/9502/sec13/art3.htm
• Article clàssic introductori sobre la programació lògica amb constraints: introclp.pdf

• CODI D'EXEMPLETS
• Exemple del Llop, el xai i l'enciam:  exemple.pl
• Exemples de predicats dinàmics, CLP:  exemples2.pl

• ENUNCIATS D'EXERCICIS I PRÀCTIQUES PASSATS
• Enunciat de les mini-pràctiques de ProLog (curs 98-99):  practprol.doc
• Enunciat de les mini-pràctiques de ProLog (curs 00-01): pracprol0001.doc
• Enunciat de les mini-pràctiques de ProLog (curs 01-02): pracprol0102.doc
• Enunciats de les pràctiques “petites i individuals” de Prolog (LP curs 2003-2004): pracprolog0304.pdf
• Enunciats de les pràctiques “grans” de Prolog (LP curs 2003-2004): practprolgrans03-04.htm

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

• Transparències de HASKELL:  classeshugs.ppt
• Apunts de programació funcional amb Gofer: fp-sp.pdf
• Descripció dels missatges d’error del HUGS: allErrors.htm
• No deixeu de visitar 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”.
• Sobre les Monads: monads.pdf

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

---

Altres llenguatges:

• C++:         Transparències de C++:  cmesmes.ps

• JAVA:
• Transparències de JAVA (versió de comparació amb C++ i descripció AWT):  java.ps .
• Transparències de OOP + JAVA:  ooptranspas.ppt
• Enuciat de la pràctica (curs 2000-2001):  javapr01.txt
• Exemple d'escaquer:  escacs/ap.html
• Exemple de clonatge:  Exj.java

---

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.