|
L'objectiu del màster és donar una formació general i àmplia en els diferents vessants de la lògica. Aquesta formació s'articula en dos perfils, el de recerca i el professional.
El perfil de recerca proporciona la formació necessària per dur a terme recerca en lògica en general i, en particular, en les àrees de recerca en què treballa el professorat 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 historia de la lògica. En aquest sentit, habilita l'alumnat per cursar estudis de doctorat d'àmbit internacional en lògica.
El perfil professional aporta una formació més generalista en lògica, suficient per ingressar al mercat de treball o dur a terme altres especialitzacions en competències més concretes.
|