1

MÀSTER EN LÒGICA PURA I APLICADA

INFORME DE SEGUIMENT DEL CURS ACADÈMIC 2013-2014

Informe elaborat per: Ramon Jansana Coordinador general del màster en Lògica Pura i Aplicada Informe revisat per: Comissió de Qualitat del centre. Informe aprovat per: Comissió de Qualitat del centre (27/01/2015) i Junta de Facultat (09/02/2015).

2

Sumari

1. PRESENTACIÓ ..................................................................................................... 3

1.1. Fitxa identificativa de l’ensenyament ...................................................... 3

1.2 Tractament de les recomanacions dutes a terme per agències d’avaluació externes. ................................................................................... 3

2. INFORMACIÓ PUBLICADA ................................................................................ 4

2.1. Seguiment i actualització de la informació publicada .............. ¡Error! Marcador no definido.

3. ANÀLISI VALORATIVA DE L’ENSENYAMENT ............................................. 7

3.1. Dades sobre l’accés i matricula .............. ¡Error! Marcador no definido. 3.2. Orientació a l’estudiant ............................. ¡Error! Marcador no definido. 3.3. Planificació i gestió docent ...................... ¡Error! Marcador no definido. 3.4. Pràctiques externes ................................... ¡Error! Marcador no definido. 3.5. Mobilitat internacional ............................... ¡Error! Marcador no definido. 3.6. Treball fi de màster .................................... ¡Error! Marcador no definido. 3.7. Professorat ................................................... ¡Error! Marcador no definido. 3.8. Gestió dels recursos materials i serveis .............. ¡Error! Marcador no

definido. 3.9. Resultats ....................................................................................................... 17

3.9.1. Queixes, reclamacions i suggeriments ............................................... 17

3.9.2. Satisfacció de l’alumnat amb l’acció docent i la planificació d’assignatures ...................................................................................................... 17 3.9.3. Rendiment acadèmic ............................................................................. 18

4. PROPOSTES DE MILLORA ............................................................................. 20

4.1 Disseny, implementació i seguiment de les accions de millora .... 20

4.2 Propostes de millora que es deriven de la valoració que es fa del desplegament de la titulació, incloent-hi totes les propostes de modificació i pla de seguiment. .............................................................. 20

4.3 Seguiment de les accions de millora del curs 09/10, 10/11 ,11/12, 12/13 ............................................................................................................... 22

5. EL SISTEMA D’ASSEGURAMENT INTERN DE LA QUALITAT (SAIQU) COM A EINA PER AL SEGUIMENT DE LES TITULACIONS DEL CENTRE . 23

ANNEXOS ..................................................................................................................... 24

3

DESPLEGAMENT I SEGUIMENT DE LES TITULACIONS OFICIALS A LA UB:

1. PRESENTACIÓ

El Màster en Lògica Pura i Aplicada de la Universitat de Barcelona i la Universitat Politècnica de Catalunya està coordinat per la Facultat de Filosofia de la Universitat de Barcelona. El màster es bianual. El curs 2013-14 ha estat el segon de l’edició que va iniciar-se el curs 2012-13. Per aquesta raó l’informe de seguiment s’ha elaborat en molts apartats comentant tant dades del curs 2012-13 com les del curs 2013-14. A més, a la Facultat de Filosofia al curs 2013-2014 s’han impartit els màsters universitaris de “Filosofia Analítica”, “Ciència Cognitiva i Llenguatge”, “Pensament Contemporani i Tradició Clàssica” i “Ciutadania i Drets Humans: Ètica i Política”, i finalment, el màster “Història de la Ciència: Ciència, Història i Societat”.

1.1. Fitxa identificativa de l’ensenyament Objectius de la titulació La finalitat del màster és donar una formació general avançada en Lògica, en els seus vessants tan purs com aplicats, orientada a què en finalitzar el màster el graduat pugui començar a realitzar investigació en Lògica, en particular en les àrees d'investigació a les que es dediquen els departaments que proposen el màster, que són bàsicament: Teoria de Conjunts, Teoria de models, Complexitat Computacional, Teoria de la Demostració, Lògica Algebraica, Lògiques No-Clàssiques (especialment Lògica Modal i Lògiques Multi-valorades), Filosofia de la Lògica i de la Matemàtica i Història de la Lògica. La formació del màster permet, a més de les sortides associades a la recerca, altres sortides professionals molt variades, similars a les que els graduats en Matemàtiques o en Informàtica poden tenir gràcies a la formació rigorosa que de forma general reben tant en anàlisi com en resolució de problemes. El màster Lògica Pura i Aplicada és l'únic màster en Lògica de les universitats catalanes i és a mes l'únic màster dedicat exclusivament a la formació general en Lògica de totes les universitats espanyoles i del sud d'Europa.

1.2 Tractament de les recomanacions dutes a terme per agències d’avaluació externes.

a) Màsters que van fer informe de seguiment en alguna de les convocatòries

realitzades però no han estat avaluats per AQU.

No es disposa de propostes d’actuació a desenvolupar ja que aquest ensenyament no ha estat avaluat per AQU en cap dels dos anys que es porten realitzant informes de seguiment.

4

2. INFORMACIÓ PUBLICADA

2.1. Al web del centre

El centre publica en el seu web http://www.ub.edu/filosofia/ tota la informació de caràcter bàsic relacionada amb el desenvolupament operatiu del programa formatiu conjuntament amb els indicadors relacionats. Aquesta informació segueix els criteris generals d’estructura i continguts unificats per a totes les titulacions de la UB1.

La informació pública s’ha estructurat segons els grups d’interès a qui va dirigida.

Futurs estudiants: informació descriptiva general, breu i sintètica, amb referents per poder demanar més informació.

http://www.ub.edu/filosofia/queoferim/postgrau/logica_pura_aplicada.htm

http://www.ub.edu/masterlogic/

El curs 2014-15 ha entrat en funcionament un altre pàina web, oficial de la UB, amb informació per a l’alumnat:

http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/presentacio

Alumnes de nou accés: informació puntual que necessiten per iniciar el procés de matrícula i les classes (destacat al juliol i setembre)

http://www.ub.edu/filosofia/filosofia/matriculamasters09-3.html

Alumnes de l’ensenyament: informació més pràctica per al seguiment diari dels estudis i sobre tots els tràmits que puguin necessitar.

http://www.ub.edu/estudis/mastersuniversitaris/pctc/index.php?lang=ca_ES http://www.ub.edu/masterlogic/

http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/presentacio

Societat: informació adreçada a empreses i institucions d’àmbit acadèmic i professional i altres organismes i/o persones.

http://www.ub.edu/filosofia

Professorat: informació de contacte (adreça de correu electrònic, tel., despatx...) i perfil

acadèmic ( formació, línies d’investigació, publicacions, etc..)

1El desplegament d’alguns continguts d’informació es farà a mesura que es vagin desenvolupant els ensenyaments.

5

http://www.ub.edu/masterlogic/

http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/presentacio

http://www.ub.edu/filosofia/queoferim/index/dep.htm

Així mateix, el centre, mitjançant el seu apartat de Sistema de Gestió de la Qualitat publica informació completa relacionada amb els indicadors de tots els seus ensenyaments oficials.

http://www.ub.edu/filosofia/queoferim/index/qualitat.htm

2.2. Al web de l’ensenyament

La informació pública s’ha estructurat de la manera següent :

Futurs estudiants: Informació descriptiva general on s’inclou: Objectius i competències, Requisits d’accés, Preinscripció, Pla d’estudis, Beques i ajuts.

Informació General: Calendari de matrícula, Calendari acadèmic, Queixes, reclamacions i suggeriments.

http://www.ub.edu/filosofia/filosofia/matriculamasters09-3.html

http://www.ub.edu/masterlogic/

http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/

http://www.ub.edu/filosofia/ (per queixes i suggeriments)

Informació Acadèmica: Plans docents, Horaris, Professorat, Accions de suport i orientació, Treball final de màster.

http://www.ub.edu/masterlogic/

http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/

Sistema de Qualitat: presentació, indicadors, normatives

Racó de l’estudiant: llistat d’ admesos. Serveis, avisos i notícies, àrea privada L’admissió es comunica personalment per correu electrònic, així com la majoria de noticies. Altres es troben a http://www.ub.edu/masterlogic/ i a http://www.ub.edu/estudis/ca/mastersuniversitaris/logicapura/presentacio A banda de la pàgina web, a l’inici de curs s’informa els estudiants que es poden adreçar per correu electrònic, o en persona, al coordinador del màster per tot al referent a queixes, informacions, etc. relacionades amb el màster, i al professor de cada assignatura per tot el referent a l’assignatura que imparteix. Les informacions col·lectives s’envien per correu electrònic a tos els estudiants.

6

2.3. Seguiment i actualització de la informació publicada El sistema d’assegurament de la qualitat (SAIQU) introdueix els mecanismes per assegurar que la informació disponible sigui correcta i que s’actualitzi amb la freqüència adequada. A tal efecte a tots els apartats del web s’indica la data de la darrera actualització. Els diferents agents en el procés de publicació de la informació verifiquen si el resultat final correspon al que s’havia acordat.

7

3. ANÀLISI VALORATIVA DE L’ENSENYAMENT

Anàlisi de la informació i valoració d’indicadors A través del SAIQU s’ha elaborat el mapa de processos de cada centre, cosa que ha permès identificar i classificar cada un dels processos clau que intervenen en el programa formatiu de l’ensenyament. A més, el SAIQU proposa el desplegament gradual d’un conjunt d’indicadors, lligats als diversos processos, fins al moment de l’acreditació. Una de les tasques que ha estat duent a terme la Comissió de Qualitat del centre és desplegar el SAIQU a través del mapa de processos i els seus procediments associats. D’aquesta manera, des del centre ja s’ha reflexionat sobre qui i com s’ha de fer la tasca de planificació i avaluació dels diversos processos.

El nostre ensenyament es va iniciar el curs 2013-14, per la qual cosa els processos sotmesos a un seguiment més exhaustiu són els següents:

Captació, admissió i matrícula d’estudiants (PEQ 040) Orientació a l’estudiant (PEQ 050) Planificació i gestió docent (PEQ 060) ─l’apartat de la publicació dels plans docents al

GRAD, utilització del campus virtual i el treball i assoliment competencial de l’ensenyament

Desenvolupament de l’ensenyament: Treball Final de Màster , Professorat, Pràctiques externes (PEQ 070), Mobilitat internacional (PEQ 080).

Gestió dels recursos materials i serveis (PEQ110 i 120) Resultats (PEQ 130) ─ l’apartat queixes, reclamacions i suggeriments (PEQ 100) i

l’apartat de rendiment acadèmic i satisfacció dels estudiants.

8

3.1. Dades sobre l’accés i matricula L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada. Les dades s‘han obtingut de http://www.ub.edu/dades_academiques/estudis/masters/indexM.php i de les sol·licituds d’ingrés al màster rebudes pel coordinador. En el curs 2012-13 el nombre d'estudiants preinscrits per iniciar el màster va ser de 14, però de fet van demanar l’ingrés sense arribar a fer la preinscripció oficial online 6 estudiants més. El total de matriculats va ser de 10 estudiants. Els estudiants preinscrits que no van arribar a matricular-se ha estat degut al fet que, en la majoria dels casos, no han obtingut les beques que havien demanat als seus països d’origen. Dels deu estudiants inicials, el curs 2013-14 van matricular-se 6 estudiants, 5 dels quals van acabar el màster. S’ha de destacar que el 60% dels estudiants que van iniciar el màster són estrangers i que el 90% són menors de 30 anys i el 70% menors de 25 anys. Dels que van finalitzar el curs 2013-14, 4 són estrangers i un espanyol. L’estudiant que es va matricular el curs 2013-14 i que no va acabar el màster és estranger i s’ha matriculat el curs 2014-15. De les dades de preinscripció i dels sol·licitants d’ingrés que finalment no van arribar a fer la preinscripció i no van arribar a matricular-se se’n desprèn que si hi hagués beques de màster per poder cursar els estudis que permetessin viure a Barcelona, la matricula al màster seria gairebé el doble de la que ha estat. El perfil dels estudiants és l’esperat: 6 tenen una titulació d’accés en matemàtiques, 1 en Filosofia, 1 en Física i 2 s’han acceptat amb altres titulacions. La mitjana de crèdits matriculats, 49,5 crèdits és correcte, donat que el màster el cursen en dos anys i és de 90 crèdits. Enguany ens ha arribat informació que estudiants interessats en el nostre màster es van acabar matriculat a màsters en altres països perquè eren més barats. Orientació a l’estudiant S’ha utilitzat la pàgina web del màster de Lògica Pura i Aplicada com a instrument per a l’ orientació dels estudiants prèvia a la matriculació així com el contacte permanent per correu electrònic amb la coordinació del màster tant pels estudiants matriculats com pels futurs estudiants. El màster s’ha publicitat a través dels canals establerts per la UB i la Facultat de Filosofia, com es la participació en el Saló de l’Ensenyament. Però també s’han fet accions específiques com són:

1. l’enviament d’un anunci als diferents llistats de distribució electrònica d’informacions relatives a la lògica.

2. l’enviament d’un anunci a les associacions internacionals rellevants com la American Mathematical Society i la Association for Symbolic Logic que han publicat la informació a les seves newsletter i bulletins electónics, etc. També s’ha enviat l’anunci a la Sociedad de Lògica y Metodologia de la Ciencia en España, que l’ha distribuït als seus socis.

9

3. S’ha editat un tríptic que s’ha distribuït als participants en diferents congressos als quals han assistit els professors del màster.

El curs 2014-15 s’ha implantat un sistema de mentors per tal d’orientar i fer un seguiment dels estudiants, tant pel que fa a les qüestions acadèmiques com pel que fa a la integració a la UB i a Barcelona. A l’inici del màster s’assigna a cada estudiant un mentor. Aquest s’encarrega d’informar a l’estudiant de tot el referent al màster i d’aclarir-li els dubtes. També s’encarrega d’orientar-lo en els problemes que pugui tenir en el seu aclimatament a Barcelona, etc. El mentor es reuneix amb l’estudiant un parell de cops al mes, els dos primers mesos, i després un cop cada mes o cada dos mesos segons en vegi la necessitat.

3.2. Planificació i gestió docent L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada. Les dades d’acord amb les quals s’ha realitzat l’informe són les que ofereix el web de l’Àrea de Planificació Academicodocent i les que s’han obtingut del GRAD. Segons les dades proporcionades des de l’Àrea de Planificació Academicodocent el percentatge d’assignatures amb pla docent s’ha situat el curs 2012-13 en el 69'23% amb un nombre d’assignatures amb pla docent de 9 sobre un total de 13 assignatures ofertes, i amb 9 d’aquests plans docents publicables, ço és, la seva totalitat, el 69'23%. Les assignatures sense pla docent són les 4 que es van impartir per la UPC. Hi ha dificultats perquè els professors de la UPC introdueixin els plans docents al Gr@d de la UB, problemes que esperem es solucionin el curs vinent. També segons les dades proporcionades des de l’Àrea de Planificació Academicodocent el percentatge d’assignatures amb pla docent del curs 2013-14 és del 62,50%. La raó de què no sigui el 100% és que els professors de les assignatures de la UPC segueixen sense introduir el pla docent. A més hi ha el pla docent del treball de fi de màster (accessible a http://grad.ub.edu/grad/plae/detallAssignatura.do?accioPDF=PDFPublicacio&param=2013%2333293%23ENG), que no sabem si ha estat tingut en compte en calcular 62,50%.

10

MATÈRIES /ASSIGNATURES VINCULADES COMPETÈNCIES

CB6

CB7

CB8

CB9

CB10

CG1

CG2

CG3

CG4

CG5

CG6

CE1

CE2

CE3

CE4

CE 5

CE6

cE7

CE9

CE10

CE11

CE13

CE14

CE15

CE16

Matèria A: Teoria bàsica de conjunts

Teoria bàsica de conjunts x x x x x x x x x x x x x x x

Matèria B: Lògiques no clàssiques

Lògiques no clàssiques x x x x x x x x x x x x x x x

Matèria C: Comptabilitat

Computabilitat x x x x x x x x x x x x x x

Matèria D: Lògica matemàtica

Lògica matemàtica x x x x x x x x x x x x x x x

Matèria E: Teoria bàsica de models

Teoria bàsica de models x x x x x x x x x x x x x x x x x x x

Matèria F: Ordres, reticles i àlgebres de Boole

Ordres, reticles i àlgebres de Boole x x x x x x x x x x X

Matèria G: Àlgebra universal

Àlgebra universal x x x x x x x x x x x x x x x x x x x x

Matèria H: Introducció a la lògica matemàtica

Introducció a la lògica matemàtica x x x x x x x x x x x x x x x x

Matèria I: Teoria combinatòria de conjunts

Teoria combinatòria de conjunts x x x x x x x x x x x x x

11

Relació de competències adquirides i avaluades en les diferents matèries i assignatures del màster màster

COMPETÈNCIES

CB6

CB7

CB8

CB9

CB10

CG1

CG2

CG3

CG4

CG5

CG6

CE1

CE2

CE3

CE4

CE 5

CE6

CE7

CE9

CE10

CE11

CE13

CE14

CE15

CE16

Matèria J: El desenvolupament de la lògica formal

El desenvolupament de la lògica formal

x x x x x x x x x x x

Matèria K: Lògica algebraica

Lògica algebraica x x x x x

Matèria L: Lògica algebraica abstracta

Lògica algebraica abstracta x x x x x x x x x x x x x x

Matèria M: Lògica modal

Lògica modal x x x x x x x x x x x x x x x x x

Matèria N: Teoria avançada de models

Teoria avançada de models x x x x x x x x x x x x x

Matèria O: Complexitat computacional

Complexitat computacional x x x x x x x x x x x x x x x

Matèria P: Teoria de la demostració i demostració automàtica

Teoria de la demostració i demostració automàtica

x x x x x x x x x x x x x x

Matèria Q: Models de la teoria de conjunts

Models de la teoria de conjunts x x x x x x x x x x x x x

12

Matèria R: Lògiques multi-valorades

Lògiques multi-valorades x x x x x x x x x x x x x x x x

Matèria I: Algorismes per VSLI

Algorismes per VSLI

Matèria S: Resolució de problemes combinatoris

Resolució de problemes combinatoris

Treball de fi de màster x x x x x x x x x x x x x x x x x x x Nota. Les assignatures Algoristmes per VSIL i Resolució de problemes combinatoris no han tingut matriculats.

13

Competències bàsiques

CB6 - Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.

CB7 - Que los estudiantes sepan aplicar los conocimientos adquiridos y su capacidad de resolución de problemas en entornos nuevos o poco conocidos dentro de contextos más amplios (o multidisciplinares) relacionados con su área de estudio.

CB8 - Que los estudiantes sean capaces de integrar conocimientos y enfrentarse a la complejidad de formular juicios a partir de una información que, siendo incompleta o limitada, incluya reflexiones sobre las responsabilidades sociales y éticas vinculadas a la aplicación de sus conocimientos y juicios.

BB9 - Que los estudiantes sepan comunicar sus conclusiones y los conocimientos y razones últimas que las sustentan a públicos especializados y no especializados de un modo claro y sin ambigüedades.

CB10 - Que los estudiantes posean las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o Autónomo.

Competències generals/transversals

CG1 - Presentar de manera clara, concisa i amb coherència les solucions als exercicis i problemes a solucionar durant el màster d’acord amb els estàndards comuns en la investigació actual.

CG2 - Argumentar de forma correcta d’acord amb els criteris estàndard en la investigació actual. CG3 - Justificar les afirmacions amb evidències, d’acord amb els criteris estàndard en la investigació actual. CG4 - Elaborar un projecte de treball de màster i similars. CG5 - Planificar adequadament i eficient el treball que ha de portar a la presentació de les solucions als problemes proposats a les diferents

assignatures del màster. CG6 - Planificar adequadament, en relació al temps i l’espai disponibles, l’exposició pública d’un tema o treball relacionat amb la investigació;

així com utilitzar eficientment les tecnologies informàtiques i audiovisuals actuals para exposar un tema recerca en l’àmbit de les matemàtiques, como pot ser l’ús del paquet Beamer de LaTeX.

14

Competències específiques

CE1 - Realitzar el tipus de demostracions habituals en Lògica, exposant-les de manera comprensible i elegant. CE2 - Ser capaç d’exposar mostrant el domini dels conceptes fonamentals de la Lògica matemàtica. CE3 - Ser capaç de resoldre el tipus de problemes de què tracten les matèries del màster. CE4 - Ser capaç d’aplicar els conceptes de la lògica contemporània a l’estudi de la historia de la lògica. CE5 - Ser capaç d’entendre els conceptes tècnics necessaris per estudiar els arguments que s’empren en filoso fia de la matemàtica i de la

lògica. CE6 - Ser capaç de dissenyar algorismes del tipus dels tractats al màster. CE7 - Ser capaç de comprendre els articles de la literatura científica rellevant. CE8 - Ser capaç de realitzar preguntes pertinents per orientar la investigació en lògica. CE9 - Ser capaç de començar a desenvolupar recerca original en algunes de les matèries similars a les tractades al màster. CE10 - Dominar les eines matemàtiques que s’aplica a varies de les branques especialitzades de la Lògica matemàtica. CE11 - Mostrar coneixement d’un nombre ampli de lògiques no clàssiques. CE13 - Ser capaç d’interconnectar eines semàntiques, sintàctiques i algebraiques per a estudiar tot tipus de lògiques. CE15 - Ser capaç d’interconnectar els temes de lògica que s’estudien entre ells i amb les seves implicacions filosòfiques CE16 - Ser capaç d’exposar de manera comprensible algunes de les tendències actuals de la investigació en lògica matemàtica.

15

3.4 Pràctiques externes

No es contemplen pràctiques externes en el màster Lògica Pura i Aplicada.

3.5 Mobilitat internacional

No es contempla mobilitat internacional en el màster Lògica pura i Aplicada. El que hem tingut durant el curs 2012-13 és una estudiant Erasmus de Bèlgica que ha cursat diverses assignatures del màster.

3.6 Treball final de màster L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada. El màster Lògica Pura i Aplicada és de 90 crèdits i per tant s’ha de cursar en més de un curs acadèmic. Els estudiants han de defensar el Treball de fi de màster el juliol o el setembre de 2014. S’han presentat 5 treballs. Els resultats i el desenvolupament de la seva elaboració i avaluació analitzen a la Fitxa Treball Fi de Màster: Esperanza Buitrago Tutor: E. Casanovas Títol: Borel Cardinality of Lascar Strong Types Línia de recerca: Teoria de models Període d’avaluació: Juliol de 2014 Tribunal: Rafael Farré Joan Bagaria Juan Carlos Martinez Defensa pública: 3 de juliol de 2014 a les 12 del matí. Seminari del department de Lògica, Historia I Filosofia de la Ciència. Qualificació obtinguda: 9. Filippo Calderoni Tutor: J. Bagaria Títol: A Hierarchy of Almost-Free Groups Línia recerca: Teoria de conjunts Període d’avaluació: Juliol de 2014 Tribunal: Ignasi Jané Juan Carlos Martinez J. Bagaria

16

Defensa pública: 10 de juliol de 2014 a les 10 del matí. Seminari del departament de Lògica, Historia I Filosofia de la Ciència. Qualificació obtinguda: 9.5 Vicente Costa Bueno. Tutor: R. Jansana Títol: An Algebraic Analysis of Bilattices Línia recerca: Lògica algebraica Període d’avaluació: Setembre de 2014 Tribunal: Josep Maria Font Ramon Jansana Joan Gispert Defensa pública: 15 de setembre de 2014 a les 12 del mati. Seminari del departament de Lògica, Historia i Filosofia de la Ciència. Qualificació obtinguda: 7.5 Diego Fernández Sumano Tutor: J.M. Font Títol: Residuated Lattices and Degree Preserving Logics Línia de recerca: Lògica algebraica Període d’avaluació: Setembre de 2014 Tribunal: Josep Maria Font Ramon Jansana Joan Gispert Defensa pública: 15 de setembre de 2014 a les 10:30 del mati. Seminari del departament de Lògica, Historia i Filosofia de la Ciència. Qualificació obtinguda: 6.5 Cory Knapp Tutor: R. Jansana Periode de presentació: Setembre de 2014 Titol: Universal Algebra in Univalent Foundations. Linia de recerca: Algebra universal i teoría de categories. Tribunal: Joost Joosten Ramon Jansana Joan Bagaria Defensa pública: 10 de setembre de 2014 a les 12 del mati. Seminari del departament de Lògica, Historia i Filosofia de la Ciència. Qualificació obtinguda: 9.

17

3.7 Professorat L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada. El professorat ha estat suficient, i completament adequat. S’ha de senyalar que en el futur el Dr. Félix Bou no podrà impartir l’assignatura optativa “Lògica modal” que impartia conjuntament amb el professor Joost Joosten donat que ja no és professor de la UB. El professor Joost Joosten ja s’ha fet càrrec ell tot sol, el curs 2013-14, d’aquesta assignatura. La resta de professorat, al ser tot permanent o bé a la UB o bé a la UPC, es mantindrà en el futur. Tot el professorat actual del màster és permanent excepte una persona, que és investigador Ramón y Cajal. El 35’7% del professorat te més de 32 anys d’experiència docent en assignatures de Lògica tant en grau com en postgrau. El 14’3% en te entre 17 i 32, el 7% entre 12 i 17 i el 21’4% entre 7 i 12. Tots els professors tenen el màxim de quinquennis de docència que per antiguitat poden tenir. El 91% del professorat funcionari té almenys un sexenni d’investigació reconegut. D’ells, el 64% en té 3 o més. El professorat no funcionari té almenys 5 anys d'experiència investigadora, i un d’ells en té més de 22.

3.8 Gestió dels recursos materials i serveis

L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada. Els recursos materials i serveis disponibles han estat suficients i adequats pel ple i correcte desenvolupament de les activitats del màster durant el curs 2013-14. Es considera que no cal prendre cap mesura de modificació al respecte.

3.9 Resultats

3.9.1 Queixes, reclamacions i suggeriments No hi ha hagut queixes ni reclamacions

3.9.2 Satisfacció de l’alumnat amb l’acció docent i la planificació d’assignatures

L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada d'acord amb els resultats de les enquestes d’opinió dels estudiants. Les dades s’han obtingut dels informes agregats del màster pel curs 2012-13 i 2013-14 a la pàgina web sobre avaluació i enquestes al web de l'Agència de polítiques de qualitat. Hi ha enquestes de 5 assignatures i del corresponent professorat. Falten enquestes de 4

18

assignatures de la UB i de 2 de la UPC. El màster té 10 matriculats. El 2012-13 han contestat les enquestes a què es fa esment més amunt 9 estudiants. A l’informe agregat per professors tots els ítems tenen una puntuació superior a 7 excepte el referent a si les activitats proposades a través del Campus Virtual han estat útils que obté una puntuació de 5,67. Això és degut, creiem, a què alguns professors no fan servir el Campus Virtual. Com que el nombre d’estudiants és baix, opten per enviar per correu electrònic als estudiants tant els apunts que redacten de les classes, els exercicis que han de fer els estudiants, etc., així com les informacions referents al curs. A l’informe agregat per assignatures les puntuacions obtingudes en la majoria dels ítems són superiors a 8. Destaca el 9 que s’atorga a la relació entre el volum de feina exigit i el nombre de crèdits de l’assignatura. El grau de satisfacció general amb l’assignatura és de 6,56. No figuren dades de les enquestes del curs 2013-14 del màster Lògica pura i Aplicada al web http://www.ub.edu/gtr/enquestes.html Sembla doncs que podem concloure d’acord amb les enquestes del curs 2012-13 que els estudiants del màster estan raonablement satisfets amb el seu desenvolupament, encara que seria bo disposar d’informació sobre les raons que fan que la puntuació del grau de satisfacció general amb l’assignatura sigui més baixa que la mitjana de les puntuacions rebudes als altres ítems.

3.9.3 Rendiment acadèmic L’anàlisi ha estat duta a terme pel Dr. Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada d'acord amb les dades que es troben a: http://www.ub.edu/dades_academiques/actesqua_r/index.php Curs 2012-13. La taxa d’èxit del curs 2012-13 és del 100% en 9 assignatures de les 13 assignatures que van tenir estudiants matriculats, i superior al 88% en 11. Per tant és una taxa molt bona. Ara bé, la taxa de rendiment no és tan bona. En 4 assignatures és del 50% i en una inferior. Això és pel fet que en tenir només 10 matriculats les incidències que fan que un estudiant abandoni o no es pugui presentar ja representen un 10%. Malauradament, el curs 2012-13 un estudiant va haver de retornar a Colòmbia per problemes familiars però el curs 2013-14 ha reprès el màster, un altre (de fet el millor de tots els que van començar) va haver d’abandonar per raons familiars, i un tercer per raons de feina. Un parell d’estudiants van abandonar perquè es van adonar que no assolien el nivell necessari. Aquest dos són els únics casos significatius, que es deuen al fet que segurament en el procés de selecció no es va ser prou exigent en aquests dos casos. Curs 2013-14 El nombre d’estudiants que es van matricular el curs 2013-14 és 6. Ja hem explicat l’abandonament de 4 estudiants. Dels 6 matriculats, 5 han acabat el màster. L’altre, l’estudiant que va haver de retornar a Colòmbia, té pendents algunes assignatures i el treball de fi de màster. S’ha matriculat aquest curs 2014-15 i espera acabar el màster el curs 2015-16. Segons les dades actuals que figuren a dia 13 de gener de 2015 a http://www.ub.edu/dades_academiques/actesqua_r/index.php la taxa d’èxit i la de rendiment en totes les assignatures i en el treball de fi de màster és del 100%. En les dades però, hi ha almenys un error que no afecta a les taxes d’èxit i rendiment.

19

El nombre d’estudiants que van matricular i aprovar el treball de fi de màster és 5. Segurament la discrepància és deu a què un dels estudiants anava endarrerit en els pagaments i informàticament no se’l comptava com a matriculat. De fet fins a finals de setembre o primers d’octubre no se li va poder posar la nota, va ser quan el sistema informàtic ja el va tractar com a estudiant matriculat.

20

4. PROPOSTES DE MILLORA

4.1 Disseny, implementació i seguiment de les accions de millora

La implantació del SAIQU (http://www.ub.edu/filosofia/queoferim/docs/saiqu.pdf) assegura una revisió periòdica de tots els processos i una retroalimentació contínua del sistema.

La comissió de qualitat del centre és l’eina que permet fer un seguiment dels indicadors de cada procés que han de ser analitzats per la comissió i presentats als equips de govern dels centres perquè proposin i portin a terme les accions correctives de millora que considerin necessàries. (http://www.ub.edu/filosofia/queoferim/docs/comissio_qualitat.pdf)

Així mateix, el fet que el SAIQU sigui general per a tots els centres permet revisar-lo i actualitzar-lo sota el guiatge de l’Agència de Polítiques i de Qualitat de la UB. D’aquesta manera es dóna una resposta institucional a les necessitats diverses que es presenten durant el desplegament del SAIQU.

4.2 Propostes de millora que es deriven de la valoració que es fa del desplegament de la titulació, incloent-hi totes les propostes de modificació i pla de seguiment.

S’ha passat l’assignatura optativa “Teoria de la demostració i demostració automàtica” a segon any i l’assignatura optativa “Lògica modal” a primer any en la programació del màster pel 2014-15/2014-16. No s’han fet altres modificacions. A continuació presentem algunes propostes de millora pel curs vinent. 1. Propostes de millora que representen petits canvis de funcionament que no representen per AQU Catalunya una modificació i, per tant, no es recullen en el seu document Es recullen a la taula de més a baix. 2. Modificacions no substancials* : No es contemplen ara mateix modificacions d’aquest tipus. 3. Modificacions substancials autoritzable* : No es contemplen ara mateix modificacions d’aquest tipus.

21

Modificació / Proposta de millora

Responsable de la

implantació de la millora

al centre

Caràcter de la millora(1,2

o 3) Calendari

Estat proposta

de modificació

(4,5,6)

Informació pública

Vetllar per la actualització de la pàgina web del màster

Coordinador del màster 2 Curs 2014-

15 5

Captació, admissió i matrícula d’estudiants (PEQ 030)

Enviament d’un cartell anunciant el màster a 140 departaments universitaris i centres de recerca de tot el món.

Coordinador del màster 2 Curs 2015-

16

5

Enviament de publicitat a més llistes de distribució.

Coordinador del màster 2 Curs 2014-

15 5

Planificació i gestió docent (PEQ 060)

Aconseguir que el curs 2015-16 el professorat de la UPC elabori els plans docents i s’introdueixin al Gr@d de la UB.

Coordinador del màster a la UB i coordinador del màster a la UPC

2 Curs 2015-16

4

Treball Final de Màster

Intentar arribar a una millor coordinació en el grau d’exigència en l’assignació de les notes del treball de fi de màster per part de les comissions d’avaluació. encara

Coordinador del màster a la UB i coordinador del màster a la UPC.

2 Curs 2015-16

4

Professorat

De moment el professorat és suficient i prou competent.

Gestió dels recursos materials i serveis (PEQ 110 / PEQ 120)

Els recursos materials i serveis són suficients

Queixes, reclamacions i suggeriments (PEQ 100)

Fer més difusió entre els alumnes del màster de l’existència de canals de comunicació per a queixes i suggeriments.

Professors del màster 2 Curs 2014-

15

5

22

Resultats (PEQ 130) ─l’apartat de rendiment acadèmic i de satisfacció dels estudiants

Convèncer l’alumnat de la necessitat i importància de realitzar les enquestes.

Professorat del màster 2

Curs 2014-15 i 2015-16

5

4.3 Seguiment de les accions de millora del curs 09/10, 10/11 ,11/12, 12/13

Proposta de millora Estat de la proposta de modificació(4,5,6) Observacions

Informació pública

Vetllar per l’actualització de la pàgina web del màster. 6

Captació, admissió i matrícula d’estudiants (PEQ 030)

Enviament d’un cartell anunciant el màster a 140 departaments universitaris i centres de recerca de tot el món.

6

Enviament de publicitat a més llistes de distribució. 6

Planificació i gestió docent (PEQ 060)

Aconseguir que el curs 2014-15 el professorat de la UPC elabori els plans docents i s’introdueixin al Gr@d de la UB.

4

Queixes, reclamacions i suggeriments (PEQ 100)

Fer més difusió entre els alumnes del màster de l’existència de canals de comunicació per a queixes i suggeriments.

6

Resultats (PEQ 130) ─l’apartat de rendiment acadèmic i de satisfacció dels estudiants

Convèncer l’alumnat de la necessitat i importància de realitzar les enquestes. 5

(4) Pendent implementar (5) En procés d’implementació. (6) Implementada

23

5. EL SISTEMA D’ASSEGURAMENT INTERN DE LA QUALITAT (SAIQU) COM A EINA PER AL SEGUIMENT DE LES TITULACIONS DEL CENTRE Els diversos documents elaborats per a l’informe de seguiment han estat realitzats pel Dr.

Ramon Jansana, coordinador del Màster Lògica Pura i Aplicada, i el suport de la totalitat del

professorat del màster. Tots ells professors amb reconegut recorregut professional i acadèmic

garanteixen la qualitat de les anàlisis i valoracions realitzades. De la mateixa manera hi ha

hagut una coordinació permanent entre el coordinador del màster, el professorat i la Comissió

de Qualitat per tal d’assegurar la correcta evolució del procés de seguiment.

A data de 25 de maig de 2011 es va aprovar en Junta de Facultat el document de política i

objectius de qualitat que estableix el compromís amb la qualitat i les línies d’actuació

corresponents en aquest àmbit per part de la Facultat de Filosofia.

http://www.ub.edu/filosofia/queoferim/docs/politica.pdf En base a això es va elaborar un mapa on s’indicava de forma resumida els principals objectius

que es pretenien assolir i un conjunt de processos de seguiment els quals permetrien complir

tals objectius.

Una de les eines fonamentals en aquest seguiment ha estat el nou web de seguiment elaborat

per l’AQUB ( http://www.ub.edu/agenciaqualitat/node/363 ). A partir d’aquest s’ha pogut

realitzar una anàlisi i un seguiment profund i detallat dels diversos aspectes rellevants que es

pretenen millorar del nostre ensenyament.

Cal també destacar el suport que han proporcionat el conjunt de guies elaborades per l’AQUB

per a la realització de l’informe de seguiment, han alleugerit molt la tasca de realització de

l’informe i han estalviat molt temps que si no hagués estat així s’haguera hagut de dedicar

només a la comprensió i interpretació del funcionament del seguiment.

Amb relació a les experiències amb el SAIQU es considera que han sigut profitoses i que ara

per ara seria profitós seguir amb el mateix tarannà establert atès que sembla ser un camí

fructífer i amb recorregut. D'aquesta manera, considerem adient que els procediments que

s’han vingut efectuant des del SAIQU segueixin en la mateixa línia en el curs present 2013-14 i

els propers cursos.

24

ANNEXOS

25

FITXA D’ANÀLISI DEL TREBALL FI DE MÀSTER

Autor/autors de l’anàlisi: Ramon Jansana Data realització: Curs de referència: 2013-14

Objectius d’anàlisi del TFM

Analitzar el procés i criteris de selecció dels coordinadors, tutors i tribunal avaluadors/comissions d’avaluació dels TFM Analitzar el sistema de matriculació, lliurament i defensa del TFM Analitzar el procés de selecció i assignació de les àrees de coneixement i temàtiques dels TFM, el procés d’elaboració i el sistema d’avaluació emprats Analitzar els sistemes de suport i tutorització a l’alumnat pel que fa a l’objecte, estructura, format...del TFM Analitzar l’adequació dels TFM presentats als resultats d’aprenentatge i competències definides Analitzar el grau de satisfacció dels estudiants i els tutors dels TFM

Documentació relacionada amb el procés d’anàlisi dels

TFG/TFM

Normes generals reguladores dels treballs de fi de màster universitari de la Universitat de Barcelona (Aprovades per la comissió acadèmica del consell de govern de 8 de juny de 2011 i per consell de govern de 19 de juliol de 2011) Normativa TFM centre Si escau, afegir altres documents que disposi el centre o l’ensenyament i que s’hagin utilitzat per realitzat aquest l’anàlisi (Com, per exemple, una guia per a la realització del TFM)

Indicadors i dades per a l’anàlisi

Percentatge d’estudiants que presenten el TFM respecte al total d’estudiants matriculats

Percentatge d’estudiants que aproven el TFM respecte al total d’estudiants matriculats

Percentatge d’estudiants amb alta qualificació (>8) respecte al total d’estudiants matriculats

La informació dels indicadors i dades per poder realitzar l’anàlisi la trobareu a l’adreça web http://www.ub.edu/agenciaqualitat l’apartat “VSMA”

26

Anàlisi dels procés i resultats obtinguts

El treball de fi de màster es planifica i gestiona segons la normativa general de TFM de la UB, la normativa de la Facultat de Filosofia http://www.ub.edu/filosofia/tercercicle/docs/normativa_TFM.pdf , i d’acord amb les especificacions de la memòria del màster. El treball ha de ser una sistematització explicada amb rigor i claredat dels resultats que es troben en diversos articles de la literatura científica rellevant. Ha de servir per què altres puguin conèixer l’estat de la recerca en el tema de manera completament fiable. Si el tema ho permet, es pretén també que l’estudiant aporti algun resultat original, encara que d’importància modesta. El procediment per l’elaboració del treball segueix els següents passos:

1. Elecció del tema i dels articles a estudiar, entre l’estudiant i el seu director de treball. Aquest

l’escull l’estudiant amb el vistiplau de la comissió acadèmica del màster.

2. Estudi i discussió amb el director dels articles que s’estudien. La periodicitat de les discussions

amb el director depenen de cada cas però s’estima que de mitjana siguin de dos o tres cops al

mes durant el curs.

3. Si és el cas, obtenció d’algun resultat original.

4. Redacció d’un primer esborrany en què es sistematitzen els resultats estudiats i els obtinguts.

5. Discussió de l’esborrany amb el director.

6. Elaboració i discussió amb el director de successius esborranys, tants com siguin necessaris,

fina a assolir el treball definitiu a sotmetre a avaluació.

El treball de fi de màster té, com les assignatures del màster, el seu pla docent. Accessible a: http://grad.ub.edu/grad/plae/detallAssignatura.do?accioPDF=PDFPublicacio&param=2013%2333293%23ENG Durant el curs 2013-14 l’elaboració dels treballs de fi de màster s’ha desenvolupat amb normalitat. Dos estudiants van defensar el treball al juliol de 2014 i 3 estudiants ho feren al setembre. Tots els estudiants (100%) que van matricular el treball de fi de màster el curs 2013 el van presentar. L’únic matriculat el 2013-14 que no va matricular el treball de fi de màster és l’estudiant que no va poder presentar-se a avaluació de les assignatures que havia matriculat el curs 2012-13. Els tribunals d’avaluació dels treballs els ha escollit la Comissió Acadèmica del màster tenint en compte El tema del treball i l’especialització del professorat del màster. Les comissions han estat formades pel director del treball i dos professors més. El coordinador del màster ha explicat als membres de les comissions com havien de procedir. Les qualificacions dels treballs de fi de màster han estat: tres superiors a 8 dels 5 presentats. Per tant un 60%. Creiem que és un bon resultat. Els treballs de fi de màster queden arxivats electrònicament, i en paper a la Secretaria del Departament de Lògica, Història i Filosofia de la Ciència. L’avaluació consisteix en la lectura per part dels membres de la comissió dels treballs, l’exposició publica del treball per l’autor del mateix, i discussió amb els membres de la comissió del contingut del treball i manera d’exposar-lo tant escrita com oral. Amb la lectura del treball i la discussió posterior a l’exposició

27

pública, els membres de les comissions han considerat en tots els casos tenir evidencies suficients com per avaluar el grau d’assoliment de les competències definides en el pla docent. Un cop avaluats tots els treballs s’han detectat algunes discrepàncies en el grau d’exigència que han emprat les diferents comissions en atorgar les notes. Es pretén assolir en el futur una major uniformitat. Per això es discutiran entre els professors del màster les diferències que s’han constatat per tal d’assolir entre tots un més alt consens en el grau d’exigència que hem d’aplicar al atorgar les notes (encara que és impossible assolir-ho del tot amb comissions diferents). El grau de satisfacció entre els tutors de treballs del màster es recull en reunions entre ells i amb el coordinador. I el grau de satisfacció dels estudiants amb converses amb ells.

Recull d’evidències a aportar

x Pla docent TFM

x Llistat amb tots els TFM presentats especificant el nom del treball, l’àmbit o línia de treball, la temàtica, el grup o línia de recerca vinculada en el cas dels TFM i la nota obtinguda per l’alumne.

Resultats de la satisfacció dels estudiants i tutors respecte el TFM

Taula amb el recull dels instruments d’avaluació i rúbriques per l’avaluació dels TFM

Punts forts, punts febles i propostes de millora

PUNTS FORTS La qualitat dels treballs ha estat molt bona, excepte la d’un que només ha obtingut la qualificació de 6,5. Els tutors han dedicat molt de temps a la direcció dels treballs amb entrevistes amb els estudiants d'una mitjana de gairebé 2 hores setmanals per estudiant durant el segon semestre.

28

PUNTS FEBLES I PROPOSTES DE MILLORA

Punt feble*. Proposta de

millora Responsable

Terminis. Calendari

d’implantació

Caràcter de l’acció de

millora (1,2,3)

Estat de l’acció de millora

(4,5,6)

Algunes discrepàncies en el grau d’exigència de les comissions d’avaluació

Discutir amb la evidencia dels treballs presentats entre tots els professors del màster per poder assolir un major consens en el grau d’exigència a aplicar en el futur

Ramon Jansana

Ha d’estar fet a mitjans del curs 2015-16, quan es presentaran els treballs de fi de màster de l’edició 2014-16.

1 4

*Els punts febles que ha de recollir aquesta taula son les febleses internes de l’ensenyament pel que fa al TFG. Si en l’anàlisi realitzat prèviament apareixen amenaces externes que no es poden modificar o solucionar amb una acció pròpia i directa per part de l’ensenyament o del centre no cal introduir-les en aquest apartat.

1. Propostes de millora que representen petits canvis de funcionament que no representen per AQU

Catalunya una modificació i, per tant, no es recullen en el seu document*

2. Modificacions no substancials*: són aquells canvis menors que milloren el títol i que la universitat pot

implantar com a resultat del procés de seguiment. Aquests canvis es recullen en els informes de

seguiment i s’incorporen, si escau, a la memòria del títol quan s’hagi de sotmetre a un procés de

modificació.

3. Modificacions substancials autoritzable*: són aquells canvis que afecten a l’estructura del títol però no

suposen un canvi en la seva naturalesa i objectius. Aquests canvis se sol·liciten a través del procés de modificació

*En el document d’AQU Catalunya “Processos per a la comunicació i/o avaluació de les modificacions

introduïdes en els títols universitaris de grau i màster”. s’especifiquen les modificacions a què es pot

sotmetre un títol universitari i la classificació d’aquestes modificacions segons la seva tipologia (no

substancial i substancials autoritzables o no autoritzables)

4. Pendent Implementar

5. En procés d’implementació

6. Implementada