Master en Computación Lógica

.- Programa Oficial de Postgrado en Ingeniería Informática -.
Este programa aúna seis títulos de master y también estudios de doctorado. Está estructurado en grupos de asignaturas que se denominan Módulos y Concentraciones, que permiten la especialización en ciertas áreas. Los planes de estudio de cada título permiten al alumno construir un itinerario propio (siempre alrededor de las especializaciones que se ofrecen) y, hasta cierto punto, seleccionar el título de su preferencia incluso durante sus estudios.

.- Master en Computación Lógica -.
El objetivo del Master en Computación Lógica es proporcionar alumnos con la preparación práctica y teórica requerida para el desarrollo riguroso de software avanzado usando computación lógica, tecnología declarativa y métodos formales. El curriculum cubre fundamentos, técnicas, herramientas y práctica en el desarrollo de software fiable y de alta funcionalidad, y en su validación y verificación. Los conocimientos previos y habilidades adquiridos por los estudiantes son esenciales para aquellos trabajos con sistemas que impliquen computación simbólica, un alto grado de contenidos matemáticos o lógicos, con representación del conocimiento avanzada o capacidades de razonamiento automático.

El programa pretende proporcionar una base para sacar partido, aplicar (y si fuera necesario contribuir) a las nuevas herramientas formales disponibles en la actualidad para especificación, desarrollo, análisis, transformación, validación, combinación y compilación de código, software avanzado, sistemas basados en el conocimiento, y nuevos lenguajes para la producción de software fiable.

Estas técnicas y herramientas están basadas en diversos cálculos lógicos y algebraicos que vienen de la teoría de tipos, orden superior, lógica difusa y temporal, algebras y lenguajes de especificación, interpretación abstracta, cálculo basado en métodos semánticos, autómatas, cálculo funcional, deducción automática, y diversos lenguajes declarativos tanto lógicos como funcionales, lenguajes basados en restricciones e híbridos.

Asignaturas del Master
Plan: 10AB - Master Europeo en Computación Lógica -

Concentración: 1.0 - Computación Lógica Básica.

• Asignaturas de la concentración
1. Lógica computacional. (6.0 Créditos)
2. Lógica formal. (6.0 Créditos)
3. Programación declarativa. (6.0 Créditos)
4. Programación lógica. (6.0 Créditos)
5. Lógicas no clásicas. (6.0 Créditos)
6. Extensiones de la programación lógica y programación de restricciones. (6.0 Créditos)
7. Integración y validación de programas. (6.0 Créditos)
8. Modelos de razonamiento inexacto. (6.0 Créditos)

Concentración: 2.0 - Computación Lógica Avanzada.

• Asignaturas de la concentración
1. Aprendizaje automático. (6.0 Créditos)
2. Procesamiento de lenguaje natural. (6.0 Créditos)
3. Software basado en componentes. (6.0 Créditos)
4. Desarrollo riguroso de software. (6.0 Créditos)
5. Análisis, depuración y optimización del software. (6.0 Créditos)
6. Agentes inteligentes y sistemas multiagente. (6.0 Créditos)
7. Ontologías y la web semántica. (6.0 Créditos)
8. Lógica borrosa: Fundamentos, aplicaciones y retos. (6.0 Créditos)
9. Razonamiento aproximado. (6.0 Créditos)
10. Razonamiento bayesiano con modelos gráficos. (4.0 Créditos)

3.0- Proyecto Master Europeo

• Asignaturas de la concentración
• Proyecto Master Europeo. (12.0 Créditos)

4.0- Trabajo Fin de Master

• Asignaturas de la concentración
• Trabajo Fin de Master. (30.0 Créditos)