| Enxeñeiro en Informática |
 Asignaturas |
| Matemáticas Discretas II |
| Contenidos |
|
|
| 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 | ||||||||||
|
||||||||||||||
| Tema | Subtema |
| Parte I: Combinatoria y recursión. |
1.1 Funciones generatrices ordinarias. 1.2 Funciones generatrices exponenciais. 1.3 Relaciones de recurrencia lineales homogéneas. 1.4 Relaciones de recurrencia lineales no homogéneas. 1.5 Aplicaciones a algoritmos. |
| Parte II: Sistemas de tipos | 2.1 Introducción. 2.2 Sistemas no tipados. 2.3 Tipos simples. 2.4 Subtipado. |
| Parte III: Prueba de teoremas | 3.1 Introducción al sistema de prueba de teoremas Coq. 3.2 Prueba de teoremas sencillos en Coq. |
|
