Resultados de aprendizaxe Competencias / Resultados do título
Introducir o lambda-cálculo, tipado e non tipado, como núcleo fundamental das linguaxes de programación. A39
A40
 B1
 C2
C6
Comprender os fundamentos formais dos sistemas de tipado e subtipado A39
A40
 B1
 C2
C6
Comprender e dominar os principios de deseño das linguaxes orientadas a obxectos a das implicacións que as eleccións de deseño teñen no desenvolvemento de programas A39
A40
 B1
 C6
Manexar os principios de dxseño das principales estruturas de control das linguaxes de programación a as súas implicacións no desenvolvemento de programas A39
A40
 B1
 C6
Manexar os principios de deseño das principaies estruturas de datos das linguaxes de programación e as súas implicacións no desenvolvemento de programas A39
A40
 B1
 C6