Características
Generales.
CREDITOS: 9
CARACTER: Obligatoria
en la titulación de Ingeniero Superior en Informática.
CURSO: 2º.
TEMPORALIDAD: Cuatrimestral
(1º cuatrimestre).
DEPARTAMENTO: Informática.
PROFESORES: Pascual
Julián Iranzo.
PRE-REQUISITOS (recomendaciones):
i) Lógica. ii) Metodología y Tecnología de la Programación.
CO-REQUISITOS (recomendaciones):
i) Estructuras de Datos y de la Información. ii) Ampliación
de Programación. iii) Autómatas y Lenguajes Formales.
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:
- Capacidad para
escribir programas con un significado declarativo en diferentes lógicas;
- Capacidad para
entender los mecanismos computacionales asociados a los diferentes estilos
de programación declarativa y controlar los mecanismos de deducción
correspondientes;
- Capacidad para
comparar las distintas soluciones desarrolladas en los diferentes estilos
declarativos y sus correlatos en lenguajes imperativos;
- Formación
sólida en los aspectos formales básicos de cada estilo;
- 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 y modos de evaluación.
Docencia:
3 horas de teoría, 1 de problemas y 2 horas de prácticas
en laboratorio a la semana.