Competencias de materia (Resultados de aprendizaxe) Competencias da titulación
Manexar conceptos de combinatoria, fundamentalmente as funcións xeratrices. B3
B11
B12
Aprender a resolver relacións de recurrencia e as suas aplicacións ao estudo da complexidade dos algoritmos. B2
B11
Comprender os conceptos básicos dos sistemas de tipos. A3
A11
 B3
B11
Introducir o lambda-cálculo, tipado e non tipado, como núcleo fundamental das linguaxes de programación. A3
A11
 B3
B11
B12
Comprender os fundamentos do subtipado. A3
A11
 B3
B11
B15
Coñecer e ser capaz de aplicar certos conceptos básicos da verificación formal. A3
A11
 B3
B11
B12
B15