| Enxeñeiro en Informática |
 Asignaturas |
| Matemáticas Discretas II |
| Resultados de aprendizaje |
|
|
| Datos Identificativos | 2015/16 | |||||||||||||
| Asignatura | Matemáticas Discretas II | Código | 614111406 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
| 1º y 2º Ciclo | 1º cuatrimestre |
Cuarto | Obligatoria | 5 | ||||||||||
|
||||||||||||||
| Resultados de aprendizaje | Competencias / Resultados del título | ||
| 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 |
B3 B11 |
|
| Introducir o lambda-cálculo, tipado e non tipado, como núcleo fundamental das linguaxes de programación. | A3 |
B3 B11 B12 |
|
| Comprender os fundamentos do subtipado. | A3 |
B3 B11 B15 |
|
| Coñecer e ser capaz de aplicar certos conceptos básicos da verificación formal. | A3 |
B2 B3 B11 B12 B15 |
|
|
