Presentación
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. Al
Depósito Digital puedes consultar algunas de las tesis de máster realizadas como parte de este programa.
Objetivos
La finalidad del máster es ofrecer una formación avanzada en lógica, desde las vertientes tanto puras como aplicadas. Los graduados pueden lograr una posición perfecta para iniciar una carrera investigadora en lógica y áreas relacionadas. El curso también sirve como una preparación excelente para las oportunidades laborales que requieren un alto nivel de análisis y resolución de problemas.