Inici > Aprèn > Màsters universitaris > L > Màster de Lògica Pura i Aplicada - Perfil de competències

Màster de Lògica Pura i Aplicada

Competències

Competències bàsiques i generals

Ser original en contextos de recerca i aplicar els coneixements i les habilitats adquirits a situacions multidisciplinàries noves relacionades amb les àrees d'estudi del màster.
Presentar de manera clara, concisa i coherent les solucions dels exercicis i problemes.
Argumentar de manera correcta i justificar les afirmacions amb proves, d'acord amb els criteris estàndard de la recerca actual.
Elaborar un projecte de treball de màster.
Preparar adequadament i eficientment el treball per donar resposta als problemes proposats en les diferents assignatures del màster.
Planificar adequadament, en relació amb el temps i l'espai disponibles, l'exposició pública d'un tema relacionat amb la recerca.
Utilitzar de manera eficient les tecnologies informàtiques i audiovisuals actuals 'com ara el paquet Beamer de LaTeX' per exposar un tema de recerca en l'àmbit de les matemàtiques.

Competències específiques

Realitzar el tipus de demostracions habituals en lògica i exposar-les de manera comprensible i elegant.
Demostrar el domini dels conceptes fonamentals de la lògica matemàtica.
Resoldre els tipus de problemes que tracten les matèries del màster.
Aplicar els conceptes de la lògica contemporània a l'estudi de la història de la lògica.
Entendre els conceptes tècnics necessaris per estudiar els arguments que s'empren en filosofia de la matemàtica i de la lògica.
Dissenyar algorismes del tipus que tracta el màster.
Comprendre els articles de la bibliografia científica rellevant.
Fer preguntes pertinents per orientar la recerca en lògica.
Desenvolupar una recerca original en alguna de les matèries que es tracten al màster.
Dominar les eines matemàtiques que s'apliquen a les branques especialitzades de la lògica matemàtica.
Mostrar coneixement d'un nombre ampli de lògiques no clàssiques.
Interconnectar eines semàntiques, sintàctiques i algebraiques per estudiar tot tipus de lògiques.
Relacionar els temes de lògica que s'estudien entre si i amb les implicacions filosòfiques corresponents.
Exposar de manera comprensible algunes de les tendències actuals de la recerca en lògica matemàtica.

Accés directe a:

Salta els accessos directes

Membre de la Reconeixement internacional de l'excel·lència