Objetivos y competencias

El máster en Lógica Pura y Aplicada une las fuerzas de la Universidad de Barcelona y la Universidad Politécnica de Cataluña con la experiencia del Instituto de Investigación en Inteligencia Artificial (IIIA) del CSIC, que han creado así el mayor clúster del estado con expertos reconocidos internacionalmente y profesores apasionados por la materia. Por eso, el máster recibió el reconocimiento internacional de excelencia de la Universidad de Barcelona.

A pesar de que el máster incluye cursos básicos de las principales áreas de la lógica, el programa anima a los estudiantes a diseñar su viaje individual por la asignatura escogiendo entre una variedad de cursos avanzados sobre lógica algebraica, teoría de la computabilidad, complejidad computacional, historia de la lógica, teoría de modelos, lógica no clásica, teoría de la demostración y teoría de conjuntos. En el Depósito Digital pueden consultarse algunas de las tesis de máster realizadas como parte de este programa.

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

Datos básicos

TipoMáster universitario
Centro de gestiónFacultad de Filosofía
Ámbito de conocimiento
  • Matemáticas y estadística
  • Historia, arqueología, geografía, filosofía y humanidades
  • Ingeniería informática y de sistemas
Modalidad de docencia
  • Presencial
Créditos90
Plazas25
Duración2 años académicos
Idioma de docenciaInglés
Precio orientativo por crédito27,67 euros por crédito (82 euros para estudiantes de fuera de la UE y no residentes en el Estado español.). Precios del curso 2023-2024
CoordinaciónJOOST JOOSTEN
Correo electrónicomasterlogic@ub.edu
Datos del MásterIndicadores
Preinscripción abierta
Matrícula abiertaNo
Acceso al doctorado
Admite no tituladosNo
Interuniversitario
Universidad CoordinadoraUniversitat Barcelona
Universidades Participantes
  • Universitat Barcelona
  • Universitat Politècnica de Catalunya
Complementos de formación

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
De acuerdo con lo establecido en el artículo 16 del Real Decreto 1393 /2007, de 29 de octubre, 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

Calendario

Del 2 de febrero al 16 de julio de 2024.

Avisos:

  • Tasa de preinscripción: En el momento de formalizar la preinscripción en el máster, deberá abonarse una tasa de 30,21 euros. Solo se tendrán en cuenta las solicitudes de preinscripción en las que se acredite el pago de esta tasa. Solo se tramitará la devolución si el máster no se llegara a impartir.
  • Reserva de plazas: Un 5% de las plazas nuevas del máster se reservan a los estudiantes que cumplan los requisitos generales y específicos de acceso y acrediten el reconocimiento de un grado de discapacidad igual o superior al 33%.

Documentación

Criterios de selección

La selección de candidatos es a cargo de la Comisión de Coordinación del máster, que prioriza las solicitudes de acuerdo con los criterios siguientes:




  1. Nota mediana de los estudios de grado o posgrado.

  2. Formación previa en lógica, que como mínimo tiene que incluir un buen conocimiento de la lógica de primer orden.

  3. Cartas de referencia.

  4. Motivación del candidato para hacer el máster.





La Comisión de Coordinación del máster otorga puntuaciones a cada uno de los apartados de la manera siguiente: un máximo de setenta puntos entre los apartados 1 y 2, un máximo de veinte puntos al apartado 3, y un máximo de diez puntos al apartado 10. El conocimiento de inglés es un requisito indispensable.

Procedimento de resolución

El resultado de la selección se comunicará a los candidatos por correo electrónico, y se enviará una carta formal de admisión a los estudiantes admitidos.

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.

Plan de estudios

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 


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