Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2016 – 2018 Imatge de diagramaci
Català  Castellano English Imatge de diagramaci Màster interuniversitari  UB UPC Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Presentació
Requeriments i estructura acadèmica
Professorat
Assignatures
Calendari i horaris
Doctorat
Enllaços d'interès
Edició 2006–2008
Edició 2008–2010
Edició 2010–2012
Edició 2012–2014
Edició 2014–2016
Procediment d'admissió 2016-18
 
 
Icona d'informaci Per a més
informació
escriviu a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

CALENDARI I HORARIS DE CLASSES

 

Assignatura Horari Data d'inici
de les classes
Campus Aula
Imatge de diagramaci
SEMESTRE 1 (Tardor-Hivern 2016-2017)
Període de classes: de setembre de 2016 a gener de 2017
Àlgebra universal M, J: 16-17:30 20 de setembre Plaça S2
Calculabilitat L, X: 11-12:30 12 de setembre Nord A6101
Introducció a la lògica matemàtica L, X: 12:30-14 12 de setembre Nord A6101
Lògiques no clàsssiques L, X: 8:30-10 19 de setembre Plaça B2
Ordres, reticles y àlgebres de Boole M, J: 10-11:30 20 de setembre Raval 411
Teoria bàsica de conjunts M, J: 12-13:30 15 de setembre Plaça B7
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Hivern-Primavera 2017)
Període de classes: de febrer de 2017 a juny de 2017
El desenvolupament de la lògica formal L: 9:30-10:30
X: 9:30-11:30
13 de febrer Raval 411
Lògica algebraica M, J: 16-18 14 de febrer Raval 409
Lògica matemàtica M, J: 12:30-14 14 de febrer Plaça S2
Lògica modal M, X: 18:30-20 14 de febrer Raval 409
Teoria bàsica de models L, X: 12:30-14 13 de febrer Nord A6104
Teoria de conjunts combinatoria M, J: 10:30-12 14 de febrer Plaça S2
Complexitat L, V: 12-14 13 de febrer Nord A6101
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Tardor-Hivern 2017/2018)
Període de classes: de setembre/octubre de 2017 a gener/febrer de 2018
Lògica algebraica abstracta M, J: 12:30-14  19 de setembre  Raval 412
Lògiques multivalorades L, X: 10-11:30 14 de setembre Plaça S1
Models de la teoria de conjunts L, X: 12-13:30 13 de setembre Plaça  S1
Teoria avançada de models

M: 9-11
J: 9-10

12 de setembre Plaça S2
Teoria de la demostració i demostració automàtica M, J: 11-12:30
19 de setembre Raval 402
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Hivern-Primavera 2018)
Període de classes: de febrer de 2018 a juny de 2018

Complexitat

M, J: 8-10   Nord A5203
     
   
Imatge de diagramaci
Imatge de diagramaci

   LDilluns
   MDimarts
   XDimecres
   JDijous
   VDivendres
 
Nord Campus Nord de la Universitat Politècnica de Catalunya
Edifici Omega: Campus Nord de la Universitat Politècnica de Catalunya (mapa; foto)
Plaça:  Universitat de Barcelona, Facultat de Matemàtiques, Plaça de la Universitat
Raval:  Universitat de Barcelona, Facultats de Filosofia, Geografia i Història, c. de Montalegre, 6
Sud Campus Sud de la Universitat Politècnica de Catalunya, Facultat de Matemàtiques i Estadística, c. Pau Gargallo, 5 (Edifici U)
UAB Campus de la Universitat Autònoma de Barcelona, Bellaterra (Edifici a determinar)

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Última actualització: 24/07/17