Información para estudiantes de la Faculdad de Informática UPM

Aquellos estudiantes que estén cursando la titulación de Ingeniería Superior en Informática en la UPM tienen la oportinidad de obtener las titulaciones de Master Europeo en Computación Lógica por la UPM y por la universidad extranjera donde completen el master con unos requisitos mínimos:

Buen conocimiento de la lengua inglesa
Haber aprobado los cursos de "Logica Formal" (1º curso) y "Lógica Computacional" (2º curso) con buenas calificaciones (al menos 6 puntos)
Haber cursado las siguientes asignaturas optativas:
- Modelos de razonamiento aproximado
- Programación Lógica (3º curso)
- Extensiones de la Programación Lógica (4º curso)
- Programación Declarativa (4º curso)
Haber cursado la asignatura de Libre elección titulada "Lógicas no-clásicas"
Asistir a uno o dos semestres en una de nuestras instituciones asociadas (ver información del Doble Titulación)

Aquellos alumnos interesados en el master pueden consultar a la coordinadora del master para conocer los detalles.