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ó 5,00 14,00 19,00 Sessió participativa 48,50 27,50 76,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 lògic No hi ha nota mínima. 5 Examen parcial del paradigma funcional No hi ha nota mínima. 5 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. UN COP PASSAT AQUEST TERMINI NO S'ACCEPTARÀ EL LLIURAMENT DE CAP EXERCICI. AQUEST EXERCICI NO ADMET RECUPERACIÓ. 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. UN COP PASSAT AQUEST TERMINI NO S'ACCEPTARÀ EL LLIURAMENT DE CAP EXERCICI. AQUEST EXERCICI NO ADMET RECUPERACIÓ. 15 Exàmen final teoria i pràctiques. Constarà de preguntes de teoria i de laboratori i s'haurà de treure un 4,5 com a mínim per fer mitjana. 60
El lliurament de les 2 pràctiques és obligatori i s'ha de tenir una nota de cada pràctica de 4 com a mínim. L'exàmen constarà de dues parts, teoria i laboratori i s'ha de tenir una nota superior a 3 a cada part, i una nota total de l'exàmen superior a 4,5. Si es satisfan les premises anteriors s'obtindrà una nota final d'acord amb els percentatges especificats: 60%examen+ 15%prolog+15*haskell+5%examen parcial logic + 5%examen parcial funcional. Si no es satisfan la nota final serà el mínim entre la nota de l'examen final, la de les pràctiques i la nota ponderada. 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ó