Màster en Lògica Pura i Aplicada

Objectius i competències

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.
  

   

  
  

Accés i admissió

Perfil i requisits d’accés

Perfil d'accés

Els estudiants que sol·licitin el màster han de tenir: 

• Interès pel camp de la lògica.


• Ment analítica abstracta, i dots i gust pel raonament rigorós i abstracte. Una mostra d'això pot ser haver cursat satisfactòriament assignatures de matemàtica o de lògica formal en el grau o postgrau.


• Bon nivell d'anglès oral i escrit.

Requisits i condicions d'accés

Requisits generals
D'acord amb el que estableix l'article 16 del Reial decret 1393/2007, de 29 d'octubre, per accedir als màsters universitaris oficials, s'ha de tenir un dels títols següents:

• Títol universitari oficial espanyol.


• Títol expedit per una institució d'educació superior de l'EEES que faculti, en el país d'expedició, per accedir als ensenyaments de màster oficial.


• Títol aliè a l'EEES. En aquest cas, és necessària o bé l'homologació a un títol universitari oficial espanyol o bé la comprovació prèvia (sense homologació) de la Universitat de Barcelona que aquests estudis corresponen a una formació equivalent als títols universitaris oficials espanyols i que faculten, en el país que expedeix el títol, per accedir a estudis de màster oficial. L'acceptació a un màster oficial no implica en cap cas l'homologació del títol previ ni el reconeixement a altres efectes que el de cursar un ensenyament de màster.

Requisits específics
Les titulacions oficials d'accés al màster són Matemàtiques, Informàtica, Filosofia i Física, a més d'altres titulacions afins.

En principi, els titulats de qualsevol de les titulacions oficials d'accés al màster poden participar en el procés de selecció. També s'accepten en aquest procés els candidats que, tot i no tenir cap de les titulacions oficials d'accés, demostrin que s'adeqüen al perfil recomanat i que, a judici de la Comissió de Coordinació del Màster, tinguin coneixements suficients de lògica.

Els estudiants que provinguin del grau de Filosofia poden haver de cursar, a criteri de la Comissió de Coordinació del màster, les assignatures Llenguatge i Raonament Matemàtic, Aritmètica i Àlgebra Lineal, del grau de Matemàtiques de la Universitat de Barcelona, com a complement formatiu.

El nivell d'anglès necessari per cursar el màster correspon al B1 de coneixement de terceres llengües del Marc europeu comú de referència per a les llengües. Han d'entendre les classes magistrals i fer exercicis escrits i treballs en anglès.

Preinscripció

Calendari

Del 2 de febrer al 16 de juliol de 2024.

Avisos:

• Taxa de preinscripció: En el moment de formalitzar la preinscripció a un màster cal abonar una taxa de 30,21 euros. Aquesta quantitat s'ha d'abonar en cada preinscripció que es dugui a terme. Només es tenen en compte les sol·licituds de preinscripció en què s'acrediti el pagament d'aquesta taxa. Només se'n tramita la devolució si el màster no s'arriba a impartir.
• Reserva de places: Un 5% de les places noves del màster es reserven als estudiants que compleixin els requisits generals i específics d'accés i acreditin el reconeixement d'un grau de discapacitat igual o superior al 33%.

Documentació

• Sol·licitud de preinscripció
  
• Còpia del títol o equivalent. En cas d'admissió, per fer la matrícula cal que els títols estrangers que ho requereixin estiguin traduïts i legalitzats per via diplomàtica.
  
  
  
  • Documentació específica o vinculada als criteris de selecció.
  
  

  Criteris de selecció

  La selecció de candidats és a càrrec de la Comissió de Coordinació del màster, que prioritza les sol·licituds d'acord amb els criteris següents:

  
  
  
  
  
  1. Nota mitjana dels estudis de grau o postgrau.
  
  
  2. Formació prèvia en lògica, que com a mínim ha d'incloure un bon coneixement de la lògica de primer ordre.
  
  
  3. Cartes de referència.
  
  
  4. Motivació del candidat per fer el màster.
  
  
  
  
  

  
  
  La Comissió de Coordinació del màster atorga puntuacions a cadascun dels apartats de la manera següent: un màxim de setanta punts entre els apartats 1 i 2, un màxim de vint punts a l'apartat 3, i un màxim de deu punts a l'apartat 10. El coneixement d'anglès és un requisit indispensable.

  Procediment de resolució

  El resultat de la selecció es comunica als candidat per correu electrònic i els estudiants admesos reben, a més, una carta formal d'admissió.

Matrícula

La UB fa servir, de manera general, la modalitat d'automatrícula per internet. Recorda que pots perdre la plaça si no et matricules el dia assignat.

• Abans de la matrícula
• Documentació per a la matrícula
• Formalització de la matrícula
• Després de la matrícula
• Beques i ajuts
• Informació econòmica

Acollida

• Servei d'Atenció a l'Estudiant
• Beques i ajuts
• Allotjament

Pla d’estudis

Assignatures i plans docents

Distribució de crèdits

Relació d'assignatures

Assignatura	Tipus	Llengua	Crèdits
Especialitat: Lògica Pura i Aplicada
Àlgebra Universal	Optativa	1r semestre	5
Algoritmes per a VSLI	Optativa	1r semestre	6
Complexitat Computacional	Optativa	2n semestre	6
Computabilitat	Obligatòria	1r semestre	6
Introducció a la Lògica Matemàtica	Optativa	1r semestre	5
Lògica Algebraica	Optativa	2n semestre	5
Lògica Matemàtica	Obligatòria	2n semestre	6
Lògica Modal	Optativa	2n semestre	5
Lògiques No Clàssiques	Obligatòria	1r semestre	6
Ordres, Reticles i Àlgebres de Boole	Optativa	1r semestre	5
Resolució de Problemes Combinatoris	Optativa	2n semestre	6
Teoria Bàsica de Conjunts	Obligatòria	1r semestre	6
Teoria Bàsica de Models	Obligatòria	2n semestre	6
Teoria Combinatòria de Conjunts	Optativa	2n semestre	5
Treball Final de Màster	Obligatòria	2n semestre	20

Cursos anteriors

• Plans docents 2023 - 2024
• Plans docents 2022 - 2023
• Plans docents 2021 - 2022

Professorat

Consulta el professorat de primavera i de tardor que imparteix docència en el curs vigent

Pràctiques

 

Les pràctiques contribueixen a la formació integral dels estudiants universitaris i faciliten el coneixement d'una metodologia de treball adequada a la realitat professional. D'aquesta manera, ofereixen una experiència pràctica que permet la inserció dels futurs titulats en el mercat laboral. El Pla d'estudis de l'ensenyament no inclou una assignatura obligatòria de pràctiques curriculars.

Les pràctiques són tutoritzades i s'avaluen. Per tant consten a l'expedient acadèmic de l'estudiant. A més a més, es poden fer pràctiques extracurriculars d'un màxim de 750 hores, que es poden prorrogar fins a 900 hores. Tant pel que fa a les pràctiques curriculars com a les extracurriculars, cal la formalització prèvia d'un conveni de cooperació educativa amb l'entitat col·laboradora on es s'han de fer les pràctiques. La coordinadora del programa de pràctiques és na Misericòrdia Anglès (angles@ub.edu). 

 

Informació institucional

• Normativa de pràctiques externes
• FeinaUB

 

Tràmits

• Pràctiques extracurriculars 

Sortides professionals

De què podràs treballar ?

El màster s'orienta a la recerca. Les sortides professionals són, per una banda, la carrera acadèmica universitària o investigadora en instituts de recerca i, per l'altra, les sortides típiques i variades que poden tenir els graduats i postgraduats en matemàtiques, informàtica o altres disciplines que proporcionen una formació rigorosa en l'anàlisi i la solució de problemes 'per exemple, en empreses de ciència i tecnologia o de finances.

Inserció laboral

Dades del sistema universitari català.

Contacte

Facultat de Filosofia
Montalegre, 6 - 08001 Barcelona

Secretaria: 934 037 722 - 934 037 719
secretariafilosofia@ub.edu

Coordinació: 93 403 75 16
masterlogic@ub.edu