Datos Identificativos | 2012/13 | ||||||
Asignatura (*) | Programación Funcional | Código | 614111635 | ||||
Titulación |
|
||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | ||
1º e 2º Ciclo | 1º cuadrimestre |
Todos | Optativa | 5.5 | |||
Idioma | |||||||
Prerrequisitos | |||||||
Departamento | Computación |
||||||
Coordinación |
|
Correo electrónico |
|
||||
Profesorado |
|
Correo electrónico |
|
||||
Web | http://www.madsgroup.org/~quintela/programacion_funcional/ | ||||||
Descrición xeral |
La asignatura de Programación Funcional permite al estudiante de ingeniería informática profundizar en el estudio de los lenguajes funcionales. Esto se realiza estudiando el lambda cálculo, que es la teoría en la que se basan estos lenguajes. Se usa una aproximación práctica, implementando y extendiendo un interprete del lambda cálculo puro con diversas funcionalidades como booleanos, enteros, pares, listas, recursividad ... |
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*)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 |