VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

GUA DOCENTE DE
PROGRAMACIN DECLARATIVA Curso 2011-2012

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

TITULACIN: Grado en Ingeniera Informtica GUIA DOCENTE DE LA ASIGNATURA: Programacin Declarativa Profesores: Mara Teresa Gonzlez de Lena, Soto Montalvo, Ana Pradera, Juan Manuel Serrano. Coordinadora de la asignatura: Ana Pradera

I.- Identificacin de la asignatura Tipo Materia Perodo de imparticin N Crditos Idioma en el que se imparte Departamento Asignaturas llave Tasa de xito Este dato ser incluido por el Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus Obligatoria Lenguajes de Programacin Primer cuatrimestre 6 Espaol Ciencias de la Computacin

II.- Presentacin

Esta asignatura tiene como objeto introducir al alumno en los aspectos fundamentales del paradigma de la programacin declarativa: conceptos y caractersticas principales, diferencias con otros paradigmas, modo de funcionamiento, aplicaciones para las que resulta ms adecuado, etc. Se introducen, en particular, los fundamentos, las herramientas y las tcnicas bsicas propias de dos de los principales tipos de lenguajes declarativos existentes: los lenguajes funcionales y los lenguajes lgicos. La asignatura forma parte, junto con Procesadores de Lenguajes (impartida en el segundo cuatrimestre del tercer curso de la titulacin), de la materia denominada Lenguajes de Programacin. Para seguir la asignatura es recomendable haber cursado con aprovechamiento las asignaturas bsicas de Matemticas e Informtica impartidas en el primer curso de la titulacin (en particular Lgica, Matemtica discreta y lgebra e Introduccin a la programacin) as como las asignaturas englobadas en las materias relativas a Programacin y Algoritmia, especialmente Estructuras de Datos y Diseo y anlisis de algoritmos.

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

III.- Competencias Competencias transversales G5 (parte)

Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informticas empleando los mtodos de la ingeniera del software como instrumento para el aseguramiento de su calidad, de acuerdo con los conocimientos adquiridos segn lo establecido en el acuerdo del 3 de marzo de 2009 del Consejo de Universidades relativo a los ttulos de Informtica. Capacidad para resolver problemas con iniciativa, toma de decisiones, autonoma y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesin de Ingeniero Tcnico en Informtica.

G9 (parte)

Competencias especficas C6 (parte)

Conocimiento y aplicacin de los procedimientos algortmicos bsicos de las tecnologas informticas para disear soluciones a problemas, analizando la idoneidad y complejidad de los algoritmos propuestos. Capacidad para analizar, disear, construir y mantener aplicaciones de forma robusta, segura y eficiente, eligiendo el paradigma y los lenguajes de programacin ms adecuados. Conocimiento y aplicacin de los principios fundamentales y tcnicas bsicas de la programacin paralela, concurrente, distribuida y de tiempo real. Conocimiento y aplicacin de los principios fundamentales y tcnicas bsicas de los sistemas inteligentes y su aplicacin prctica. Capacidad para tener un conocimiento profundo de los principios fundamentales y modelos de la computacin y saberlos aplicar para interpretar, seleccionar, valorar, modelar, y crear nuevos conceptos, teoras, usos y desarrollos tecnolgicos relacionados con la informtica Capacidad para conocer los fundamentos, paradigmas y tcnicas propias de los sistemas inteligentes y analizar, disear y construir sistemas, servicios y aplicaciones informticas que utilicen dichas tcnicas en cualquier mbito de aplicacin.

C8 (parte)

C14 (parte)

C15 (parte) E1 (parte)

E4 (parte)

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

IV.- Contenido IV. A. Temario de la asignatura Bloque temtico I.- Preliminares Tema Tema 1. Introduccin Apartados Descripcin general de la asignatura (contexto, requisitos, objetivos, contenidos) y de la materia a estudiar (evolucin, caractersticas, funcionamiento, aplicaciones, etc). Introduccin del paradigma de programacin funcional. Introduccin a Haskell. Concepto de tipo y clase. Distintas formas de definir una funcin. Definicin de listas por comprensin. Recursividad en la definicin de funciones. Concepto de funciones de orden superior. Aplicaciones. Formas de declarar nuevos tipos. Estrategias de evaluacin. Concepto de mnadas. Uso. Programacin con diferentes mdulos.

II.-Programacin Funcional

Tema 2. Introduccin a la programacin Funcional Tema 3. Tipos y Clases. Definicin de Funciones Tema 4. Listas por compresin. Funciones recursivas Tema 5. Funciones de Orden Superior Tema 6. Declaracin de tipos y clases. Evaluacin perezosa. Tema 7. Programacin con Mnadas y Programacin Modular.

III.- Programacin Lgica

Tema 8. El paradigma de la Descripcin general, ejemplos, programacin lgica. caractersticas bsicas, evolucin histrica, fundamentos tericos. Tema 9. El lenguaje Prolog: Caractersticas generales, sintaxis, aspectos bsicos predicados predefinidos bsicos (aritmtica, entrada/salida, corte, inspeccin de trminos, etc), manejo de listas, rboles, ... Tema 10. El lenguaje Prolog: Negacin, predicados de orden aspectos avanzados superior, operadores, manipulacin de la base de conocimientos,

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

IV. B. Actividades obligatorias (evaluables): 1. Prcticas Realizacin de varios ejercicios o prcticas de programacin.

V.- Tiempo de trabajo Clases tericas Clases prcticas/de resolucin de problemas, casos, etc. Prcticas en laboratorios tecnolgicos, clnicos, etc. Realizacin de pruebas Tutoras acadmicas Actividades relacionadas: jornadas, seminarios, etc. Preparacin de clases tericas Preparacin de clases prcticas/problemas/casos Preparacin de pruebas Total de horas de trabajo del estudiante 16 10 16 6 12 0 30 30 30 150

VI.- Metodologa y plan de trabajo Clases tericas Periodo 1-2 3-4 5-6 7 8-10 11-12 Contenidos Temas 1 3 Temas 4 5 Temas 6 7 Tema 8 Tema 9 Tema 10

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

Prcticas/de resolucin de problemas, casos, etc. Periodo 3-4 5-6 7 8-10 11-12 Contenidos Temas 3 5 Temas 6 7 Tema 8 Tema 9 Tema 10

Laboratorios Periodo 3-4 5-6 8-11 12 Contenidos Temas 3 5 Temas 6 7 Tema 9 Tema 10

Tutoras acadmicas Periodo Todo

Pruebas Fecha Semana 5 Semana 6 Semana 10 Contenidos Prueba prctica Temas 3 5 Prueba escrita Temas 1 7 Prueba escrita Temas 8 - 9

Periodo de Prueba escrita Bloque III pruebas

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

VII.- Mtodos de evaluacin VII. A. Ponderacin para la evaluacin continua El sistema de evaluacin de las titulaciones en el marco del EEES es la evaluacin continua. En el sistema de evaluacin continua la asistencia a clase es obligatoria y su valoracin en el proceso de evaluacin continua de la asignatura la establecern los profesores en cada asignatura. % Mnimo de asistencia a clase: 80%. La evaluacin de la asignatura se llevar a cabo mediante cinco pruebas presenciales, con ponderaciones de 10%, 5%, 35% (programacin funcional) y 30% y 20% (programacin lgica). Todas las pruebas, salvo la primera, requieren una nota mnima de 4 sobre 10 y son reevaluables en la segunda convocatoria. Para aprobar la asignatura ser necesario, adems, que la media ponderada de las cinco pruebas sea igual o mayor que 5 sobre 10.
Actividad evaluadora Prcticas dentro del aula: Resolucin problemas Prueba: escrita Test de Acumulativa Tipo No reevaluable Ponderacin 10% Periodo Semana 5 Contenido Temas 3-5

Liberatoria Puntuacin mnima (de 1 a 10): 4 Liberatoria de Puntuacin mnima (de 1 a 10): 4 Liberatoria Puntuacin mnima (de 1 a 10):4..

Reevaluable

5%

Semana 6

Temas 1-7

Prueba: escrita Preguntas desarrollo escritas Prueba: escrita Preguntas cortas Preguntas de desarrollo Resolucin de problemas Prueba: escrita Preguntas de desarrollo Resolucin de problemas

Reevaluable

35%

Semana 6

Temas 1-7

Reevaluable

30%

Semana n 10

Temas 8-9

Liberatoria Puntuacin mnima (de 1 a 10):4..

Reevaluable

20 %

Periodo de pruebas

Bloque III

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.
100%

Total

VII. B. Ponderacin para la evaluacin de alumnos a tiempo parcial Para que un alumno pueda optar a esta evaluacin, tendr que obtener la Dispensa Acadmica para la asignatura, que habr solicitado al Decano o Director/a del Centro que imparte su titulacin. La Dispensa Acadmica no excluye de la evaluacin continua. Dicha evaluacin se acomodar por el profesor, asistido por el coordinador de grado, establecindose la adaptacin curricular segn las caractersticas de cada caso concreto. VII. C. Revisin de las pruebas de evaluacin. La revisin de las pruebas y actividades se llevar a cabo en el horario de tutoras de la asignatura de acuerdo con los procedimientos que se especifiquen en su momento. VIII.- Recursos y materiales didcticos General Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Haskell. The Craft of Functional Programming S. THOMPSON Addison-Wesley, 1997 Programming in Haskell Graham Hutton Cambrigde, 2007 Razonando con Haskell B. RUIZ, F. GUTIRREZ, P. GUERRERO y J. GALLARDO Thomson, 2004

Ttulo Autor Editorial Ttulo Autor

Programming in Prolog. W.F. Clocksin and C.S. Mellish. Springer-Verlag, Berlin, fourth edition, 1994. The Art of Prolog. L. Sterling and E. Shapiro.

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

Editorial Ttulo Autor Editorial

The MIT Press, Cambridge, Mass., second edition, 1994. Prolog Programming for Artificial Intelligence. I. Bratko. Addison-Wesley, Reading, Massachusetts, third edition, 2001.

Complementaria Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Introduction to Functional Programming using Haskell Richard Bird Prentice Hall, 2 Ed. Algorithms: A functional programming approach F. Rabhi y G. Lapalme AddisonWesley,1999 Real World Haskell B. OSullivan, D. Stewart y J. Goerzen OReilly, 2008

Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial

Logic, Programming and Prolog Ulf Nilsson and Jan Maluszynski

John Wiley & Sons Ltd, 1996 (disponible en http://www.ida.liu.se/~ulfni/lpp/)

The Craft of Prolog. R. OKeefe. The MIT Press, Cambridge, MA, 1990. Foundations of Logic Programming, Second Edition John Lloyd. Springer-Verlag, 1987.

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

Direcciones web de inters http://dtai.cs.kuleuven.be/projects/ALP/ (Association for Logic Programming) http://www.logic.at/prolog/faq/ (comp.lang.prolog.Faq) http://www.swi-prolog.org/ (compilador de Prolog; software libre) http://www.gavab.es/wiki/eclipsegavab/ (entorno para trabajar con Haskell)

IX.- Profesorado Nombre y apellidos Horario de tutoras acadmicas Correo electrnico Departamento/rea de conocimiento Categora Titulacin Acadmica Experiencia Docente Experiencia profesional Mara Teresa Gonzlez de Lena Se determinar al empezar el curso mariateresa.gonzalezdelena@urjc.es Ciencias de la Computacin/Ciencia de la Computacin e Inteligencia Artificial Profesora colaboradora Licenciada en CC. Fsicas 5 aos en el rea. PDI desde 2001 en la URJC.

Nombre y apellidos Horario de tutoras acadmicas Correo electrnico Departamento/rea de conocimiento Categora Titulacin Acadmica Experiencia Docente

Soto Montalvo Herranz Se determinar al empezar el curso soto.montalvo@urjc.es Ciencias de la Computacin / Ciencias de la Computacin e Inteligencia Artificial Profesor Colaborador Ingeniera Informtica Profesora de la Universidad Rey Juan Carlos desde octubre de 2004, impartiendo diversas asignaturas de grado. Evaluacin positiva de un quinquenio y del programa Docentia de la URJC.

10

ltimaactualizacin:25dejuliode2011

 VicerrectoradodeProfesorado,Titulaciones, OrdenacinAcadmica,CoordinacinyCampus.

Experiencia profesional

Programador de aplicaciones Java en INSA y Analista Programador en UNMATERIAL TRENDS de septiembre del 2000 a noviembre de 2001. Becario de investigacin en la Universidad Rey Juan Carlos (2002 2003) Ana Pradera Se determinar al empezar el curso ana.pradera@urjc.es Ciencias de la Computacin/Ciencia de la Computacin e Inteligencia Artificial Profesora Titular de Universidad Licenciada en Ciencias Matemticas (UCM). Doctora en Informtica (UPM).

Nombre y apellidos Horario de tutoras acadmicas Correo electrnico Departamento/rea de conocimiento Categora Titulacin Acadmica

Experiencia Docente Experiencia profesional

15 aos de docencia universitaria en titulaciones de Informtica en las Universidades de Alcal y Rey Juan Carlos. Tres tramos de docencia. 8 aos en los departamentos de investigacin de distintas empresas informticas.

Nombre y apellidos Horario de tutoras acadmicas Correo electrnico Departamento/rea de conocimiento Categora Titulacin Acadmica Experiencia Docente Experiencia profesional Juan Manuel Serrano Hidalgo Se determinar al empezar el curso juanmanuel.serrano@urjc.es Ciencias de la Computacin/Ciencia de la Computacin e Inteligencia Artificial Profesor Titular de Universidad Licenciado en Informtica (UPM) Licenciado en Filosofa (UNED) Doctor en Informtica (URJC) 2 tramos de docencia Profesor de la Universidad Pontificia de Salamanca, 1998-1999 Profesor de la Universidad Rey Juan Carlos, 1999Becario de investigacin, 1994-1999 Profesor de universidad, 1998-

11

ltimaactualizacin:25dejuliode2011