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 Hores virtuals amb professor Total Elaboració individual de treballs 4,50 30,00 0 34,50 Prova d'avaluació 4,00 20,50 0 24,50 Sessió participativa 42,00 24,00 0 66,00 Total 50,50 74,50 0 125
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 Catàleg 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 % Recuperable Examen parcial Funcional + OO Nota mínima 3. 28 Sí Examen parcial restriccions i SAT Nota mínima 3 32 Sí Pràctica SCALA ES OBLIGATORI. 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. Lliuraments incomplets no es considerarn com a lliuraments acceptables i per tant impliquen suspendre l'assignatura. 15 No Pràctica de programació amb restriccions ES OBLIGATORI. 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. Lliuraments incomplets no es considerarn com a lliuraments acceptables i per tant impliquen suspendre l'assignatura. 25 No
El lliurament de les 2 pràctiques és obligatori. La nota final serà: 15% pràctica Funcional i OOP + 25% pràctica de Restriccions i SAT + 28% examen parcial funcional objectes + 32% examen parcial restriccions i SAT. Per poder aplicar aquesta fórmula caldrà haver obtingut un 3 o més a cada examen. Hi haurà un examen de recuperació. 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:L'avaluació única consisteix en les dues pràctiques amb els corresponents percentatges de nota i un examen final amb el valor del 60% de la nota. L'examen es farà durant el període ordinari amb la recuperació dels parcials. Per recuperar l'examen hi haurà un examen extraordinari al període de recuperacions. Requisits mínims per aprovar:Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0 i tenir les pràctiques adequadament lliurades.
Les tutories es faran sota demanda amb els mitjans disponibles, ja sigui presencial o telemàticament.
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ó