Universitat de Barcelona

Máster de Lógica Pura y Aplicada

Presentación

El profesorado del máster forma, en conjunto, la agrupación de especialistas en lógica más grande de España, un grupo también significativo a nivel europeo. Los profesores que participan es este programa son todos investigadores en activo y especialistas reconocidos internacionalmente en sus campos de investigación, que incluyen la complejidad computacional, los fundamentos lógicos de la inteligencia artificial, la historia de la lógica, la lógica algebraica, las lógicas no clásicas, la teoría de conjuntos, la teoría de la demostración y la teoría de modelos.
Este máster está ofrecido conjuntamente la Universidad de Barcelona (UB) y la Universidad Politécnica de Cataluña (UPC). La UB es la coordinadora de este programa. Los departamentos que participan en este máster son los siguientes:
  • Departamento de Ciencias de la Computación(UPC)
  • Departamento de Filosofía (UB)
  • Departamento de Matemáticas (UPC)
  • Departamento de Matemáticas e Informática (UB)

Estos departamentos están relacionados con la Facultad de Filosofía y la Facultad de Matemáticas e Informática de la Universidad de Barcelona, y con la Facultad de Matemáticas y Estadística y la Facultad de Informática de la Universidad Politécnica de Cataluña.

Objetivos

La finalidad del máster de Lógica Pura y Aplicada es proporcionar una formación avanzada en lógica, desde sus vertientes puras y aplicadas. Al finalizar el máster el titulado podrá investigar en el ámbito de la lógica, en particular en las áreas de investigación a las que se dedican los departamentos implicados en la docencia del máster.

La formación del máster permite, además de las salidas asociadas a la investigación, otras salidas profesionales muy variadas, similares a las de los graduados en Matemáticas o en Informática, debido a la formación rigurosa que se imparte tanto en análisis como en resolución de problemas.

El máster de Lógica Pura y Aplicada es el único máster de esta temática ofrecido por las universidades catalanas, y es además el único máster dedicado exclusivamente a la formación general en lógica de todas la universidades españolas y del sur de Europa.

Información básica

Interuniversitario:

Universidad Coordinadora:
  • Universitat Barcelona
Universidades Participantes:
  • Universitat Barcelona
  • Universitat Politècnica de Catalunya


Créditos ECTS:
 90
Idioma de docencia:
 Inglés
Plazas:
 25
Precio Orientativo:
 27,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 2021-2022
Centro de gestión:
  Facultad de Filosofía
Página web del máster:
  Página web del máster

Perfil de acceso

Los estudiantes admitidos en el máster, independientemente de su titulación, deben tener:

  • Interés para llegar a realizar investigación en lógica.
  • Una mente analítica abstracta, así como dotes y gusto por el razonamiento riguroso y abstracto. Una muestra de ello puede ser haber cursado satisfactoriamente asignaturas de matemáticas o de lógica formal en el grado o posgrado.
  • Interés genuino por la mayoría de las materias del máster.
  • Conocimientos de inglés tanto hablado como escrito para seguir las clases, entregar las soluciones de los ejercicios y redactar el trabajo final de máster en esta lengua.

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 títulos siguientes:
  • 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 tal caso, es necesaria la homologación a un título universitario oficial español o bien la comprobación previa (sin homologación) por parte de la Universidad de Barcelona de que los estudios cursados corresponden a una formación equivalente a la de los títulos universitarios oficiales españoles y de que los estudios cursados 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 el 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, Física y titulaciones afines.

En principio los titulados en cualquiera de las titulaciones oficiales de acceso al máster pueden acceder al proceso de selección. También se aceptan en este proceso los candidatos que, aunque no tengan ninguna 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, que realiza la selección, demuestren tener 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, como complementos formativos, las asignaturas Lenguaje y Razonamiento Matemático, Aritmética y Álgebra Lineal del grado de Matemáticas de la Universidad de Barcelona.

El nivel de inglés necesario para cursar el máster corresponde al B1 del Marco europeo común de referencia del Consejo de Europa. Hay que tener en cuenta que los estudiantes deben ser capaces de entender las clases que se imparten en inglés y de entregar en esta lengua los ejercicios y trabajos requeridos.

Competencias

Competencias básicas y generales
  • Ser original en contextos de investigación y aplicar los conocimientos y habilidades adquiridos a situaciones multidisciplinarias nuevas relacionadas con las áreas de estudio del máster.
  • Presentar de manera clara, concisa y coherente las soluciones a los ejercicios y problemas de acuerdo con los estándares comunes actuales en la investigación.
  • Argumentar de manera correcta y justificar las afirmaciones con pruebas de acuerdo con los criterios estándar en la investigación actual.
  • Elaborar un proyecto de trabajo de máster y trabajos de características similares.
  • Planificar adecuada y eficientemente el trabajo para la presentación de soluciones a los problemas propuestos en las diferentes asignaturas del máster.
  • 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.
  • Utilizar de manera eficiente las tecnologías informáticas y audiovisuales actuales 'como el paquete Beamer en LaTeX' para exponer un tema de investigación en matemáticas.


Competencias específicas
  • Realizar el tipo de demostraciones habituales en lógica, y exponerlas de manera comprensible y elegante.
  • Demostrar dominio de los conceptos fundamentales de la lógica matemática.
  • Resolver los tipos de problemas tratados en las materias del máster.
  • Aplicar los conceptos de la lógica contemporánea al estudio de la historia de la lógica.
  • 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.
  • Diseñar algoritmos del tipo que se trata en el máster.
  • Comprender los artículos de la bibliografía científica relevante.
  • Formular preguntas pertinentes para orientar la investigación en lógica.
  • Desarrollar una investigación original en algunas materias similares a las tratadas en el máster.
  • Dominar las herramientas matemáticas que se aplican a varias ramas especializadas de la lógica matemática.
  • Mostrar conocimiento de un número amplio de lógicas no clásicas.
  • Interconectar herramientas semánticas, sintácticas y algebraicas para estudiar todo tipo de lógicas.
  • Relacionar los temas de lógica que se estudian con sus herramientas matemáticas y con sus implicaciones filosóficas correspondientes.
  • Exponer de manera comprensible algunas tendencias actuales en la investigación en lógica matemática.

Calendario de preinscripción

Del 30 de enero al 11 de septiembre de 2020.

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 Comisión de Coordinación del Máster realiza la selección de candidatos y prioriza las solicitudes de los candidatos de acuerdo con los criterios siguientes:

  • 1. Calificaciones obtenidas en los cursos de grado y de posgrado.
  • 2. Formación previa en lógica, que como a mínimo debe abarcar un buen conocimiento de la lógica de primer orden.
  • 3. Información aportada por los profesores o investigadores que el candidato indique o las cartas de referencia.
  • 4. Motivación del candidato.


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

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

Pendiente

Proceso de matriculación cerrado