CT01 Analitzar situacions complexes i dissenyar estratègies per a resoldre-les CT06 Disenyar propostes creatives 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. CC4 Capacitat per a conèixer els fonaments, paradigmes i tècniques pròpies dels sistemes intel·ligents i analitzar, dissenyar i construir sistemes, serveis i aplicacions informàtiques que utilitzin aquestes tècniques en qualsevol àmbit d'aplicació.
1. Presentació. 2. Programació funcional i orientada a objectes. 2.1. Inferència de tipus (Haskell) 2.2. Scala 2.3. Actor Model 2.4. Aplicacions 3. Programació amb restriccions. 3.1. Problema de restriccions (CSP) 3.2. Cerca i propagació 3.3. Modelització 3.4. SAT i SMT 3.5. Aplicacions
Tipus d’activitat Hores amb professor Hores sense professor Total Elaboració individual de treballs 5,00 30,00 35,00 Prova d'avaluació 3,00 19,50 22,50 Sessió participativa 42,50 24,00 66,50 Total 50,50 73,50 124
Martin Odersky, Lex Spoon i Bill Venners (2010). Programming in Scala (2). Artima. Catàleg Kim Marriot and Peter J. Stuckey. A MiniZinc Tutorial. Recuperat , a http://www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret (2012). Solving constraint satisfaction problems with SAT modulo theories. Constraints, 17(3), 273-303 Editors : Rossi & van Beek & Walsh (2006). Handbook of Constraint Programming (1). Elsevier. Catàleg
Activitats d'avaluació: Descripció de l'activitat Avaluació de l'activitat % Examen parcial Funcional + OO No hi ha nota mínima 5 Examen parcial restriccions No hi ha nota mínima 5 Practica SCALA 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Ó. Cal una nota mínima de 4 per poder fer mitja i aprovar l'assignatura. 10 Pràctica de programació amb restriccions 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Ó. Cal una nota mínima de 4 per poder fer mitja i aprovar l'assignatura. 20 Examen Final 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+ 10%SCALA+20%Restriccions+5%examen parcial funcional objectes+ 5%examen parcial restriccions. 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.
Intel·ligència artificial Lògica i matemàtica discreta Paradigmes i llenguatges de programació Projecte de programació