programacion declarativa guÍa de aprendizaje grado … filerequisitos previos necesarios...
Post on 27-Sep-2019
14 Views
Preview:
TRANSCRIPT
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 r.pinero@upm.es No
FELIX CANTERO MARTIN 1205-1 felix.cantero@upm.es 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
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
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
3
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
LecciónMagistral
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Resoluciónde Ejerciciosy Problemas
Otros 3 hrs. No 2,88
4
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
LecciónMagistral
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
5
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
PracticasEstudioy trabajoautónomo
AprendizajeBasado enProyectos
Otros 2 hrs. SíAmbos
2 3,85
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
6Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
Clase Aula 1 hrs. No 0,96
Clases deProblemas
Resoluciónde Ejerciciosy Problemas
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
7
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
8
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Aula 3 hrs. No 2,88
9
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
Prueba escritaTema 2
Estudioy trabajoautónomo
Resoluciónde Ejerciciosy Problemas
Aula 2 hrs. SíEvaluacióncontinua 5 6,73
10
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 2 hrs. No 1,92
PrácticasEstudioy trabajoautónomo
AprendizajeBasado enProyectos
Otros 4 hrs. SíAmbos
4 7,69
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
11
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 1 hrs. No 0,96
12
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
13
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClasesteóricas
MétodoExpositivo
Aula 1 hrs. No 0,96
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 1 hrs. No 0,96
EstudioEstudioy trabajoautónomo
Estudio deTeoría
Otros 3 hrs. No 2,88
14
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
Prueba escritaT3
Estudioy trabajoautónomo
Resoluciónde Ejerciciosy Problemas
Aula 2 hrs. SíEvaluacióncontinua 5 6,73
15
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
ClaseClases deProblemas
Resoluciónde Ejerciciosy Problemas
Aula 2 hrs. No 1,92
PrácticasEstudioy trabajoautónomo
AprendizajeBasado enProyectos
Otros 5 hrs. SíAmbos
5 9,62
16
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
Prueba FinalEstudioy trabajoautónomo
Resoluciónde Ejerciciosy Problemas
Aula 2 hrs. SíEvaluacióncontinua 6 7,69
17
Actividad Modalidad Met.Ense. Lugar Duración Evaluación Tipo Prep. Carga(%)
Examen FinalEstudioy trabajoautónomo
Resoluciónde Ejerciciosy Problemas
Otros 3 hrs. SíExamen final
10 12,5
Practica FinalEstudioy trabajoautónomo
AprendizajeBasado enProyectos
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
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
Pruebaescrita Tema2
AulaEvaluacióncontinua
10
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
Prácticas Otros Ambos
14
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
Pruebaescrita T3
AulaEvaluacióncontinua
15
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
Prácticas Otros Ambos
16
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
Prueba Final AulaEvaluacióncontinua
17
Actividad Lugar Tipo Técnica eval. Peso(%) Eval. min.
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.
top related