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