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ó 5,00 16,00 0 21,00 Sessió participativa 46,50 27,50 0 74,00 Total 51,50 73,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. 28 Sí Examen parcial del paradigma lògic Nota mínima 3. 28 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. A les preguntes de pràctiques a l'examen hi haurà preguntes relacionades amb la pràctica. 17 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. A la part pràctica de l'examen hi haurà preguntes sobre la pràctica. 17 No Examen Definició de Llenguatges Es valorarà la resolució d'exercicis explicats a teoria. 10 No
El lliurament de les 2 pràctiques és molt recomanat ja que a part del 34% de la nota, hi haurà preguntes de les pràctiques als examens. La nota final serà: 28% examen parcial de programació lògica + 10% examen de definició de llenguatges + 17% pràctica PROLOG + 28% examen parcial programació funcional + 17% pràctica HASKELL. (en cas que no s'expliqui la definició de llenguatges els parcials valdran 33% cadascun) Aquesta fórmula s'aplicarà en el cas que s'hagi obtingut un 3 o més als examens. 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 66% i es requeriran les pràctiques de Haskell i Prolog amb un 34% de nota. 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ó