Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2008 – 2010 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
Admissió i matrícula
Calendari i horaris
Altres activitats
Doctorat
Novetats
Enllaços d'interès
Edició 2006–2008
Edició 2010–2012
 
 
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

Quan comencen les classes ?
 

Assignatura Horari Campus Aula
Imatge de diagramaci
SEMESTRE 1 (Tardor-Hivern 2008-2009)
Període de classes: de setembre de 2008 a gener de 2009
Àlgebra abstracta X, V: 10:10-11 // M: 12:10-13 Plaça B6
Àlgebra bàsica Sud
Àlgebra universal L, M: 9–10:30 Plaça B2
Introducció a la lògica matemàtica L, J: 12–14 Sud 103
Lògiques no clàssiques L, J: 16–17:30 Plaça L:S3, J:S1
Ordre, reticles i àlgebres de Boole M, X: 16–17:30 Raval 411
Teoria bàsica de conjunts M: 12–14, J: 9-10 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Hivern-Primavera 2009)
Període de classes: de febrer de 2009 a juny de 2009
Àlgebra abstracta Plaça
Calculabilitat L, V: 12–14 Sud A005
Lògica algebraica M, J: 15:30–17 Plaça S1
Lògica matemàtica M, J: 11–12:30 Raval 410
Teoria bàsica de models L: 15–17, V: 10-12 Sud 103
Teoria combinatòria de conjunts M, J: 12:30–14 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Tardor-Hivern 2009/2010)
Període de classes: de setembre/octubre de 2009 a gener/febrer de 2010
Complexitat Nord
Filosofia de la matemàtica J: 12–14 Raval 410
Lògica modal M, J: 16–17:30 Raval 410
Lògiques multivalorades L, X: 16:30–18 Plaça S3
Lògiques subestructurals i lingüística computacional Nord
Models de la teoria de conjunts L, X: 10–11:30 Raval 410
Teoria avançada de models M: 11–13, J: 11–12 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Hivern-Primavera 2010)
Període de classes: de febrer de 2010 a juny de 2010
Demostració automàtica Plaça
El desenvolupament de la lògica formal Raval
Lògica algebraica abstracta L, X: 10:30–12 Plaça
Lògica categorial
Lògiques i intel·ligència artificial UAB
Teoria de la demostració
Imatge de diagramaci
Imatge de diagramaci

   LDilluns
   MDimarts
   XDimecres
   JDijous
   VDivendres
 
Nord Campus Nord de la Universitat Politècnica de Catalunya
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ó:  7/09/09