Información para el estudiante – Máster en Lógica Pura y Aplicada (bienal)

El máster en Lógica Pura y Aplicada une las fuerzas de la Universitat de Barcelona y la Universitat Politècnica de Catalunya, con la experiencia del Instituto de Investigación en Inteligencia Artificial (IIIA) del CSIC, que han creado así el clúster más grande del estado con expertos reconocidos internacionalmente y profesores apasionados en la materia. Por eso, nuestro máster recibió el reconocimiento internacional de excelencia de la Universitat de Barcelona.
A pesar de que el máster incluye cursos básicos de las principales áreas de la lógica, nuestro programa anima 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.