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.
Consulta tota l'oferta de màsters