Máster en Lógica Pura y Aplicada

Objetivos y competencias

Objetivos y competencias

Objetivos

La finalidad del máster es ofrecer una formación avanzada en lógica, desde las vertientes tanto puras como aplicadas. Los graduados pueden lograr una posición perfecta para iniciar una carrera investigadora en lógica y áreas relacionadas. El curso también sirve como una preparación excelente para las oportunidades laborales que requieren un alto nivel de análisis y resolución de problemas.

Competencias

Competencias generales

• Capacidad para llevar a cabo una investigación original en lógica y aplicar los conocimientos y habilidades adquiridos a nuevos entornos multidisciplinarios.


• Capacidad para presentar de manera clara, concisa y coherente las soluciones de los ejercicios y problemas.


• Capacidad para argumentar de manera correcta y justificar las afirmaciones con pruebas, de acuerdo con los criterios estándares de la investigación actual.


• Capacidad para hacer el trabajo final de máster.


• Capacidad para llevar a cabo las tareas de manera adecuada y eficiente para dar respuesta a los problemas propuestos en las diferentes asignaturas del máster.


• Capacidad para planificar adecuadamente, en relación con el tiempo y el espacio disponibles, la exposición pública de un tema relacionado con la investigación.


• Capacidad para hacer un uso eficiente de las tecnologías informáticas y audiovisuales para comunicar los resultados de un proyecto de investigación.
  

   

  
  
  

  Competencias específicas

  
  


• 
  

  Capacidad para resolver problemas de lógica de una manera entendedora y elegante.

  
  


• Dominio de los conceptos fundamentales de la lógica matemática.


• Capacidad para resolver los problemas relacionados con las materias del máster.


• Capacidad para aplicar los conceptos de la lógica contemporánea en el estudio de la historia de la lógica.


• Capacidad para entender los conceptos técnicos necesarios para estudiar los argumentos que se emplean en filosofía de la matemática y de la lógica.


• Capacidad para diseñar los tipos de algoritmos relacionados con el máster.


• Capacidad para comprender los artículos de la bibliografía científica relevante.


• Capacidad para formular conjeturas originales y significativas en varias áreas de la lógica.


• Capacidad para desarrollar una investigación original en alguna de las materias incluidas al máster.


• Dominio de las herramientas matemáticas que se aplican a las ramas especializadas de la lógica matemática.


• Conocimiento de un número amplio de lógicas no clásicas.


• Capacidad para interconectar herramientas semánticas, sintácticas y algebraicas para estudiar cualquier tipo de lógica.


• Capacidad para relacionar los temas de lógica tratados por los cursos con sus implicaciones filosóficas correspondientes.


• Capacidad para exponer de manera comprensible algunas de las tendencias actuales de la investigación en lógica matemática.
  

   

  
  

Acceso y admisión

Perfil y requisitos de acceso

Perfil de acceso

Los estudiantes que soliciten el máster tienen que tener: 

• Interés por el campo de la lógica.


• Mente analítica abstracta, y dotes y gusto por el razonamiento riguroso y abstracto. Una muestra de esto puede ser haber cursado satisfactoriamente asignaturas de matemática o de lógica formal en el grado o posgrado.


• Buen nivel de inglés oral y escrito.

Requisitos y condiciones de acceso

Requisitos generales
Para acceder a los másteres universitarios oficiales, se debe tener uno de los siguientes títulos:

• Título universitario oficial español.


• Título expedido por una institución de educación superior del EEES que faculte en el país de expedición para acceder a las enseñanzas de máster oficial.


• Título ajeno al EEES. En este caso, será necesaria o bien la homologación a un título universitario oficial español, o bien la comprobación previa (sin homologación) de la Universidad de Barcelona de que estos estudios corresponden a una formación equivalente a los títulos universitarios oficiales españoles y que facultan en el país que expide el título para acceder a estudios de máster oficial. La aceptación en un máster oficial no implica en ningún caso la homologación del título previo ni su reconocimiento a otros efectos que el de cursar una enseñanza de máster.

Requisitos específicos
Las titulaciones oficiales de acceso al máster son Matemáticas, Informática, Filosofía y Física, además de otras titulaciones afines.

En principio, los titulados de cualquier de las titulaciones oficiales de acceso al máster pueden participar en el proceso de selección. También se aceptan en este proceso los candidatos que, a pesar de no tener ninguno de las titulaciones oficiales de acceso, demuestren que se adecuan al perfil recomendado y que, a juicio de la Comisión de Coordinación del Máster, tengan conocimientos suficientes de lógica.

Los estudiantes que provengan del grado de Filosofía pueden tener que cursar, a criterio de la Comisión de Coordinación del máster, las asignaturas Lenguaje y Razonamiento Matemático, Aritmética y Álgebra Lineal, del grado de Matemáticas de la Universitat de Barcelona, como complemento formativo.

El nivel de inglés necesario para cursar el máster corresponde al B1 de conocimiento de terceras lenguas del Marco Común Europeo de Referencia para las lenguas. Tienen que entender las clases magistrales y hacer ejercicios escritos y trabajos en inglés.

Preinscripción

Matrícula

De manera general, la UB ofrece el servicio de automatrícula por internet. Recuerda que puedes perder la plaza si no te matriculas el día asignado.

• Antes de la de la matrícula
• Documentación para la matrícula
• Formalización de la matrícula
• Después de la matrícula
• Becas y ayudas (en catalán)
• Información económica

Acogida

• Servicio de Atención al Estudiante
• Becas y ayudas (en catalán)
• Alojamiento

Plan de estudios

Asignaturas y planes docentes

Distribución de créditos

Relación de asignaturas

Asignatura	Tipo	Lengua	Créditos
Especialidad: Lógica Pura y Aplicada
Álgebra Universal	Optativa	2o semestre	5
Algoritmos para VLSI	Optativa	1r semestre	6
Complejidad Computacional	Optativa	2o semestre	6
Computabilidad	Obligatoria	2o semestre	6
Demostración Automática de Teoremas	Optativa	1r semestre	5
El Desarrollo de la Lógica Formal	Optativa	1r semestre	5
Introducción a la Lógica Matemática	Optativa	2o semestre	5
Lógica Algebraica Abstracta	Optativa	1r semestre	5
Lógica Algebraica	Optativa	2o semestre	5
Lógica Matemática	Obligatoria	2o semestre	6
Lógica Modal	Optativa	2o semestre	5
Lógicas Multivaloradas	Optativa	1r semestre	5
Lógicas No Clásicas	Obligatoria	2o semestre	6
Modelos de la Teoría de Conjuntos	Optativa	1r semestre	5
Órdenes, Retículos y Álgebras de Boole	Optativa	2o semestre	5
Resolución de Problemas Combinatorios	Optativa	2o semestre	6
Teoría Avanzada de Modelos	Optativa	1r semestre	5
Teoría Básica de Conjuntos	Obligatoria	2o semestre	6
Teoría Básica de Modelos	Obligatoria	2o semestre	6
Teoría Combinatoria de Conjuntos	Optativa	2o semestre	5
Teoría de la Demostración	Optativa	1r semestre	5
Trabajo Final de Máster	Obligatoria	2o semestre	20

Cursos anteriores

• Planes docentes 2024 - 2025
• Planes docentes 2023 - 2024
• Planes docentes 2022 - 2023

Profesorado

Consulta el profesorado de primavera y otoño que imparten docencia en el curso vigente

Prácticas

Las prácticas contribuyen a la formación integral de los estudiantes universitarios y facilitan el conocimiento de una metodología de trabajo adecuada a la realidad profesional. De este modo, ofrecen una experiencia práctica que permite la inserción de los futuros titulados en el mercado laboral.

Las prácticas son tutorizadas y se evalúan. Por lo tanto constan al expediente académico del estudiante. Además, se pueden hacer prácticas extracurriculares de un máximo de 500 horas, que se pueden prorrogar hasta 900 horas. Tanto en cuanto a las prácticas curriculares como las extracurriculares, hace falta la formalización previa de un convenio de cooperación educativa con la entidad colaboradora donde se tienen que hacer las prácticas.

Información institucional 

• Normativa de prácticas externas 


• FeinaUB

Salidas profesionales

¿En qué podrás trabajar?

El máster se orienta a la investigación. Las salidas profesionales son, por un lado, la carrera académica universitaria o la de investigador en institutos de investigación y, por otro, las salidas típicas y muy variadas, similares a las que pueden tener los graduados y posgraduados en matemáticas, informática u otras disciplinas que proporcionan una formación rigurosa en el análisis y resolución de problemas, por ejemplo, en empresas de ciencia y tecnología o de finanzas.

Inserción laboral

Datos del sistema universitario catalán.

Contacto

Facultad de Filosofía
Montalegre, 6 - 08001 Barcelona

Secretaría: 934 037 722 - 934 037 719
secretariafilosofia@ub.edu

Coordinación: 93 403 75 16
masterlogic@ub.edu