Llenguatges de programació (Pla 01) |
|
3105IG0017 - Llenguatges de programació (Pla 01)
Aquesta pàgina pretén ser la referència de l’assignatura en quant a guió, material, novetats i enunciats, necessaris.
Link a TILC per a practicar amb
lambda càlcul: TILC-Presentation
Guió de Teoria:
|
Núm. de sessió |
Data |
Descripció |
Material |
Exercicis |
|
1 |
8 de febrer |
1. Introducció Què és un LP Computació |
Bib 2. Cap. 1,2 |
|
|
2 |
15 de febrer |
Perspectiva històrica Paradigmes Definició de llenguatges (compilació) |
Bib 1. Cap. 2 Bib 1. Cap. 4 |
|
|
3 |
22 de febrer |
Lèxic Sintàctic |
Bib 1. Cap. 4 |
Fer
l’expressió regular dels reals i els comentaris en C++. Fer la
derivació del programa proposat a classe segons la gramatica del seu
llenguatge. |
|
4 |
1 de març |
Sintàctic Semàntic Compilació/interpretació Criteris de disseny de LP |
Bib 1. Cap. 4 |
Fer una
gramàtica per a expressions aritmètiques que no sigui ambigua i amb
associativitat esquerra per a suma i producte. Parsejar l’expressió:
2+3*4*5+6. |
|
5 |
8 de març |
2. Paradigma Funcional Lambda-càlcul |
Bib. 5 |
(Classes mig
suspesa per neu) |
|
6 |
15 de març |
Lambda-càlcul |
Bib. 5 |
-Fer la 2na
substitució pas a pas de la pàgina 11 de les transpes. -Tractar el
lambda terme donat a la
pissarra: parèntesi, vars lliures i lligades, redexes, forma normal. |
|
7 |
22 de març |
Lambda-càlcul |
Bib. 5 |
|
|
8 |
29 de març |
|
|
|
|
9 |
5 d’abril |
|
|
|
|
10 |
12 d’abril |
|
|
|
|
11 |
19 d’abril |
|
|
|
|
12 |
26 d’abril |
|
|
|
|
13 |
3 de maig |
|
|
|
|
14 |
10 de maig |
|
|
|
|
15 |
17 de maig |
|
|
|
Guió de Laboratori:
|
Núm. De
sessió |
Data |
Descripció |
Material |
Exercicis
proposats |
|
1 |
8 de febrer |
|
|
|
|
2 |
15 de febrer |
HASKELL Introducció Primeres passes Tipus |
|
|
|
3 |
22 de febrer |
Tipus Definint funcions |
|
|
|
4 |
1 de març |
Comprehension Lists Funcions recursives |
|
|
|
5 |
8 de març |
|
|
(Classes suspesa
per neu) |
|
6 |
15 de març |
Funcions d’ordre Superior |
|
|
|
7 |
22 de març |
|
|
|
|
8 |
29 de març |
|
|
|
|
9 |
5 d’abril |
|
|
|
|
10 |
12 d’abril |
|
|
|
|
11 |
19 d’abril |
|
|
|
|
12 |
26 d’abril |
|
|
|
|
13 |
3 de maig |
|
|
|
|
14 |
10 de maig |
|
|
|
|
15 |
17 de maig |
|
|
|
Pràctiques de programació funcional
Pràctiques de programació Lògica
Bibliografia:
1. “Lenguajes de programación” (Thomson),
2. “Concepts in programming languages” (Cambridge press)
3. “Razonando con Haskell” (Thomson)
o Transpes dels autors (José Gallardo)
4. “The art of Prolog” (MIT Press)
5. Apunts de teoria de programació funcional: progfunc.pdf
o Transpes: sempf.pdf
6. Apunts de teoria de programació lògica: apuntspl.pdf
o Transpes: sempl.pdf
7. Apunts d’Ulf Nilsson sobre Sicstus i clpfd: clpfd.pdf