Máster en Lógica Pura y Aplicada

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.