Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Matemáticas Discretas II | Código | 614111406 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
1º e 2º Ciclo | 1º cuadrimestre |
Cuarto | Obrigatoria | 5 | ||||||||||
|
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 |