GUÍA DE APRENDIZAJE PROGRAMACIÓN DECLARATIVA
GRADUADO EN INGENIERÍA DE SOFTWARE DATOS DESCRIPTIVOS1
CENTRO RESPONSABLE E.U. de Informática
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: 2012/2013
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
1
PROFESORADO2
NOMBRE Y APELLIDOS
DESPACHO Correo electrónico EN INGLÉS
Rosa M. Pinero Fernández
D ‐ 1208 ‐ 2 [email protected]
TUTORÍAS
TUTORÍAS NOMBRE Y APELLIDOS
LUGAR DÍA DE A
Rosa M. Pinero Fernández
GRUPOS
Nº de Grupos
Teoría 1
Practicas GRUPOS ASIGNADOS EN:
Laboratorio 1
2 Paso 2 en la aplicación EUROPA
2
REQUISITOS PREVIOS NECESARIOS3
ASIGNATURAS SUPERADAS:
OTROS REQUISITOS
CONOCIMIENTOS PREVIOS RECOMENDADOS
ASIGNATURAS PREVIAS RECOMENDADAS:
Fundamentos de Programación, Estructuras de Datos, Algorítmica y Complejidad.
Los adquiridos en las asignaturas indicadas CONOCIMIENTOS PREVIOS
OTROS CONOCIMIENTOS
3 Paso 3 en la aplicación EUROPA
3
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
4
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
5
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
6
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
Introducción IN_01
Programación Declarativa vs Programación Imperativa IN_01
Tema 1
El paradigma de
Programación Declarativa
Aplicaciones de la Programación Declarativa IN_01
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
Tema 2
Programación Funcional
Técnicas de programación funcional IN_02, IN_03, IN_04
6 Paso 7 en la aplicación EUROPA
7
TEMA APARTADOS LOGRO
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
Tema 3.
Programación Lógica
Técnicas de Programación Lógica IN_05, IN_06, IN_07
8
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
CRONOGRAMA DE TRABAJO DE LA ASIGNATURA8
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 Prep Carga(%)
Clase T1 Clases teóricas Lección Magistral
Aula 2 Continua 1
Estudio Estudio y trabajo
autónomo Otros 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 2
Estudio Estudio y trabajo
autónomo Otros 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 3
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
10
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 Prep Carga(%)
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 4
Estudio Estudio y trabajo
autónomo Otros 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
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
5
Estudio Estudio y trabajo
autónomo Otros 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
Preparación Prácticas
Estudio y trabajo autónomo
Aprendizaje Basado en Proyectos
Otros 2
6
Estudio Estudio y trabajo
autónomo Otros 3
7 Clase T2 Clases teóricas Lección Magistral
Aula 1 Continua
11
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 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
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
8
Estudio Estudio y trabajo
autónomo Otros 3
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
9
Estudio Estudio y trabajo
autónomo
Otros 3
12
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 Prep Carga(%)
Clase T2 Clase de Problemas
Resolución de ejercicios y problemas
Aula 2 Continua
Practica Aprendizaje Basado en Proyectos
Otros 4 Continua 10
Estudio Estudio y trabajo
autónomo Otros 3
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 11
Estudio Estudio y trabajo
autónomo Otros 3 Continua
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 12
Estudio Estudio y trabajo
autónomo Otros 3 Continua
Clase T3 Clases teóricas Lección Magistral
Aula 1 Continua 13
Clase T3 Clase de Problemas
Resolución de ejercicios y problemas
Aula 1 Continua
13
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 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
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
14
Estudio Estudio y trabajo
autónomo Otros 3
Clase T3 Clase de Problemas
Resolución de ejercicios y problemas
Aula 2 Continua
Practica Aprendizaje Basado en Proyectos
Otros 3 Continua 15
Estudio Estudio y trabajo
autónomo Otros 3
Prueba escrita Aula 2 Continua
16
Estudio Estudio y trabajo
autónomo Otros 6
14
SEMANA ACTIVIDADES Actividad Modalidad9 Met.Ense10 Lugar11 Duración Evaluación12 Prep Carga(%)
Estudio Estudio y trabajo
autónomo Otros
Examen Final Otros 3 No Continua 17
Prácticas 20 No Continua
15
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
16
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
Actividades de Clase Aula
Técnica de observación Trabajos y Proyectos Pruebas de Respuestas Corta
3
10
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
17
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
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 15
Prueba escrita Aula
Pruebas objetivas, de respuesta corta y larga. Resolución de Problemas.
30
17 Examen Final Evaluación No Continua
Pruebas objetivas, de respuesta corta y larga. Resolución de Problemas.
70 50%
18
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%
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
20
21
RECURSOS DIDÁCTICOS14
TIPO DESCRIPCIÓN
Richard Bird: Introducción a la Programación Funcional con Haskell, Prentice Hall, 2000. Ruiz Jiménez, B.; Gallardo Ruiz J.; Gutierrez 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ª Edicción), MIT Press, 1994 Bratko, Ivan: Prolog Programming for Artificial Inteligence (4ª Edicción), Addison‐Wesley Educational Publishers Inc; 2011
BIBLIOGRAFÍA
Página Web de la Asignatura
Plataforma Moodle de la Asignatura
RECURSOS WEB
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.
EQUIPAMIENTO
OTRA INFORMACIÓN RESEÑABLE15
14 Paso 11 en la aplicación EUROPA 15 Paso 12 en la aplicación EUROPA
Top Related