Guía de Aprendizaje - etsisi.upm.es · guÍa de aprendizaje ... cronograma de trabajo de la asignatura8 semana actividades ... 12 continua, examen final, ambas . 11 semana actividades

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


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


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


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


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


autónomo Otros 3

3



Clase T2 Clase de

Problemas


Aula 1 Continua


autónomo Otros 3


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


10 Lugar


12 Prep Carga(%)

4



Clase T2 Clase de

Problemas


Aula 1 Continua


autónomo Otros 3

5



Clase T2 Clase de

Problemas


Aula 1 Continua

Preparación Prácticas

Estudio y trabajo autónomo

Aprendizaje Basado en Proyectos

Otros 2


autónomo Otros 3

6



Clase T2 Clase de

Problemas


Aula 1 Continua




Otros 2


autónomo Otros 3

7 Clase T2 Clases teóricas Lección


12

SEMANA ACTIVIDADES


10 Lugar


12 Prep Carga(%)

Clase T2 Clase de

Problemas


Aula 1 Continua




Otros 2


autónomo Otros 3

8



Clase T2 Clase de

Problemas


Aula 1 Continua




Otros 2 Preparación

prácticas


autónomo Otros 3

9

Clase T2 Clase de

Problemas


Aula 2 Continua

Preparación prácticas



Otros 2 Preparación

prácticas


autónomo

Otros 3

13

SEMANA ACTIVIDADES


10 Lugar


12 Prep Carga(%)

10

Clase T2 Clase de

Problemas


Aula 2 Continua

Practica Aprendizaje Basado en Proyectos

Otros 4 Continua


autónomo Otros 3

11



Clase T3 Clase de

Problemas


Aula 1 Continua


autónomo Otros 3 Continua

12



Clase T3 Clase de

Problemas


Aula 1 Continua


autónomo Otros 3 Continua

13



Clase T3 Clase de

Problemas


Aula 1 Continua

14

SEMANA ACTIVIDADES


10 Lugar


12 Prep Carga(%)

Preparación prácticas



Otros 2


autónomo Otros 3

14



Clase T4 Clase de

Problemas


Aula 1 Continua




Otros 2


autónomo Otros 3

15

Clase T3 Clase de

Problemas


Aula 2 Continua

Practica Aprendizaje Basado en Proyectos

Otros 3 Continua


autónomo Otros 3

16

Prueba escrita Aula 2 Continua


autónomo Otros 6

15

SEMANA ACTIVIDADES


10 Lugar


12 Prep Carga(%)

17 Estudio


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



3



3



3



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


. Peso(%) Eval. min



3



3



3



3

10

Actividades de Clase Aula


3

Practica Otros Prueba de Ejecución de tareas reales o simuladas

20



2

18

SEMANA ACTIVIDADES


. Peso(%) Eval. min

12 Actividades Clase Aula


2



2



2

15

Actividades de Clase Aula


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


. 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

Documents

Guía de Aprendizaje - etsisi.upm.es · guÍa de aprendizaje ... cronograma de trabajo de la asignatura8 semana actividades ... 12 continua, examen final, ambas . 11 semana actividades