Universidad de Barcelona

Máster de Lógica Pura y Aplicada (bienal)

Objetivos y competencias

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.

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.
Compartir: