Obtenida la verificación del plan de estudios por el Consejo de Universidades, previo informe de la Agència per a la Qualitat del Sistema Universitari de Catalunya, así como la autorización de la Comunidad Autónoma de Cataluña, y establecido el carácter oficial del título por acuerdo del Consejo de Ministros de 20 de septiembre de 2013 (publicado en BOE de 15 de noviembre de 2013).
Este Rectorado ha resuelto publicar el plan de estudios conducente a la obtención del título de Máster Universitario en Lógica Pura y Aplicada, que quedará estructurado según consta en el anexo de esta resolución.
Barcelona, 3 de octubre de 2014.–El Rector, Dídac Ramírez i Sarrió.
Código RUCT: 4313350.
Rama de conocimiento: Ciencias.
Resumen de las materias y distribución de créditos
Créditos Obligatorios |
30 |
Créditos Optativos |
40 |
Prácticas Externas Obligatorias |
– |
Trabajo Final de Máster |
20 |
Créditos totales |
90 |
Estructura de las enseñanzas
Materia |
Créditos |
Carácter |
Organización temporal |
---|---|---|---|
Teoría Básica de Conjuntos. |
6 |
Obligatorio. |
Semestral. |
Lógicas No Clásicas. |
6 |
Obligatorio. |
Semestral. |
Computabilidad. |
6 |
Obligatorio. |
Semestral. |
Lógica Matemática. |
6 |
Obligatorio. |
Semestral. |
Teoría Básica de Modelos. |
6 |
Obligatorio. |
Semestral. |
Órdenes, Retículos y Álgebras de Boole. |
5 |
Optativo. |
Semestral. |
Álgebra Universal. |
5 |
Optativo. |
Semestral. |
Introducción a la Lógica Matemática. |
5 |
Optativo. |
Semestral. |
Teoría Combinatoria de Conjuntos. |
5 |
Optativo. |
Semestral. |
El Desarrollo de la Lógica Formal. |
5 |
Optativo. |
Semestral. |
Lógica Algebraica. |
5 |
Optativo. |
Semestral. |
Lógica Algebraica Abstracta. |
5 |
Optativo. |
Semestral. |
Lógica Modal. |
5 |
Optativo. |
Semestral. |
Teoría Avanzada de Modelos. |
5 |
Optativo. |
Semestral. |
Complejidad Computacional. |
6 |
Optativo. |
Semestral. |
Teoría de la Demostración y Demostración Automática. |
5 |
Optativo. |
Semestral. |
Modelos de la Teoría de Conjuntos. |
5 |
Optativo. |
Semestral. |
Lógicas Multivaloradas. |
5 |
Optativo. |
Semestral. |
Algoritmos para VSLI. |
6 |
Optativo. |
Semestral. |
Resolución de Problemas Combinatorios. |
6 |
Optativo. |
Semestral. |
Trabajo Fin de Máster. |
20 |
Trabajo final. |
Semestral. |
Agencia Estatal Boletín Oficial del Estado
Avda. de Manoteras, 54 - 28050 Madrid