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ó

MÀSTER

• Sistemes de reescriptura, apunts:

· sistemes_reescriptura.pdf

• Tècniques i èines per a la resolució de problemes complexos, apunts:

· repas-logica.pdf

· elipc.pdf

---

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

• 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

· 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 LA PRÀCTICA DE HASKELL (03-04): prachaskellpara.htm

MATERIAL MINIM DE HASKELL/HUGS/GOFER

• 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.