Descripció
L'objectiu del màster és oferir una formació general i àmplia en les diferents vessants de la lògica. Aquesta formació s'articula en dos perfils, el de recerca i el professional.
El perfil de recerca ofereix la formació necessària per dur a terme recerca en lògica en general, i en particular, en les àrees d'investigació en què treballen els professors del màster: teoria de conjunts, teoria de models, teoria de la demostració, lògiques no clàssiques i lògica algebraica, lògiques per a la intel · ligència artificial, lògica difusa, complexitat computacional, lingüística computacional, lògica categorial, filosofia de la matemàtica i història de la lògica. Habilita per cursar estudis de doctorat en lògica a nivell internacional.
El perfil professional ofereix una formació més general en lògica, suficient per incorporar-se al mercat de treball o realitzar altres especialitzacions en competències més específiques.
Competències per a les que et prepara el curs
-Assumir tasques de recerca i transferència de coneixement en el món professional.
-Iniciar una carrera acadèmica en el món de la investigació, iniciar un doctorat en Lògica Internacional.