|
Guía DocenteCurso Facultade de Informática |
| Enxeñeiro en Informática |
 Asignaturas |
| Matemáticas Discretas II |
| Contidos |
| 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 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| Parte I: Combinatoria e recursión. |
1.1 Funcións xeratrices ordinarias. 1.2 Funcións xeratrices exponenciais. 1.3 Relacións de recurrencia lineais homoxéneas. 1.4 Relacións de recurrencia lineais non homoxéneas. 1.5 Aplicacións a algoritmos. |
| Parte II: Sistemas de tipos | 2.1 Introducción. 2.2 Sistemas non 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. |
|
