Dades generals
-
Curs acadèmic:
- 2020
-
Descripció:
- S'estudiaran conceptes generals dels llenguatges de programació com són la seva evolució històrica i diferents classificacions, conceptes de processament lèxic, sintàctic i semàntic, i diferents paradigmes de programació com el lògic, el funcional, el de restriccions i el concurrent.
-
Crèdits ECTS:
- 5
Grups
Grup A
-
Durada:
- Semestral, 2n semestre
-
Professorat:
- Mateu Villaret Auselle
-
Idioma de les classes:
- Català (100%)
Competències
- CT06 Disenyar propostes creatives
- CT10 Avaluar la pròpia activitat i aprenentatge, i elaboració de estratègies per a millorar-les
- CT11 Prendre decisions per la resolució de situacions diverses
- CC2 Capacitat per a conèixer els fonaments teòrics dels llenguatges de programació i les tècniques de procesament lèxic, sintàctic i semàntic associades, i saber aplicar-les per a la creació, disseny i processament de llenguatges.
Continguts
1. INTRODUCCIÓ ALS LLENGUATGES DE PROGRAMACIÓ I ALS SEUS PARADIGMES: què és un llenguatge de programació; història, evolució, paradigmes i criteris de disseny dels llenguatges de programació.
2. CONCEPTES BÀSICS DE LA TRADUCCIÓ DE LLENGUATGES:
anàlisi lèxica, sintàctica i semàntica i generació de codi.
3. PARADIGMA DE LA PROGRAMACIÓ LÒGICA: el model de còmput subjacent de la lògica de primer ordre, unificació i resolució. PROLOG.
4. PARADIGMA DE PROGRAMACIÓ FUNCIONAL: el model de còmput subjacent del lambda-càlcul, ordres de reducció i formes normals, inferència de tipus. HASKELL.
5. PARADIGMA IMPERATIU: noció d'estat, àmbits de visibilitat, pas de paràmetres i models de memòria. Semàntica.
Activitats
Tipus d’activitat |
Hores amb professor |
Hores sense professor |
Hores virtuals amb professor |
Total |
Elaboració individual de treballs |
0
|
30,00 |
0
|
30,00 |
Prova d'avaluació |
4,00 |
17,00 |
0
|
21,00 |
Sessió participativa |
0
|
27,50 |
46,50 |
74,00 |
Total |
4,00 |
74,50 |
46,50 |
125 |
Bibliografia
- Ruiz Jiménez, Blas Carlos (cop. 2004 ). Razonando con Haskell : un curso sobre programación funcional . Madrid: Thomson-Paraninfo. Catàleg
- Sterling, Leon (1994 ). The Art of Prolog : advanced programming techniques (2nd ed.). Cambridge [etc.]: The MIT Press. Catàleg
- Mitchell, John C (2003 ). Concepts in programming languages . Cambridge: Cambridge University Press. Catàleg
- Louden, Kenneth C (cop. 2004 ). Lenguajes de programación : principios y prácticas (2ª ed.). México: Thomson. Catàleg
Avaluació i qualificació
Activitats d'avaluació:
Descripció de l'activitat |
Avaluació de l'activitat |
% |
Recuperable |
Examen parcial del paradigma funcional |
Nota mínima 3. |
30 |
Sí |
Examen parcial del paradigma lògic i definició de llenguatges |
Nota mínima 3. |
40 |
Sí |
Pràctica de PROLOG. |
Es valorarà l'adequat ús de les tècniques i de les eines a l'abast. Els terminis de lliurament de la pràctica s'indicarà en el propi enunciat. El seu lliurament és OBLIGATORI. Lliuraments incomplets es consideraran no presentats i per tant impliquen suspendre l'assignatura. |
15 |
No |
Pràctica de HASKELL. |
Es valorarà l'adequat ús de les tècniques i de les eines a l'abast. Els terminis de lliurament de la pràctica s'indicarà en el propi enunciat. El seu lliurament és OBLIGATORI. Lliuraments incomplets es consideraran no presentats i per tant impliquen suspendre l'assignatura. |
15 |
No |
Qualificació
El lliurament de les 2 pràctiques és obligatori. Lliuraments incomplets es consideraran no presentats i per tant implica suspendre l'assignatura.
La nota final serà:
40% examen parcial de programació lògica i definició de llenguatges +
15% pràctica PROLOG
+ 30% examen parcial programació funcional + 15% pràctica HASKELL.
Aquesta fórmula s'aplicarà en el cas que les pràctiques estiguin degudament lliurades i que s'hagi obtingut un 3 o més a cada examen.
Hi haurà examen de recuperació per les parts que es necessiti.
Es proposaran exercicis voluntaris durant el curs que podran ajudar a millorar la nota final en cas que s'hagi aprovat.
Criteris específics de la nota «No Presentat»:
La nota de No Presentat serà quan no s'hagi presentat cap pràctica ni s'hagi presentat a l'exàmen.
Avaluació única:
Es farà un examen únic amb un pes del 70% i es requerirà haver fet les pràctiques de Haskell i Prolog amb un 15% de nota cadascuna.
Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0
Tutoria
Les tutoties es faran sota demanda presencialment o mitjançant google meet.
Comunicacio i interacció amb l'estudiantat
La comunicació es farà mitjançant el moodle i missatges moodle.
Observacions
Caldrà ser receptiu a l'hora d'aprendre noves maneres d'atacar els problemes.
Caldrà certa capacitat d'abstracció i creativitat.
Es recomana fortament fer els exercicis proposats d'una setmana per l'altra i en cas de no sortir-se'n assistir a turories.
Assignatures recomanades
- Fonaments de computació
- Intel·ligència artificial
- Lògica i matemàtica discreta
- Projecte de programació
Modificació del disseny
Modificació de les activitats:
Les PAC (examens parcials de funcional i lògica) es faran telemàticament.
Modificació de l'avaluació:
L'avaluació serà la mateixa ja que les PAC es podran fer telemàticament i la correcció de pràctiques també.
Tutoria i comunicació:
Les tutories són via mail i quan es vulgui via google meet.