Màster de Lògica pura i aplicada

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.

Tenir un títol de grau en Matemàtiques, Filosofia o Informàtica, o formació equivalent.

S'exigeix el domini de l'anglès, nivell B1 del llistat de nivells de coneixement de terceres llengües del Marc comú europeu de referència per a les llengües elaborat pel Consell d'Europa.