Características Generales
Créditos: 6
Titulación: Departamento de Tecnologías y Sistemas de Información.
Carácter: Obligatoria en la intensificación en Computación.
Curso: 3º.
Temporalidad: Cuatrimestral (2º cuatrimestre).
Departamento: Departamento de Tecnologías y Sistemas de Información.
Profesores: Pascual Julián Iranzo.
Pre-requisitos (recomendaciones): Lógica, Fundamentos de Programación I y II. Metodología de la Programación, Estructuras de Datos.
Objetivos:
-
- Introducir la Programación Declarativa como una alternativa viable al paradigma de programación imperativo clásico.
- Presentar los dos enfoques principales del paradigma de programación declarativo: La Programación Lógica y la Programación Funcional.
- Introducir conceptos sobre la teoría de los lenguajes de programación que son difíciles de introducir cuando se emplean otros paradigmas: lenguaje de programación como sistema formal; semántica de los lenguajes de programación …
- Se pretende que el alumno adquiera las siguientes capacidades y conocimientos:
1) Capacidad para escribir programas con un significado declarativo en diferentes lógicas;
2) Capacidad para entender los mecanismos computacionales asociados a los diferentes estilos de programación declarativa y controlar los mecanismos de deducción correspondientes;
3) Capacidad para comparar las distintas soluciones desarrolladas en los diferentes estilos declarativos y sus correlatos en lenguajes imperativos;
4) Formación sólida en los aspectos formales básicos de cada estilo;
5) Comprender la relación de esta materia con otras disciplinas de la Informática y su aplicación a las mismas.
Estructura del temario: Introducción. Programación lógica: Bases teóricas de la programación lógica y aplicaciones de la programación lógica. Programación funcional: Técnicas básicas y avanzadas, modos de evaluación.
Docencia: 3 horas semanales de teoría y problemas y 1,5 horas de práctica en laboratorio.
Metodo de Evaluación: Consta de una prueba final (50% de la nota total), dos exámenes de prácticas (25% de la nota total), elaboración y presentación de un caso de estudio (15% de la nota total) y la entrega y exposición oral de un ensayo (10% de la nota total).
[Para más información, consulte la Guía Docente de la Asignatura de Programación Declarativa]