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 Total Elaboració individual de treballs 0 30,00 30,00 Prova d'avaluació 7,00 14,00 21,00 Sessió participativa 46,50 27,50 74,00 Total 53,50 71,50 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 % Examen parcial del paradigma funcional No hi ha nota mínima. Pot alliberar la part corresponent de l'exàmen final si la nota és superior o igual a 4. 15 Examen parcial del paradigma lògic No hi ha nota mínima. Pot alliberar la part corresponent de l'examen final si la nota és superior o igual a 4. 15 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 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 Exàmen final teoria i pràctiques. Constarà de preguntes de teoria i de laboratori. 40
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à: 15% examen parcial p.lògica + 15% pràctica p.lògica + 15% examen parcial p.funcional + 15% pràctica p.funcional + 40% examen final. 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.
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ó