Este máster proporciona una sólida base en el ámbito de la lógica avanzada, pura y aplicada. El programa del máster abarca áreas muy diversas que van desde la lógica y las aplicaciones matemáticas hasta la informática, la inteligencia artificial y la lingüística computacional. Además, ofrece dos asignaturas de fundamentos para quienes necesiten una introducción básica a la lógica o a las matemáticas.
Acceso a las enseñanzas oficiales de Máster
1. Para acceder a las enseñanzas oficiales de Máster será necesario estar en posesión de un título universitario oficial español u otro expedido por una institución de educación superior del Espacio Europeo de Educación Superior que facultan en el país expedidor del título para el acceso a enseñanzas de máster.
2. Así mismo, podrán acceder los titulados conforme a sistemas educativos ajenos al Espacio Europeo de Educación Superior sin necesidad de la homologación de sus títulos, previa comprobación por la Universidad de que aquellos acreditan un nivel de formación equivalente a los correspondientes títulos universitarios oficiales españoles y que facultan en el país expedidor del título para el acceso a enseñanzas de postgrado. El acceso por esta vía no implicará, en ningún caso, la homologación del título previo de que esté en posesión el interesado, ni su reconocimiento a otros efectos que el de cursar las enseñanzas de Máster.
A personas que estén interesadas en profundizar sus conocimientos en lógica pura y aplicada, y que cumplan los requisitos generales y específicos de acceso.
Obligatories
First Semester
Basic Set Theory
Computability
Non-Classical Logics
Second Semester
Basic Model Theory
Mathematical Logic
Optional
First Semester
Introduction to Mathematical Logic
Order, Lattices and Boolean Algebras
Universal Algebra
Second Semester
Algebraic Logic
Combinatorial Set Theory
Proof Theory, and Automated Theorem Proving
The Development of Formal Logic
Third Semester
Many-Valued Logics
Modal Logic
Models of Set Theory
Abstract Algebraic Logic
Advanced Model Theory
Complexity
Este máster promueve la adquisición de las habilidades necesarias para el ámbito profesional o para seguir una carrera académica: creatividad, análisis de situaciones complejas, innovación, capacidades de aprendizaje, capacidades de investigación y toma de decisiones estratégicas. También promueve otras habilidades y valores como la comunicación eficaz, el trabajo en equipo y la ética profesional.
Asumir tareas de investigación y transferencia de conocimiento en el mundo profesional.
Iniciar una carrera académica en el mundo de la investigación, y concretamente iniciar un doctorado en Lógica de nivel internacional.
