Datos Identificativos | 2013/14 | ||||||
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 | |||
Idioma |
|
||||||
Prerrequisitos | |||||||
Departamento | Computación |
||||||
Coordinación |
|
Correo electrónico |
|
||||
Profesorado |
|
Correo electrónico |
|
||||
Web | |||||||
Descrición xeral |
En esta asignatura se profundiza en los fundamentos de la computación, con especial énfasis en: * Combinatoria y recursión (funciones generatrices, relaciones de recurrencia, y su aplicación en el diseño de algoritmos) * Sistemas de tipos (especificación formal de los sistemas de tipos para conformar la semántica de los lenguajes de programación) * Prueba de teoremas (introducción práctica a los asistentes de pruebas, tomando la formalización de sistemas de tipos como caso práctico) |
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*)A Guía docente é o documento onde se visualiza a proposta académica da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías |