Informació per a l’estudiant – Màster en Lògica Pura i Aplicada (biennal)

El màster en Lògica Pura i Aplicada uneix les forces de la Universitat de Barcelona i la Universitat Politècnica de Catalunya, amb l'experiència de l'Institut de Recerca en Intel·ligència Artificial (IIIA) del CSIC, que han creat així el clúster més gran de l'estat amb experts reconeguts internacionalment i professors apassionats en la matèria. Per això, el nostre màster va rebre el reconeixement internacional d'excel·lència de la Universitat de Barcelona.
Tot i que el màster inclou cursos bàsics de les principals àrees de la lògica, el nostre programa anima els estudiants a dissenyar el seu viatge individual per l'assignatura escollint entre una varietat de cursos avançats sobre lògica algebraica, teoria de la computabilitat, complexitat computacional, història de la lògica, teoria de models, lògica no clàssica, teoria de la demostració i teoria de conjunts.