Atención: El texto que se muestra a continuación ha sido extraído de los mismos ficheros que se han utilizado para obtener el fichero PDF correspondiente del BOJA oficial y auténtico, habiéndose suprimido todas las imágenes, ciertas tablas y algunos textos de la versión oficial al existir dificultades de edición. Para consultar la versión oficial y auténtica de esta disposición puede descargarse el fichero PDF firmado de la disposición desde la sede electrónica del BOJA o utilizar el servicio de Verificación de autenticidad con CVE 00160106.
De conformidad con lo dispuesto en los artículos 26 y 28 del Real Decreto 1393/2007, de 29 de octubre, modificado por el Real Decreto 861/2010, de 2 de julio, por los que se establece el procedimiento para la modificación de Planes de Estudios ya verificados y una vez recibido informe favorable de la Agencia Andaluza del Conocimiento del 31 de julio de 2018 a las modificaciones presentadas del plan de estudios del título de Máster Universitario en Lógica, Computación e Inteligencia Artificial por la Universidad de Sevilla.
Este Rectorado, de conformidad con lo previsto en el artículo 26.3 del Real Decreto 1393/2007 anteriormente citado, ha resuelto ordenar la publicación de la modificación del Plan de Estudios del título de Máster Universitario en Lógica, Computación e Inteligencia Artificial por la Universidad de Sevilla que queda estructurado según consta en el anexo a esta resolución.
Sevilla, 22 de julio de 2019.- El Rector, Miguel Ángel Castro Arroyo.
PLAN DE ESTUDIOS DE MÁSTER UNIVERSITARIO EN LÓGICA, COMPUTACIÓN E INTELIGENCIA ARTIFICIAL POR LA UNIVERSIDAD DE SEVILLA
Rama de conocimiento: Ingeniería y Arquitectura
Centro de Impartición: Escuela Técnica Superior de Ingeniería Informática
Distribución del Plan de Estudios en créditos ECTS por tipo de materia | ||
Tipo de materia | Créditos | |
Total | 60 | |
P | Optativas | 48 |
T | Trabajo Fin de Máster | 12 |
Estructura de las enseñanzas por módulos | ||
Módulo/Asignatura | Tipo de Materia | Créditos |
Aprendizaje Automático | P | 6 |
Computación Bioinspirada | P | 6 |
Ingeniería del Conocimiento | P | 6 |
Métodos Computacionales en Vida Artificial | P | 6 |
Procesamiento del Lenguaje Natural | P | 6 |
Programación Lógica | P | 6 |
Razonamiento Asistido por Computador | P | 6 |
Razonamiento Automático | P | 6 |
Representación del Conocimiento en la Web | P | 6 |
Seminario de Lógica Matemática y Computación | P | 6 |
Simulación y Análisis Computacional en Biología de Sistemas | P | 6 |
Síntesis, Verificación y Razonamiento sobre Agentes Inteligentes | P | 6 |
Técnicas Inteligentes en Bioinformática | P | 6 |
Teoría de Modelos | P | 6 |
Trabajo de Fin de Máster | T | 12 |