| Competencias do título |
| Código | Competencias da titulación |
| Resultados de aprendizaxe | |||
| Competencias de materia (Resultados de aprendizaxe) | Competencias da titulación | ||
| Coñecer os fundamentos e principios básicos da programación, incluindo variables, tipos, expresións, estruturas de control, estruturas de datos e recurrencia. | A7 A13 |
B1 B3 |
C2 C3 C4 C6 C7 C8 |
| Empregar e aplicar os diferentes paradigmas de programación para a resolución de problemas. | A7 A14 |
B1 B3 |
C2 C3 C4 C6 C7 C8 |
| Contidos |
| Temas | Subtemas |
| Programación Declarativa: Programación Funcional | Tipos e valores. Expresións e definicións. "Pattern-matching". Funcións. Funcións recursivas. Terminación. Recursividade terminal. "Currying". Funcións de orde superior. Tipos parametrizados. Tipos recursivos. Polimorfismo. Transparencia referencial. Excepcións. |
| Programación imperativa | Estado da máquina. Variables. Asignación. Programación estructurada. Estructuras de control: Composición secuencial, alternativa e iterativa. Procedimentos e funcións. Paso de parámetros por referencia e por valor. Efectos colaterais. Programación imperativa vs. declarativa. |
| Programación Orientada a Obxectos | Obxectos, atributos e métodos. Clases e herdanza. Polimorfismo. Programación Orientada a Obxectos vs. imperativa. Programación Orientada a Obxectos vs. declarativa. |
| A linguaxe de programación Objective Caml | Programación funcional, imperativa e orientada a obxectos en Ocaml. Os compiladores de Ocaml. Entrada / Saída. Módulos e librerías. Abstracción, encapsulación e compilación separada. Módulos, interfaces e signaturas. |
| Planificación | |||
| Metodoloxías / probas | Horas presenciais | Horas non presenciais / traballo autónomo | Horas totais |
| Sesión maxistral | 30 | 20 | 50 |
| Discusión dirixida | 8 | 0 | 8 |
| Proba obxectiva | 4 | 16 | 20 |
| Traballos tutelados | 2 | 20 | 22 |
| Prácticas de laboratorio | 20 | 20 | 40 |
| Atención personalizada | 10 | 0 | 10 |
| *Os datos que aparecen na táboa de planificación son de carácter orientativo, considerando a heteroxeneidade do alumnado | |||
| Metodoloxías |
| Metodoloxías | Descrición |
| Sesión maxistral | Exposición na aula dos contidos básicos da materia. |
| Discusión dirixida | Nas horas de titorías en grupos reducidos, discutirase cos estudantes a formulación e resolución de problemas avanzados. |
| Proba obxectiva | Exame escrito. |
| Traballos tutelados | O estudante poderá acordar co profesor a preparación de certos traballos para a súa presentación e discusión con outros estudantes durante as horas de titorías en grupos reducidos. |
| Prácticas de laboratorio | Exercicios de programación para a posta en práctica do visto nas clases maxistrais, con atención personalizada por parte do profesor de prácticas en horario de laboratorio. |
| Atención personalizada |
|
|
| Avaliación | ||
| Metodoloxías | Descrición | Cualificación |
| Prácticas de laboratorio | Asistencia, realización e entrega de prácticas de laboratorio. | 20 |
| Proba obxectiva | Exame escrito. | 60 |
| Traballos tutelados | Coa realización de traballos tutelados e a súa defensa e discusión durante as horas de Titorías en Grupos Reducidos poderá consolidarse até un 20% da nota final. A porcentaxe non consolidada pasará a computarse na proba obxectiva. A valoración do exame escrito realizarase pola porcentaxe que reste até o 80%. | 20 |
| Observacións avaliación | ||
| Fontes de información |
| Bibliografía básica |
WIKSTRÖM, A. (). Functional Programming Using Standard ML. Prentice Hall
Joshua B. Smith (2006). Practical Ocaml. Apress |
| Bibliografía complementaria |
Thérèse Accart Hardin and Véronique Donzeau-Gouge Viguié (). Concepts et outils de programmation. InterEditions
Luc Albert (1997). Cours et exercices d'informatique. Thomson Publishing International, Paris
WEIS, P. & LEROY, X. (1993). Le Languaje Caml. InterEditions
PAULSON, L. C. (1991). ML for the Working Programmer. Cambridge University Press.
Michel Quercia (2000). Nouveaux exercices d'algorithmique. Éditions Vuibert, Paris
Jacques Rouablé (1997). Programmation en Caml. Eyrolles, Paris
Philippe Narbe (2005). Programmation fonctionnelle, générique et objet: une introduction avec le langage OCaml. Vuibert, Paris
COUSINEAU, G, & MAUNY, M. (1998). The functional Approach to Programming. Cambridge University Press. |
|
CHAILLOUX, E.; MANOURY, P. & PAGANO, B.: Developing Applications With Objective Caml. |
| Recomendacións | |||
| Materias que se recomenda ter cursado previamente | ||
|
| Materias que se recomenda cursar simultaneamente | ||
|
| Materias que continúan o temario | |||
|
| Observacións | |