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.
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.
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 46,50 27,50 0 74,00 Total 50,50 74,50 0 125
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
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
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. (en cas que no s'expliqui la definició de llenguatges els parcials valdran 35% cadascun) 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
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.
Fonaments de computació Intel·ligència artificial Lògica i matemàtica discreta Projecte de programació