Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2014 – 2016 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
Procediment d'admissiˇ 2014-16
 
 
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 2014-2015)
Període de classes: de setembre de 2014 a gener de 2015
Àlgebra universal L, X: 16-17:30 22 de setembre Plaça S1
Calculabilitat M, J: 15,30-17 16 de setembre campus Nord A6103
Introducció a la lògica matemàtica L: 12-13:30
V: 16-17:30
15 de setembre campus Nord A6-205
Lògiques no clàsssiques L, X: 8:30-10 22 de setembre Plaça IMUB
Ordres, reticles y àlgebres de Boole M, J: 11-12:30 23 de setembre Raval 410
Teoria bàsica de conjunts M, J: 12:30-14 16 de setembre Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Hivern-Primavera 2015)
Període de classes: de febrer de 2015 a juny de 2015
El desenvolupament de la lògica formal M: 10:30-12,30
J: 10:30-11:30
10 de febrer Raval 410
Lògica algebraica L, X: 12-13:30 16 de febrer Plaça B7
Lògica matemàtica M, J: 9-10:30 10 de febrer Raval 410
Lògica modal X: 18-19:30
V: 12-13:30
18 de febrer Raval 410
Teoria bàsica de models L, V: 16-17,30 9 de febrer campus Nord A5 203
Teoria de conjunts combinatoria L, X: 10-11:30 9 de febrer Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Tardor-Hivern 2015/2016)
Període de classes: de setembre/octubre de 2015 a gener/febrer de 2016
Lògica algebraica abstracta M: 12-13:30
J: 10:30-12
22 setembre Raval 411
Lògiques multivalorades L, X: 17-18:30 21 setembre Plaça S2
Teoria avançada de models L, X:  9-10:30 16 septiembre Plaça S2
Teoria de la demostració i demostració automàtica X: 15-16:30
J: 12:30-14
16 septiembre Raval 411
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Hivern-Primavera 2016)
Període de classes: de febrer de 2016 a juny de 2016
Models de la teoria de conjunts L, X: 10-11:30 febrer Raval 412
Complexitat M, J: 8-10 6 de febrer campus Nord A5103
     
   
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ó: 11/02/15