Máster en Lógica Pura y Aplicada: Universitat de Barcelona (UB)

El Máster Universitario en Lógica Pura y Aplicada es un título oficial de 90 créditos ECTS, con el código RUCT 4313350. Es interuniversitario: la Universitat de Barcelona (UB) es la universidad coordinadora y participa la Universitat Politècnica de Catalunya. Es presencial, dura dos cursos académicos y se imparte en inglés. Reúne la lógica pura y la aplicada, con asignaturas de teoría de modelos, de conjuntos, de la demostración, computabilidad y complejidad.

Dónde se imparte: Facultad de Filosofía de la UB

El centro de gestión del máster es la Facultad de Filosofía de la UB. La web de la universidad es www.ub.edu y la ficha del máster está en web.ub.edu/es/web/estudis/w/masteruniversitario-m0c0d.

Qué se estudia: lógica, computabilidad y teoría de modelos

El máster plantea una formación rigurosa para analizar y resolver problemas de investigación o de empresas de ciencia, tecnología o finanzas, con un núcleo obligatorio de lógica y optativas con las que el estudiante diseña su itinerario. El plan reparte sus 90 créditos así: 30 obligatorios, 40 optativos y 20 del trabajo final de máster. Las cinco asignaturas obligatorias, de 6 créditos, son:

• Computabilidad (primer semestre).
• Lógicas no clásicas (primer semestre).
• Teoría básica de conjuntos (primer semestre).
• Lógica matemática (segundo semestre).
• Teoría básica de modelos (segundo semestre).

Las optativas, de 5 o 6 créditos, incluyen Álgebra universal, Algoritmos para VLSI, Complejidad computacional, Introducción a la lógica matemática, Lógica algebraica, Órdenes, retículos y álgebras de Boole, Resolución de problemas combinatorios, Teoría combinatoria de conjuntos y Teoría de la demostración. Hay que cursar 40 créditos de optativas. El trabajo final de máster, de 20 créditos, se hace en el segundo semestre.

Acceso y admisión

Las titulaciones oficiales de acceso son Matemáticas, Informática, Filosofía y Física, además de afines. También se acepta en el proceso de selección a quien, sin ellas, demuestre que se adecua al perfil y que, a juicio de la Comisión de Coordinación, tenga conocimientos suficientes de lógica. Para acceder se pide interés por la lógica, una mente analítica y abstracta y un buen nivel de inglés. Quienes vengan del grado de Filosofía pueden tener que cursar, como complemento formativo y a criterio de la comisión, Lenguaje y razonamiento matemático, Aritmética y Álgebra lineal del grado de Matemáticas de la UB.

El nivel de inglés necesario para cursar el máster corresponde al B1 del Marco Común Europeo: hay que entender las clases magistrales y hacer ejercicios y trabajos en inglés, y en la selección el conocimiento de inglés es un requisito indispensable. Al preinscribirse hay que aportar el currículum académico, una breve explicación de la motivación y los datos de dos profesores o investigadores de referencia, o dos cartas de referencia directamente.

La selección la hace la Comisión de Coordinación según la nota mediana de los estudios de grado o posgrado, la formación previa en lógica, que debe incluir un buen conocimiento de la lógica de primer orden, las cartas de referencia y la motivación; hasta 70 puntos corresponden a los dos primeros criterios y hasta 20 a las cartas.

Duración y modalidad

Según la universidad, el máster dura dos cursos académicos, tiene 90 créditos, es presencial y se imparte en inglés.

Salidas profesionales

La universidad lo orienta a la investigación y a problemas de empresa en ciencia, tecnología o finanzas, y da acceso al doctorado.

Por qué estudiar lógica en Barcelona

Es un máster muy especializado en lógica, con una base común de computabilidad, conjuntos, modelos y lógicas no clásicas y una optatividad amplia, que une los conocimientos de dos universidades. A tener en cuenta: son 90 créditos en dos cursos, se imparte en inglés, y la selección valora mucho el expediente y la formación previa en lógica de primer orden.

Preguntas frecuentes

¿En qué idioma se imparte?

En inglés, con un nivel de referencia B1.

¿Cuánto dura?

Dos cursos académicos y 90 créditos ECTS.

¿Qué titulaciones dan acceso?

Matemáticas, Informática, Filosofía y Física, y afines; también quien demuestre conocimientos suficientes de lógica.

¿Hay complementos de formación?

Quienes vengan de Filosofía pueden tener que cursar asignaturas de Matemáticas de la UB.

¿Cuántos créditos tiene el trabajo final de máster?

20 créditos.