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. |