PROGRAMACION DECLARATIVA GUÍA DE APRENDIZAJE GRADO … fileRequisitos previos necesarios...

GUÍA DE APRENDIZAJE

PROGRAMACION DECLARATIVA

Datos Descriptivos

TITULACIÓN:GRADO EN INGENIERIA DELSOFTWARE

CENTROS IMPLICADOS: E.U. DE INFORMATICA

CICLO: Grado sin atribucionesMÓDULO:MATERIA: PROGRAMACIÓN

ASIGNATURA: PROGRAMACION DECLARATIVACURSO: 4 º

SEMESTRE: Semestre 2º (Febrero-Junio)

DEPARTAMENTO RESPONSABLE:LENGUAJES, PROYECTOS YSISTEMAS INFORMATICOS

CRÉDITOS EUROPEOS: 4CARÁCTER: OPTATIVA

CURSO ACADÉMICO: 2011/2012PERIODO DE IMPARTICIÓN: Semestre 2º (Febrero-Junio)

Datos Comunes

ITINERARIO:IDIOMAS IMPARTICIÓN: Español

OTROS IDIOMAS IMPARTICIÓN:HORAS/CRÉDITO: 26

Profesorado

COORDINADOR: ROSA MARIA PINERO FERNANDEZ

NOMBRE DESPACHO EMAIL EN INGLÉS

ROSA MARIA PINERO FERNANDEZ 1208-2 [email protected] No

FELIX CANTERO MARTIN 1205-1 [email protected] No

(*) Profesores externos en cursiva.

Tutorías

TUTORÍASNOMBRE

Lugar Día De A

Grupos

Nº de gruposTeoría 1

Prácticas 1GRUPOS ASIGNADOS EN:Laboratorio 0

Requisitos previos necesarios

ASIGNATURAS SUPERADAS

OTROS REQUISITOS

Conocimientos previos recomendados

ASIGNATURAS PREVIAS RECOMENDADASESTRUCTURA DE DATOSALGORITMICA Y COMPLEJIDADFUNDAMENTOS DE LA PROGRAMACION

CONOCIMIENTOS PREVIOS

OTROS CONOCIMIENTOS

Competencias

CÓDIGO COMPETENCIA NIVEL RA

E5

Capacidad de identificar y analizar problemas y diseñar,desarrollar, implementar,verificar y documentar soluciones software sobre la basede un conocimientoadecuado de las teorías, modelos y técnicas actuales.

N3

RA_01

RA_02

RA_03

RA_04

RA_05

G1 Capacidad de análisis y síntesis. N3

RA_01

RA_02

RA_03

RA_04

RA_05

G10Aprendizaje autónomo, adaptación a nuevas situacionesy motivación por eldesarrollo profesional permanente.

N3

RA_01

RA_02

RA_03

RA_04

RA_05

G11 Creatividad. N2

RA_01

RA_02

RA_03

RA_04

RA_05

G14 Motivación por la calidad. N3

RA_01

RA_02

RA_03

RA_04

RA_05

G6 Resolución de problemas. N3RA_01

RA_02

RA_03

RA_04

RA_05

G9 Razonamiento crítico. N3

RA_01

RA_02

RA_03

RA_04

RA_05

I22

Conocimiento de los fundamentos del uso yprogramación de los computadores, los sistemasoperativos, las bases de datos y, en general, losprogramas informáticos con aplicación en ingeniería.

N3

RA_01

RA_02

RA_03

RA_04

RA_05

I5Conocimiento, administración y mantenimiento sistemas,servicios y aplicacionesinformáticas.

N1

RA_01

RA_02

RA_03

RA_04

RA_05

I6

Conocimiento y aplicación de los procedimientosalgorítmicos básicos de lastecnologías informáticas para diseñar soluciones aproblemas, analizando laidoneidad y complejidad de los algoritmos propuestos.

N2

RA_01

RA_02

RA_03

RA_04

RA_05

I7Conocimiento, diseño y utilización de forma eficiente lostipos y estructuras dedatos más adecuados a la resolución de un problema.

N3

RA_01

RA_02

RA_03

RA_04

RA_05

I8

Capacidad para analizar, diseñar, construir y manteneraplicaciones de formarobusta, segura y eficiente, eligiendo el paradigma y loslenguajes de programación más adecuados.

N2

RA_01

RA_02

RA_03

RA_04

RA_05

Resultados de aprendizaje

CÓDIGO DESCRIPCIÓNRA_01 Comprende los elementos de lenguajes de programación de distintos paradigmas.RA_02 Identifica las principales estructuras de datos y técnicas algorítmicas y sus complejidadesRA_03 Utiliza entornos y herramientas de desarrollo.

RA_04Implementa, Prueba y Verifica soluciones atendiendo a criterios de eficacia, legibilidad ydocumentación.

RA_05 Desarrolla soluciones que ponen en práctica técnicas básicas de sistemas inteligentes

Indicadores de logro

CÓDIGO INDICADOR RAIN_01 Los estudiantes conocerán las características básicas de la

Programación Declaratica, distinguiéndola de otros estilos deProgramación.

RA_01

RA_02

IN_02 Los estudiantes conoceran las características fundamentales deProgramación Funcional como paradigma básico de ProgramaciónDeclarativa.

RA_01

RA_02

RA_03

RA_05

IN_03 Los estudiantes conoceran el lenguaje Caml como soporte delparadigma funcional. RA_01

RA_02

RA_03

RA_04

IN_04 Los estudiantes desarrollarán aplicaciones de programación funcional enlenguaje Caml RA_01

RA_02

RA_03

RA_04

RA_05

IN_05 Los estudiantes conoceran las características fundamentales deProgramación Lógica como paradigma básico de ProgramaciónDeclarativa.

RA_01

RA_02

RA_03

RA_05

IN_06 Los estudiantes conoceran el lenguaje Prolog como soporte delparadigma lógico. RA_01

RA_02

RA_03

RA_04

RA_05

IN_07 Los estudiantes desarrollarán aplicaciones de programación lógica enlenguaje Prolog RA_01

RA_02

RA_03

RA_04

RA_05

Contenidos específicos (temario)

TEMA /CAPÍTULO

APARTADO

Tema 1 El paradigmade ProgramaciónDeclarativa

IntroducciónIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Programación Declarativa vsProgramación Imperativa IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Aplicaciones de la ProgramaciónDeclarativa IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Tema 2ProgramaciónFuncional

Mecanismos de ProgramaciónFuncional IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Tipos Polimórficos. Inferencia de TiposIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Funciones de orden superior.Aplicaciones parciales IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Evaluación perezosa y evaluaciónimpaciente IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Tipos de datos construidosIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Entrada salidaIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Técnicas de programación funcionalIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Tema 3Programación Lógica. Programas de Claúsulas definidas:

hechos, reglas, objetivos IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Unificación y resoluciónIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Estructuras de datos. Programacióncon listas y árboles IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Control. Corte, negación como falloIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Aritmética y manipulación de términos.Entrada y Salida IN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Técnicas de Programación LógicaIN_01

IN_02

IN_03

IN_04

IN_05

IN_06

IN_07

Breve descripción de las modalidades organizativasutilizadas y métodos de enseñanza empleados

MODALIDAD DESCRIPCIÓN MÉTODO MÉTODOS DEENSEÑANZA

Clases teóricasEl profesor expone verbalmente los conceptosde la materia en cada uno de los temas

Método Expositivo

Lección Magistral

Estudio y trabajoautónomo

Durante el desarrollo o a la finalización deuna clase se plantea un problema o cuestiónteórica en la que el estudiante tiene quedemostrar los conocimientos y competenciasadquiridas en la sesión de la clase teórica.

Resolución de Ejercicios y Problemas

Aprendizaje Basado en Proyectos

Estudio de Teoría

Clases de Problemas

Se plantea un problema que los estudiantestienen que resolver desarrollando estrategiasnuevas a partir de los conocimientos de laclase magistral.

Resolución de Ejercicios y Problemas

Cronograma de trabajo de la asignatura

SEMANA ACTIVIDADES

1

Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)

ClaseClasesteóricas

MétodoExpositivo

Aula 2 hrs. No 1,92

EstudioEstudioy trabajoautónomo

Estudio deTeoría

Otros 3 hrs. No 2,88

2



MétodoExpositivo

Aula 2 hrs. No 1,92


Estudio deTeoría


3



LecciónMagistral

Aula 1 hrs. No 0,96

ClaseClases deProblemas

Resoluciónde Ejerciciosy Problemas

Aula 1 hrs. No 0,96




4



LecciónMagistral

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría


5



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96

PracticasEstudioy trabajoautónomo

AprendizajeBasado enProyectos

Otros 2 hrs. SíAmbos

2 3,85


Estudio deTeoría


6Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)


MétodoExpositivo

Aula 1 hrs. No 0,96

Clase Aula 1 hrs. No 0,96

Clases deProblemas



Estudio deTeoría


7



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría


8



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría

Aula 3 hrs. No 2,88

9


Prueba escritaTema 2

Estudioy trabajoautónomo


Aula 2 hrs. SíEvaluacióncontinua 5 6,73

10



MétodoExpositivo

Aula 2 hrs. No 1,92

PrácticasEstudioy trabajoautónomo



4 7,69


Estudio deTeoría


11



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría


12



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría


13



MétodoExpositivo

Aula 1 hrs. No 0,96



Aula 1 hrs. No 0,96


Estudio deTeoría


14


Prueba escritaT3

Estudioy trabajoautónomo



15




Aula 2 hrs. No 1,92

PrácticasEstudioy trabajoautónomo



5 9,62

16


Prueba FinalEstudioy trabajoautónomo



17


Examen FinalEstudioy trabajoautónomo


Otros 3 hrs. SíExamen final

10 12,5

Practica FinalEstudioy trabajoautónomo


Otros 3 hrs. SíExamen final

6 8,65

Evaluación de la asignatura

SEMANA EVALUACIONES

5

Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.

Practicas Otros Ambos

9


Pruebaescrita Tema2

AulaEvaluacióncontinua

10


Prácticas Otros Ambos

14


Pruebaescrita T3

AulaEvaluacióncontinua

15


Prácticas Otros Ambos

16


Prueba Final AulaEvaluacióncontinua

17


ExamenFinal

OtrosExamenfinal

PracticaFinal

OtrosExamenfinal

Criterios de calificación de la asignatura

DESCRIPCIÓN GENERAL DE LAS ACTIVIDADES QUE SE EVALÚAN Y DE LOSCRITERIOS DE CALIFICACIÓN1. Participación activa en las actividades propuestas en el aula: puesta en común detrabajos, resolución positiva de problemas, planteamiento de soluciones alternativas.2. Evaluación de pruebas de conocimiento teórico – práctico3. Evaluación de actividades prácticas teniendo en cuenta la resolución satisfactoria,claridad en la presentación y documentación, explicando razonadamente lasdecisiones tomadas durante el diseño de las soluciones. La realización de lasprácticas es requisito para aprobar la asignatura por Evaluación Continua.4. Prueba final con los conceptos más importantes que se han trabajado en elsemestrePara superar la asignatura por Evaluación Continua es necesario obtener unacalificación total mayor o igual a 5 puntos sumando las distintas partes de laevaluación y haber realizado prácticas en ambos lenguajes.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 deevaluación de dichas prácticas 3 puntos- No se podrá aprobar la asignatura sin realizar la entrega de las prácticas.ELECCIÓN DEL SISTEMA DE EVALUACIÓNEl plazo para solicitar el realizar el sistema de evaluación no continua será desdeel comienzo hasta la 4ª semana del curso. La elección se realizará solicitándolo porescrito al profesor de la asignatura

Recursos didácticos

TIPO DESCRIPCIÓNBibliografía Michael Mauny: Functional programming using Caml Light.

http://caml.inria.frG. Cousineau, M. Mauny The Funtional Approach toProgramming, Cambridge University Press, 1998.Richard Bird: Introducción a la Programación Funcional conHaskell, Prentice Hall, 2000.W. F. Clocksin, C. S. Mellish: Programming in Prolog (5º Ed.),Springer 2003L. Sterling & E. Shapiro: The Art of Prolog (2ª Edicción), MITPress, 1994I. Bratko: Prolog Programming for Artificial Inteligence(4ªEdicción), Addison-Wesley Educational Publishers Inc; 2011Julián, P.; Alpuente, M.: Programación Lógica. Teoría yPráctica. Pearson-Prentice Hall. 2007

Recursos web Página Web de la AsignaturaPlataforma Moodle de la Asignaturahttp://caml.inria.fr

Equipamiento Aula de la EUI con cañón de luz conectado a PC en la mesadel profesor, sistema de audio inalámbrico y pizarra clásica.Laboratorio de la EUI con 30 PCs, cañón proyector y pizarraclásica.

Otra información reseñable

PROGRAMACION DECLARATIVA GUÍA DE APRENDIZAJE GRADO … fileRequisitos previos necesarios...

Documents

Transcript of PROGRAMACION DECLARATIVA GUÍA DE APRENDIZAJE GRADO … fileRequisitos previos necesarios...