| Competencias do título |
| Código | Competencias da titulación |
| A39 | Capacidade para ter un coñecemento profundo dos principios fundamentais e modelos da computación, e saber aplicalos para interpretar, seleccionar, valorar, modelar, e crear novos conceptos, teorías, usos e desenvolvementos tecnolóxicos relacionados coa informática. |
| A40 | Capacidade para coñecer os fundamentos teóricos das linguaxes de programación e as técnicas de procesamento léxico, sintáctico e semántico asociadas, e saber aplicalas para a creación, o deseño e o procesamento de linguaxes. |
| B1 | Capacidade de resolución de problemas |
| B3 | Capacidade de análise e síntese |
| C2 | Dominar a expresión e a comprensión de forma oral e escrita dun idioma estranxeiro. |
| C3 | Utilizar as ferramentas básicas das tecnoloxías da información e as comunicacións (TIC) necesarias para o exercicio da súa profesión e para a aprendizaxe ao longo da súa vida. |
| C4 | Desenvolverse para o exercicio dunha cidadanía aberta, culta, crítica, comprometida, democrática e solidaria, capaz de analizar a realidade, diagnosticar problemas, formular e implantar solucións baseadas no coñecemento e orientadas ao ben común. |
| C6 | Valorar criticamente o coñecemento, a tecnoloxía e a información dispoñible para resolver os problemas cos que deben enfrontarse. |
| C7 | Asumir como profesional e cidadán a importancia da aprendizaxe ao longo da vida. |
| C8 | Valorar a importancia que ten a investigación, a innovación e o desenvolvemento tecnolóxico no avance socioeconómico e cultural da sociedade. |
| Resultados de aprendizaxe | |||
| Competencias de materia (Resultados de aprendizaxe) | Competencias da titulación | ||
| Manejar los principios de diseño de las principales estructuras de control de los lenguajes de programación y sus implicaciones en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 |
| Manejar los principios de diseño de las principales estructuras de datos de los lenguajes de programación y sus implicaciones en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 |
| Comprender y dominar los principios de diseño de los lenguajes orientados a objetos y de las implicaciones que las elecciones de diseño tienen en el desarrollo de programas | A39 A40 |
B1 B3 |
C3 C6 C7 C8 |
| Introducir el lambda-cálculo, tipado y no tipado, como núcleo fundamental de los lenguajes de programación. | A39 A40 |
B1 B3 |
C2 C6 C7 C8 |
| Comprender los fundamentos formales de los sistemas de tipado y subtipado | A39 A40 |
B1 B3 |
C2 C4 C6 C7 C8 |
| Manejar de forma práctica los conceptos de complejidad algorítmica y sus implicaciones en el diseño de lenguajes de programación | A39 A40 |
B1 B3 |
C3 C4 C6 C7 C8 |
| Contidos |
| Temas | Subtemas |
| Principios de diseño de lenguajes de programción | Nombres, ámbito y ligazón Flujo de control Tipos de datos Subrutinas |
| Lenguajes orientados a objetos | Fundamentos de diseño de lenguajes orientados a objetos Problemas de tipado de los lenguajes orientados a objetos |
| Formalización de los sistemas de tipos | Semántica operacional, denotacional y axiómática Introducción al lambda cálculo Lambda cálculo tipado |
| Computabilidad y complejidad | Computabilidad y lambda cálculo Clases de complejidad |
| Planificación | |||
| Metodoloxías / probas | Horas presenciais | Horas non presenciais / traballo autónomo | Horas totais |
| Prácticas de laboratorio | 14 | 42 | 56 |
| Obradoiro | 7 | 14 | 21 |
| Proba obxectiva | 2 | 6 | 8 |
| Sesión maxistral | 21 | 42 | 63 |
| Atención personalizada | 2 | 0 | 2 |
| *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 |
| Prácticas de laboratorio | Actividade que permite que os estudantes aprendan de forma efectiva a través da realización de actividades de carácter práctico, neste caso prácticas, demostracións e exercicios. |
| Obradoiro | Realizaranse como complemento de todas as demais actividades, nalgúns casos de forma autónoma por parte do alumno e noutras ocasións dirixidas polo profesor. |
| Proba obxectiva | Proba na que se evaluarán os coñecementos adquiridos tanto na parte teórica como na parte práctica da materia. |
| Sesión maxistral | Exposición oral complementada co uso de medios audiovisuais e a formulación de preguntas dirixidas ós estudantes, co obxetivo de transmitir coñecemento así como de estimular o razoamento crítico do estudiante. |
| Atención personalizada |
|
|
| Avaliación | ||
| Metodoloxías | Descrición | Cualificación |
| Obradoiro | Otras actividades evaluables, cuyo contenido se desarrollarán en las horas de TGR. | 20 |
| Proba obxectiva | Ejercicio escrito | 40 |
| Prácticas de laboratorio | Trabajos de laboratorio | 40 |
| Observacións avaliación | ||
|
La parte teórico de la asignatura computa un 40% de la nota. Las actividades de los TGR computan un 20% de la nota. La evaluación de los TGR se realizará junto con el examen de teoría. El 40% restante se reparte entre las prácticas y cualquier otra actividad de evaluación que se realice a lo largo del curso. Para aprobar la asignatura es preciso aprobar todos y cada uno de los apartados de la evaluación. Para la Segunda Oportunidad, se conservarán los resultados obtenidos en cada apartado en la Primera Oportunidad. En el caso del alumnado a tiempo parcial, no se penalizará la inasistencia a clases de prácticas y TGR que estén debidamente justificadas. |
||
| Fontes de información |
| Bibliografía básica |
Kim B. Bruce (2002). Foundations of Object-Oriented Languages: Types and Semantics. The MIT Press, Cambridge, MA
Michael L. Scott (2009). Programming Language Pragmatics. Third edition. Morgan Kaufmann Publish- ers, Burlington, MA
Benjamin C. Pierce (2002). Types and Programming Languages. The MIT Press, Cambridge, MA |
|
|
|
| Bibliografía complementaria |
Robert W. Sebesta (2010). Concepts of Programming Languages. Pearson
Franklyn A. Turbak and David K. Gifford (2008). Design Concepts in Programming Languages. MIT Press, Cambridge, MA
David A. Watt (2004). Programming Language Design Concepts. ohn Wiley and sons, Chichester, West Suusex, England |
|
|
| Recomendacións | ||
| Materias que se recomenda ter cursado previamente |
| Materias que se recomenda cursar simultaneamente | |
|
| Materias que continúan o temario | ||
|
| Observacións | |