III. Otras disposiciones. UNIVERSIDADES. Planes de estudios. (BOE-A-2020-7266)
Resolución de 8 de junio de 2020, de la Universidad Complutense de Madrid, por la que se publica el plan de estudios de Máster en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science (Máster conjunto de las universidades Autónoma de Madrid, Complutense de Madrid y Politécnica de Madrid).
Página 1 Pág. 1
1 página en total
Zahoribo únicamente muestra información pública que han sido publicada previamente por organismos oficiales de España.
Cualquier dato, sea personal o no, ya está disponible en internet y con acceso público antes de estar en Zahoribo. Si lo ves aquí primero es simple casualidad.
No ocultamos, cambiamos o tergiversamos la información, simplemente somos un altavoz organizado de los boletines oficiales de España.
Cualquier dato, sea personal o no, ya está disponible en internet y con acceso público antes de estar en Zahoribo. Si lo ves aquí primero es simple casualidad.
No ocultamos, cambiamos o tergiversamos la información, simplemente somos un altavoz organizado de los boletines oficiales de España.
BOLETÍN OFICIAL DEL ESTADO
Núm. 183
Viernes 3 de julio de 2020
Sec. III. Pág. 47486
III. OTRAS DISPOSICIONES
UNIVERSIDADES
7266
Resolución de 8 de junio de 2020, de la Universidad Complutense de Madrid,
por la que se publica el plan de estudios de Máster en Métodos Formales en
Ingeniería Informática/Formal Methods in Computer Science (Máster conjunto
de las universidades Autónoma de Madrid, Complutense de Madrid y
Politécnica de Madrid).
Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo
informe favorable de la Fundación para el Conocimiento Madri+d, así como la
autorización de la Comunidad Autónoma de Madrid, y acordado el carácter oficial del
título por Acuerdo del Consejo de Ministros de 5 de octubre de 2018 (publicado en el
BOE del 21 de diciembre de 2018),
Este Rectorado, de conformidad con lo dispuesto en el artículo 35 de la Ley Orgánica 6/2001
de Universidades, en la redacción dada por la Ley Orgánica 4/2007, ha resuelto publicar el plan
de estudios conducente a la obtención del título de Máster Universitario en Métodos Formales en
Ingeniería Informática / Formal Methods in Computer Science.
Madrid, 8 de junio de 2020.–El Rector, Joaquín Goyache Goñi.
ANEXO
Plan de Estudios del título de Máster Universitario en Métodos Formales en
Ingeniería Informática/Formal Methods in Computer Science (Conjunto con la
Universidad Autónoma de Madrid y con la Universidad Politécnica de Madrid)
Rama de Conocimiento: Ingeniería y Arquitectura
Distribución del Plan de Estudios en créditos ECTS
Tipo de materia
Créditos ECTS
Obligatorias.
18
Optativas.
30
Trabajo de Fin de Máster.
12
Créditos Totales.
60
Tabla 2.
Esquema del Plan de Estudios
Materia
Créditos ECTS
Carácter
Métodos formales fundamentales.
18
Obligatoria.
Análisis de la corrección de los sistemas.
18*
Optativa.
Diseño y construcción rigurosa de sistemas.
18*
Optativa.
Técnicas matemáticas especializadas.
18*
Optativa.
Prácticas en empresas o grupos de investigación.
6*
Optativa.
Trabajo Fin de Máster.
12
TFM.
* Créditos optativos que componen la materia. Se ofertan 60 créditos optativos, de los cuales cada alumno
habrá de escoger 30.
https://www.boe.es
BOLETÍN OFICIAL DEL ESTADO
D. L.: M-1/1958 - ISSN: 0212-033X
cve: BOE-A-2020-7266
Verificable en https://www.boe.es
Tabla 1.
Núm. 183
Viernes 3 de julio de 2020
Sec. III. Pág. 47486
III. OTRAS DISPOSICIONES
UNIVERSIDADES
7266
Resolución de 8 de junio de 2020, de la Universidad Complutense de Madrid,
por la que se publica el plan de estudios de Máster en Métodos Formales en
Ingeniería Informática/Formal Methods in Computer Science (Máster conjunto
de las universidades Autónoma de Madrid, Complutense de Madrid y
Politécnica de Madrid).
Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo
informe favorable de la Fundación para el Conocimiento Madri+d, así como la
autorización de la Comunidad Autónoma de Madrid, y acordado el carácter oficial del
título por Acuerdo del Consejo de Ministros de 5 de octubre de 2018 (publicado en el
BOE del 21 de diciembre de 2018),
Este Rectorado, de conformidad con lo dispuesto en el artículo 35 de la Ley Orgánica 6/2001
de Universidades, en la redacción dada por la Ley Orgánica 4/2007, ha resuelto publicar el plan
de estudios conducente a la obtención del título de Máster Universitario en Métodos Formales en
Ingeniería Informática / Formal Methods in Computer Science.
Madrid, 8 de junio de 2020.–El Rector, Joaquín Goyache Goñi.
ANEXO
Plan de Estudios del título de Máster Universitario en Métodos Formales en
Ingeniería Informática/Formal Methods in Computer Science (Conjunto con la
Universidad Autónoma de Madrid y con la Universidad Politécnica de Madrid)
Rama de Conocimiento: Ingeniería y Arquitectura
Distribución del Plan de Estudios en créditos ECTS
Tipo de materia
Créditos ECTS
Obligatorias.
18
Optativas.
30
Trabajo de Fin de Máster.
12
Créditos Totales.
60
Tabla 2.
Esquema del Plan de Estudios
Materia
Créditos ECTS
Carácter
Métodos formales fundamentales.
18
Obligatoria.
Análisis de la corrección de los sistemas.
18*
Optativa.
Diseño y construcción rigurosa de sistemas.
18*
Optativa.
Técnicas matemáticas especializadas.
18*
Optativa.
Prácticas en empresas o grupos de investigación.
6*
Optativa.
Trabajo Fin de Máster.
12
TFM.
* Créditos optativos que componen la materia. Se ofertan 60 créditos optativos, de los cuales cada alumno
habrá de escoger 30.
https://www.boe.es
BOLETÍN OFICIAL DEL ESTADO
D. L.: M-1/1958 - ISSN: 0212-033X
cve: BOE-A-2020-7266
Verificable en https://www.boe.es
Tabla 1.
