Máster en 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.