Guía de Aprendizaje · Fundamentos de Programación, Estructuras de Datos, Algorítmica y...

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

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

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.


IN_07 Los estudiantes desarrollarán aplicaciones de programación lógica en lenguaje Prolog


IN _08

IN _09

IN _10

IN _11

IN _12

IN _13

IN _14

IN _15

IN _16


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


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


Aula 1 Continua

Clase T2 Clase de Problemas

Resolución de ejercicios y problemas

Aula 1 Continua 2


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua 3


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



Aula 1 Continua



Aula 1 Continua 4


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua

Preparación Prácticas

Estudio y trabajo autónomo

Aprendizaje Basado en Proyectos

Otros 2

5


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua




Otros 2

6


autónomo Otros 3

7 Clase T2 Clases teóricas Lección Magistral

Aula 1 Continua

11




Aula 1 Continua




Otros 2


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua




Otros 2 Preparación prácticas

8


autónomo Otros 3



Aula 2 Continua

Preparación prácticas



Otros 2 Preparación prácticas

9


autónomo

Otros 3

12




Aula 2 Continua

Practica Aprendizaje Basado en Proyectos

Otros 4 Continua 10


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua 11


autónomo Otros 3 Continua


Aula 1 Continua



Aula 1 Continua 12


autónomo Otros 3 Continua


Aula 1 Continua 13



Aula 1 Continua

13


Preparación prácticas



Otros 2


autónomo Otros 3


Aula 1 Continua



Aula 1 Continua




Otros 2

14


autónomo Otros 3



Aula 2 Continua

Practica Aprendizaje Basado en Proyectos

Otros 3 Continua 15


autónomo Otros 3

Prueba escrita Aula 2 Continua

16


autónomo Otros 6

14



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



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

16




3



3



3



3

Actividades de Clase Aula


3

10

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

20



2

17


12 Actividades Clase Aula


2



2



2

Actividades de Clase Aula


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


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

Guía de Aprendizaje · Fundamentos de Programación, Estructuras de Datos, Algorítmica y...

Documents

Transcript of Guía de Aprendizaje · Fundamentos de Programación, Estructuras de Datos, Algorítmica y...