Grupo: Grupo de CLASES TEORICAS de PROGRAMACION DECLARAT.(865768) ASIGNATURA:
"Programación Declarativa"
DATOS BÁSICOS DE LA ASIGNATURA/GRUPO
Titulación:
Asignatura:
Código:
Curso:
Año del plan de estudio:
Tipo:
Ciclo:
Período de impartición:
Departamento:
Área:
Dirección postal:
Centro:
Dirección electrónica:
Horas totales (ECTS):
Créditos LRU teóricos: Créditos LRU prácticos:
Horas presenciales (ECTS): Horas no presenciales (ECTS):
Créditos totales (LRU):
Créditos totales (ECTS):
67.5 4.5
1º
C/ TARFIA, S/N 41012 Primer Cuatrimestre
INGENIERO EN INFORMÁTICA ( Plan 97 )
Programación Declarativa
45.0
http://www.cs.us.es
Escuela Técnica Superior de Ingeniería Informática
112.5
Ciencias de la Computación e Inteligencia Artificial CIENCIAS DE LA COMP. E INTEL. ARTIF.
4.5
1.5 1997
3º
3.0 Obligatoria 260025
Grupo de CLASES TEORICAS de PROGRAMACION DECLARAT.
Grupo:
PROFESORADO
ALONSO JIMENEZ, JOSE A. (COORDINADOR/A) 1
Titulacion: INGENIERO EN INFORMÁTICA ( Plan 97 ) Curso: 2009 - 2010
PROYECTO DOCENTE
OBJETIVOS Y COMPETENCIAS
Competencias transversales/genéricas Objetivos docentes específicos
Estudiar la programación funcional y la programación lógica.
Competencias
Capacidad de análisis y síntesis (Se entrena de forma intensa) Capacidad de organizar y planificar (Se entrena de forma intensa) Conocimientos generales básicos (Se entrena de forma intensa)
Solidez en los conocimientos básicos de la profesión (Se entrena de forma intensa) Comunicación oral en la lengua nativa (Se entrena de forma intensa)
Comunicación escrita en la lengua nativa (Se entrena de forma intensa) Conocimiento de una segunda lengua (Se entrena de forma intensa) Habilidades elementales en informática (Se entrena de forma intensa)
Habilidades para recuperar y analizar información desde diferentes fuentes (Se entrena de forma intensa) Resolución de problemas (Se entrena de forma intensa)
Toma de decisiones (Se entrena de forma intensa)
Capacidad de crítica y autocrítica (Se entrena de forma intensa)
Capacidad para aplicar la teoría a la práctica (Se entrena de forma intensa) Habilidades de investigación (Se entrena de forma intensa)
Capacidad de aprender (Se entrena de forma intensa)
Capacidad de adaptación a nuevas situaciones (Se entrena de forma intensa) Capacidad de generar nuevas ideas (Se entrena de forma intensa)
Habilidad para trabajar de forma autónoma (Se entrena de forma intensa) Planificar y dirigir (Se entrena de forma intensa)
Inquietud por la calidad (Se entrena de forma intensa) Competencias específicas
1. Capacidad de escribir programas en estilo funcional.
2. Capacidad de razonar formalmente sobre programas funcionales.
3. Capacidad para entender la importancia de la abstracción en la Informática.
4. Capacidad para estimar la eficiencia en programas declarativos.
5. Capacidad de escribir programas en estilo relacional.
CONTENIDOS DE LA ASIGNATURA
Programación funcional. Programación lógica
Primera parte: Programación funcional.
1. Introducción a la programación funcional.
2. Introducción a la programación con Haskell.
3. Tipos y clases.
4. Definición de funciones.
5. Definiciones de listas por comprensión.
6. Funciones recursivas.
7. Razonamiento sobre programas.
8. Funciones de orden superior.
9. Declaraciones de tipos y clases.
10. Evaluación perezosa.
11. Analizadores funcionales.
12. Programas interactivos.
13. Aplicaciones de programación funcional.
Segunda parte: Programación lógica.
14. Introducción a la programación lógica.
15. Introducción a la programación con Prolog.
16. Programación con Prolog.
El tiempo del curso se reparte de manera equitativa entre cada uno de los temas aproximadamente.
Relación sucinta de los contenidos (bloques temáticos en su caso)
Relación detallada y ordenación temporal de los contenidos
ACTIVIDADES FORMATIVAS
Horas presenciales:
Horas no presenciales:
Competencias que desarrolla:
Metodología de enseñanza-aprendizaje:
30.0 45.0
Todas.
Clases teórico/prácticas y pruebas de evaluación.
Clases teóricas
Horas presenciales:
Horas no presenciales:
Competencias que desarrolla:
Metodología de enseñanza-aprendizaje:
15.0 22.5
Todas.
Resolución de problemas en el laboratorio de informática y actividades de evaluación.
Prácticas informáticas
BIBLIOGRAFÍA Y OTROS RECURSOS DOCENTES Bibliografía general
Introducción a la programación funcional con Haskell
R. Bird 2000
Prentice-Hall
Autores: Edición:
Publicación: ISBN: 0
Programming for artificial intelligence
I. Bratko, Prolog 2001
Addison-Wesley
Autores: Edición:
Publicación: ISBN: 0
Programming in Prolog, edicion 4
W.F. Clocksin; C.S. Mellish 1994
Springer-Verlag
Autores: Edición:
Publicación: ISBN: 0
Programming in Haskell
G. Hutton 2007
Cambridge University Press
Autores: Edición:
Publicación: ISBN:
The craft of Prolog
R. A. O'Keefe 1990
MIT Press
Autores: Edición:
Publicación: ISBN: 0
El principal recurso docente es la página de la asignatura en la Red (http://www.cs.us.es/~jalonso/cursos/pd) donde se encuentran los apuntes, las transparencias de los temas, los ejercicios, los sisemas usados en la asignatura y enlaces a otros recursos (apuntes, cursos, ...) útiles para la asignatura.
Otros recursos docentes
ML for the working programmer, edicion 2
L. C. Paulson 1996
Cambridge University Press
Autores: Edición:
Publicación: ISBN: 0
The art of Prolog, edicion 2
L. Sterling; E. Shapiro 1994
MIT Press
Autores: Edición:
Publicación: ISBN: 0
Haskell: The craft of functional programming
S. Thompson 1999
Addison-Wesley
Autores: Edición:
Publicación: ISBN: 0
SISTEMAS Y CRITERIOS DE EVALUACIÓN Y CALIFICACIÓN Sistema de evaluación
Evaluación por curso
La evaluación por curso consta de exámenes parciales. La nota por curso se obtiene a partir de las notas de los exámenes parciales.
Evaluación final
Los alumnos que no hayan aprobado por curso podrán presentarse al examen final.
En la evaluación por curso, la nota final es la media de las notas de los exámenes parciales. En las convocatorias oficiales la nota es la nota del examen. Para aprobar la asignatura basta obtener al menos un 5 en la evaluación por curso o en alguna de las convocatorias oficiales. Tanto en el aprendizaje como en su evaluación se usará una visión holística.
Criterios de calificación
CALENDARIO DE EXÁMENES
CENTRO: Escuela Técnica Superior de Ingeniería Informática
11/2/2010 0:0
A determinar
Fecha: Hora:
Aula:
1 ª Convocatoria
CENTRO: Escuela Técnica Superior de Ingeniería Informática
6/9/2010 0:0
A determinar
Fecha: Hora:
Aula:
2 ª Convocatoria
CENTRO: Escuela Técnica Superior de Ingeniería Informática
4/12/2009 0:0
A determinar
Fecha: Hora:
Aula:
3 ª Convocatoria
Anotaciones relativas al calendario de exámenes
TRIBUNALES ESPECÍFICOS DE EVALUACIÓN Y APELACIÓN
ALEJANDRO FERNANDEZ MARGARIT Presidente:
Vocal: MARIO DE JESÚS PÉREZ JIMÉNEZ
JOSE A. ALONSO JIMENEZ Secretario:
Primer suplente: JOAQUIN BORREGO DIAZ FRANCISCO FELIX LARA MARTIN Segundo suplente:
MARIA JOSE HIDALGO DOBLADO Tercer suplente:
ANEXO 1:
HORARIOS DE LOS GRUPOS NO PRINCIPALES DE LA ASIGNATURA Y DEL GRUPO DEL PROYECTO DOCENTE
GRUPO: Grupo de CLASES DE LABORATORIO de PROGRAMACION DE. (865774)
Calendario del grupo
CLASES DEL PROFESOR: QUESADA MORENO, JOSE FRANCISCO
Del al De a
SIN
Fecha: Hora:
Aula:
GRUPO: Grupo de CLASES DE LABORATORIO de PROGRAMACION DE. (865775)
Calendario del grupo
CLASES DEL PROFESOR: QUESADA MORENO, JOSE FRANCISCO
Del al De a
SIN
Fecha: Hora:
Aula:
GRUPO: Grupo de CLASES DE LABORATORIO de PROGRAMACION DE. (865776)
Calendario del grupo
CLASES DEL PROFESOR: GRACIANI DIAZ, MARIA CARMEN
Del al De a
SIN
Fecha: Hora:
Aula:
GRUPO: Grupo de CLASES DE LABORATORIO de PROGRAMACION DE. (865777)
Calendario del grupo
CLASES DEL PROFESOR: GRACIANI DIAZ, MARIA CARMEN
Del al De a SIN
Fecha: Hora:
Aula:
