1
GUÍA DE APRENDIZAJE
PROGRAMACIÓN DECLARATIVA
GRADUADO EN INGENIERÍA DE SOFTWARE
DATOS DESCRIPTIVOS1
CENTRO RESPONSABLE Escuela Técnica Superior de Ingeniería de Sistemas Informáticos
OTROS CENTROS
IMPLICADOS
CICLO Grado sin atribuciones
MÓDULO
MATERIA:
ASIGNATURA: Programación Declarativa
CURSO:
DEPARTAMENTO
RESPONSABLE Lenguajes, Proyectos y Sistemas Informáticos
CRÉDITOS EUROPEOS: 4
CARÁCTER: Optativa
ITINERARIO:
CURSO ACADÉMICO: 2013/2014
PERIODO DE
IMPARTICIÓN: 4º Curso 2º Semestre
IDIOMAS IMPARTICIÓN: Español
OTROS IDIOMAS DE
IMPARTICIÓN:
HORAS/CRÉDITO 26
1 Paso 0 en la aplicación EUROPA
2
PROFESORADO2
NOMBRE Y
APELLIDOS
DESPACHO Correo electrónico EN INGLÉS
Rosa M. Pinero Fernández
D - 1208 - 2 [email protected]
TUTORÍAS
NOMBRE Y
APELLIDOS
TUTORÍAS
LUGAR DÍA DE A
Rosa M. Pinero Fernández
GRUPOS
Nº de Grupos
GRUPOS ASIGNADOS EN:
Teoría 1
Practicas
Laboratorio 1
2 Paso 2 en la aplicación EUROPA
3
REQUISITOS PREVIOS NECESARIOS3
ASIGNATURAS
SUPERADAS:
OTROS REQUISITOS
CONOCIMIENTOS PREVIOS RECOMENDADOS
ASIGNATURAS PREVIAS
RECOMENDADAS:
Fundamentos de Programación, Estructuras de Datos, Algorítmica y Complejidad.
CONOCIMIENTOS
PREVIOS
Los adquiridos en las asignaturas indicadas
OTROS CONOCIMIENTOS
3 Paso 3 en la aplicación EUROPA
4
COMPETENCIAS4
CÓDIGO COMPETENCIA NIVEL RA
G1 Capacidad de análisis y síntesis 3 RA_1, RA_2, RA_3, RA_4
G6 Resolución de problemas 3 RA_1, RA_2, RA_3, RA_4,
RA_10
G9 Razonamiento crítico 3 RA_1, RA_2, RA_3, RA_4,
RA_10
G10
Aprendizaje autónomo, adaptación a nuevas situaciones y motivación por el desarrollo profesional permanente
3
RA_1, RA_2, RA_3, RA_4,
RA_10
G11 Creatividad 2 RA_1, RA_2, RA_3, RA_4,
RA_10
G14 Motivación por la calidad 3 RA_1, RA_2, RA_3, RA_4,
RA_10
I5
Conocimiento, administración y mantenimiento sistemas, servicios y aplicaciones informáticas.
1
RA_1, RA_2, RA_3, RA_4,
RA_10
I6
Conocimiento y aplicación de los procedimientos algorítmicos básicos de las tecnologías informáticas para diseñar soluciones a problemas, analizando la idoneidad y complejidad de los algoritmos propuestos.
2
RA_1, RA_2, RA_3, RA_4,
RA_10
I7
Conocimiento, diseño y utilización de forma eficiente los tipos y estructuras de datos más adecuados a la resolución de un problema.
3
RA_1, RA_2, RA_3, RA_4,
RA_10
I8
Capacidad para analizar, diseñar, construir y mantener aplicaciones de forma robusta, segura y eficiente, eligiendo el paradigma y los lenguajes de programación más adecuados.
2
RA_1, RA_2, RA_3, RA_4,
RA_10
4 Paso 4 y 5 en la aplicación EUROPA
5
CÓDIGO COMPETENCIA NIVEL RA
I22
Conocimiento de los fundamentos del uso y programación de los computadores, los sistemas operativos, las bases de datos y, en general, los programas informáticos con aplicación en ingeniería.
3
RA_1, RA_2, RA_3, RA_4,
RA_10
E5
Capacidad de identificar y analizar problemas y diseñar, desarrollar, implementar, verificar y documentar soluciones software sobre la base de un conocimiento adecuado de las teorías, modelos y técnicas actuales.
3 RA_1, RA_2, RA_3, RA_4,
RA_10
RESULTADOS DE APRENDIZAJE
CÓDIGO DESCRIPCIÓN
RA_1 Comprende los elementos de lenguajes de programación de distintos paradigmas
RA_2 Identifica las principales estructuras de datos y técnicas algorítmicas y sus complejidades
RA_3 Modela y diseña soluciones atendiendo a los compromisos de eficiencia y modularidad
RA_4 Implementa, prueba y verifica soluciones atendiendo a criterios de eficacia, legibilidad y documentación
RA10 Desarrolla soluciones que ponen en práctica técnicas básicas de sistemas inteligentes
RA_6
6
INDICADORES DE LOGRO5
CÓDIGO INDICADOR RA
IN_01
Los estudiantes conocerán las características básicas de la Programación Declaratica, distinguiéndola de otros estilos de Programación.
RA1, RA2
IN_02
Los estudiantes conoceran las características fundamentales de
Programación Funcional como paradigma básico de
Programación Declarativa.
RA1, RA2,
RA3, RA10
IN_03 Los estudiantes conoceran el lenguaje Hanskel como soporte del
paradigma funcional.
RA1, RA2,
RA3,RA4
IN_04 Los estudiantes desarrollarán aplicaciones de programación
funcional en lenguaje Hanskel
RA1, RA2,
RA3, RA4,
RA10
IN_05
Los estudiantes conoceran las características fundamentales de
Programación Lógica como paradigma básico de Programación
Declarativa.
RA1, RA2,
RA3, RA10
IN_06 Los estudiantes conoceran el lenguaje Prolog como soporte del
paradigma lógico.
RA1, RA2,
RA3, RA4,
RA10
IN_07 Los estudiantes desarrollarán aplicaciones de programación
lógica en lenguaje Prolog
RA1, RA2,
RA3, RA4,
RA10
IN _08
IN _09
IN _10
IN _11
IN _12
IN _13
IN _14
IN _15
IN _16
5 Paso 6 en la aplicación EUROPA
7
CÓDIGO INDICADOR RA
IN _17
IN _18
IN _19
IN _20
IN _21
IN _22
IN _23
IN_24
CONTENIDOS ESPECÍFICOS (TEMARIO)6
TEMA APARTADOS LOGRO
Tema 1
El paradigma de
Programación Declarativa
Introducción IN_01
Programación Declarativa vs Programación Imperativa IN_01
Aplicaciones de la Programación Declarativa IN_01
Tema 2
Programación Funcional
Mecanismos de Programación Funcional IN_02
Tipos Polimórficos. Inferencia de Tipos IN_02, IN_03
Funciones de orden superior. Aplicaciones parciales IN_02, IN_03
Evaluación perezosa y evaluación impaciente IN_02, IN_03
Tipos de datos construidos. Clases de tipos IN_02, IN_03, IN_04
Entrada salida IN_02, IN_03, IN_04
Técnicas de programación funcional IN_02, IN_03, IN_04
6 Paso 7 en la aplicación EUROPA
8
TEMA APARTADOS LOGRO
Tema 3.
Programación Lógica
Programas de Cláusulas definidas: hechos, reglas, objetivos IN_05, IN_06
Unificación y resolución IN_05, IN_06
Estructuras de datos. Programación con listas y árboles IN_05, IN_06, IN_07
Control. Corte, negación como fallo IN_05, IN_06, IN_07
Aritmética y manipulación de términos. Entrada y Salida IN_05, IN_06, IN_07
Técnicas de Programación Lógica IN_05, IN_06, IN_07
9
BREVE DESCRIPCIÓN DE LAS MODALIDADES ORGANIZATIVAS UTILIZADAS
Y MÉTODOS DE ENSEÑANZAS EMPLEADOS7
MODALIDAD DESCRIPCIÓN MÉTODO MÉTODOS DE ENSEÑANZA
CLASES DE TEORÍA
El profesor expone verbalmente los conceptos de la materia en cada uno de los temas
Método expositivo / Lección magistral.
CLASES DE PROBLEMAS
Se plantea un problema que los estudiantes tienen que resolver desarrollando estrategias nuevas a partir de los conocimientos de la clase magistral.
Resolución de problemas
CLASES PRÁCTICAS
Se plantean unos supuestos prácticos para que el estudiante, desarrollando los conocimientos adquiridos en las clases, resuelva mediante programas escritos en los lenguajes de programación estudiados.
Prácticas de Laboratorio
TRABAJOS AUTÓNOMOS
Durante el desarrollo o a la finalización de una clase se plantea un problema o cuestión teórica en la que el estudiante tiene que demostrar los conocimientos y competencias adquiridas en la sesión de la clase teórica.
Estudio individual
TRABAJOS EN GRUPOS
El trabajo en grupo se desarrolla mediante la resolución en pequeños grupos de algunos problemas propuestos en clase.
Aprendizaje cooperativo
TUTORÍAS
Las tutorías son individuales o grupales. Los estudiantes son atendidos en los horarios establecidos para las tutorías académicas.
7 Paso 10 de la aplicación EUROPA
10
CRONOGRAMA DE TRABAJO DE LA ASIGNATURA8
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
1 Clase T1 Clases teóricas
Lección Magistral
Aula 2 Continua
Estudio Estudio y trabajo
autónomo Otros 3
2
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Estudio Estudio y trabajo
autónomo Otros 3
3
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Estudio Estudio y trabajo
autónomo Otros 3
8 Paso 8 en la aplicación EUROPA
9 Clase de Problemas, Clase de prácticas, Clases teóricas, Estudio y trabajo autónomo, Estudio y trabajo en grupo, prácticas externas, seminarios-talleres,
tutorías 10
Aprendizaje Basado en Problemas, Aprendizaje Basado en Proyectos, Aprendizaje cooperativo, Contrato de aprendizaje, Estudio de casos, estudio de teoría, Lección magistral, Método expositivo, Resolución de ejercicios y problemas 11
Aula, Laboratorio, Otros 12
Continua, Examen Final, Ambas
11
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
4
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Estudio Estudio y trabajo
autónomo Otros 3
5
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
Estudio Estudio y trabajo
autónomo Otros 3
6
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
Estudio Estudio y trabajo
autónomo Otros 3
7 Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
12
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
Estudio Estudio y trabajo
autónomo Otros 3
8
Clase T2 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2 Preparación
prácticas
Estudio Estudio y trabajo
autónomo Otros 3
9
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 2 Continua
Preparación prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2 Preparación
prácticas
Estudio Estudio y trabajo
autónomo
Otros 3
13
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
10
Clase T2 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 2 Continua
Practica Aprendizaje Basado en Proyectos
Otros 4 Continua
Estudio Estudio y trabajo
autónomo Otros 3
11
Clase T3 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T3 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Estudio Estudio y trabajo
autónomo Otros 3 Continua
12
Clase T3 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T3 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Estudio Estudio y trabajo
autónomo Otros 3 Continua
13
Clase T3 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T3 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
14
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
Preparación prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
Estudio Estudio y trabajo
autónomo Otros 3
14
Clase T4 Clases teóricas Lección
Magistral Aula 1 Continua
Clase T4 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
Estudio Estudio y trabajo
autónomo Otros 3
15
Clase T3 Clase de
Problemas
Resolución de ejercicios y problemas
Aula 2 Continua
Practica Aprendizaje Basado en Proyectos
Otros 3 Continua
Estudio Estudio y trabajo
autónomo Otros 3
16
Prueba escrita Aula 2 Continua
Estudio Estudio y trabajo
autónomo Otros 6
15
SEMANA ACTIVIDADES
Actividad Modalidad9 Met.Ense
10 Lugar
11 Duración Evaluación
12 Prep Carga(%)
17 Estudio
Estudio y trabajo autónomo
Otros
Examen Final Otros 3 No Continua
Prácticas 20 No Continua
16
EVALUACIÓN DE LA ASIGNATURA
SEMANA ACTIVIDADES
Actividad Lugar Técnica eval13
. Peso(%) Eval. min
1 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
2 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
3 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
4 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
5 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
13
Escalas de actitudes, Informes/memorias de prácticas, Portafolios, Prueba de Ejecución de tareas reales y/o simuladas, Pruebas de Respuestas Corta, Pruebas de Respuestas Largas de desarrollo, Pruebas objetivas, Pruebas orales, Sistema de Autoevaluación, Técnica de observación, Trabajos y Proyectos
17
SEMANA ACTIVIDADES
Actividad Lugar Técnica eval13
. Peso(%) Eval. min
6 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
7 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
8 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
9 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
10
Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
Practica Otros Prueba de Ejecución de tareas reales o simuladas
20
11 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
2
18
SEMANA ACTIVIDADES
Actividad Lugar Técnica eval13
. Peso(%) Eval. min
12 Actividades Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
2
13 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
2
14 Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
2
15
Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
2
Practica Otros Prueba de Ejecución de tareas reales o simuladas
10
16 Prueba escrita Aula
Pruebas objetivas, de respuesta corta y larga. Resolución de Problemas.
30
17 Examen Final Evaluación No Continua
Otros
Pruebas objetivas, de respuesta corta y larga. Resolución de Problemas.
70 50%
19
SEMANA ACTIVIDADES
Actividad Lugar Técnica eval13
. Peso(%) Eval. min
Entrega y Examen Prácticas Evaluación No Continua
Prueba de Ejecución de tareas reales y/o simuladas
30 50%
20
CRITERIOS DE CALIFICACIÓN DE LA ASIGNATURA
CRITERIOS DE CALIFICACIÓN
1. Participación activa en las actividades propuestas en el aula: puesta en común de trabajos, resolución positiva de problemas y cuestionarios, planteamiento de soluciones alternativas. 40 %
2. Evaluación de actividades prácticas teniendo en cuenta la resolución satisfactoria, claridad en la presentación y documentación, explicando razonadamente las decisiones tomadas durante el diseño de las soluciones, 30%
3. Prueba final acumulativa con los conceptos más importantes que se han trabajado en el semestre. 30%
Para superar la asignatura por Evaluación Continua es necesario obtener una calificación total mayor o igual a 5 puntos sumando las distintas partes de la evaluación y haber realizado las prácticas propuestas.
EVALUACIÓN NO CONTINUA
Prueba final de conocimiento teórico práctico 7 puntos.
Entrega de las prácticas que se han realizado a lo largo del curso más prueba de evaluación de dichas prácticas 3 puntos
Para superar la asignatura por Evaluación NO Continua será necesario obtener al menos un 50% en la prueba final y en la evaluación de las prácticas
ELECCIÓN DEL SISTEMA DE EVALUACIÓN
El plazo para solicitar el realizar el sistema de evaluación no continua será desde el comienzo hasta la 4ª semana del curso. La elección se realizará solicitándolo por escrito al profesor de la asignatura
21
RECURSOS DIDÁCTICOS14
TIPO DESCRIPCIÓN
BIBLIOGRAFÍA Richard Bird: Introducción a la Programación Funcional con Haskell, Prentice Hall, 2000. Ruiz Jiménez, B.; Gallardo Ruiz J.; Gutiérrez López F.; Guerrero García, P. Programación Funcional con Haskell Universidad de Málaga. 1995 Hutton, Graham: Programming in Haskell Cambridge University Press, 2007 Clocksin, W. F.; Mellish C. S.: Programming in Prolog (5º Ed.), Springer 2003 L. Sterling & E. Shapiro: The Art of Prolog (2ª Edición), MIT Press, 1994 Bratko, Ivan: Prolog Programming for Artificial Inteligence (4ª Edición), Addison-Wesley Educational Publishers Inc; 2011
RECURSOS WEB Página Web de la Asignatura
Plataforma Moodle de la Asignatura
EQUIPAMIENTO Aula de la EUI con cañón de luz conectado a PC en la mesa del profesor, sistema de audio inalámbrico y pizarra clásica.
Laboratorio de la EUI con 30 PCs, cañón proyector y pizarra clásica.
OTRA INFORMACIÓN RESEÑABLE15
14
Paso 11 en la aplicación EUROPA 15
Paso 12 en la aplicación EUROPA