Informació per a l’estudiant – Màster en Lògica Pura i Aplicada (biennal)
Objectius i competències
Objectius
La finalitat del màster és oferir una formació avançada en lògica, des dels vessants tant purs com aplicats. Els graduats poden assolir una posició perfecta per iniciar una carrera investigadora en lògica i àrees relacionades. El curs també serveix com una preparació excel·lent per a les oportunitats laborals que requereixen un alt nivell d'anàlisi i resolució de problemes.
Competències
Competències generals
- Capacitat per dur a terme una recerca original en lògica i aplicar els coneixements i habilitats adquirits a nous entorns multidisciplinaris.
- Capacitat per presentar de manera clara, concisa i coherent les solucions dels exercicis i problemes.
- Capacitat per argumentar de manera correcta i justificar les afirmacions amb proves, d'acord amb els criteris estàndard de la recerca actual.
- Capacitat per fer el treball final de màster.
- Capacitat per dur a terme les tasques de manera adequada i eficient per donar resposta als problemes proposats en les diferents assignatures del màster.
- Capacitat per planificar adequadament, en relació amb el temps i l'espai disponibles, l'exposició pública d'un tema relacionat amb la recerca.
- Capacitat per fer un ús eficient de les tecnologies informàtiques i audiovisuals per comunicar els resultats d'un projecte de recerca.
Competències específiques
Capacitat per resoldre problemes de lògica d'una manera entenedora i elegant.
- Domini dels conceptes fonamentals de la lògica matemàtica.
- Capacitat per resoldre els problemes relacionats amb les matèries del màster.
- Capacitat per aplicar els conceptes de la lògica contemporània a l'estudi de la història de la lògica.
- Capacitat per entendre els conceptes tècnics necessaris per estudiar els arguments que s'empren en filosofia de la matemàtica i de la lògica.
- Capacitat per dissenyar els tipus d'algorismes relacionats amb el màster.
- Capacitat per comprendre els articles de la bibliografia científica rellevant.
- Capacitat per formular conjectures originals i significatives en diverses àrees de la lògica.
- Capacitat per desenvolupar una recerca original en alguna de les matèries incloses al màster.
- Domini de les eines matemàtiques que s'apliquen a les branques especialitzades de la lògica matemàtica.
- Coneixement d'un nombre ampli de lògiques no clàssiques.
- Capacitat per interconnectar eines semàntiques, sintàctiques i algebraiques per estudiar qualsevol tipus de lògica.
- Capacitat per relacionar els temes de lògica tractats pels cursos amb les seves implicacions filosòfiques corresponents.
- Capacitat per exposar de manera comprensible algunes de les tendències actuals de la recerca en lògica matemàtica.