Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2006 – 2008 Imatge de diagramaci
Català  Castellano English Imatge de diagramaci Màster interuniversitari  UB UPC Imatge de diagramaci
Imatge de diagramació
imatge de diagramació Imatge de diagramació
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Presentació
Estructura acadèmica
Professorat
Assignatures
Admissió i matrícula
Calendari i horaris
Altres activitats
Doctorat
Novetats
Enllaços d'interès
 
 
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 2006-2007)
Període de classes: de setembre de 2006 a gener de 2007
Àlgebra abstracta L,X: 17–18 , M,J: 15–17 Plaça B6
Àlgebra bàsica L,X,V: 10–11 Sud 001
Àlgebra universal M,J: 9–10:30 Plaça S2
Història de les matemàtiques M:11–13 , X:10–11, V:10–12 Plaça B2,B4
Introducció a la lògica matemàtica X: 8–10 , J:10–12 Sud 003
Lògiques no clàssiques L,X: 10:30–12 Plaça S2
Ordre, reticles i àlgebres de Boole M,J: 15:30–17 Raval A-402
Teoria bàsica de conjunts M,J: 12:30–14 Raval A-402
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Hivern-Primavera 2007)
Període de classes: de febrer de 2007 a juny de 2007
Àlgebra abstracta M: 11–13 , X,V: 10–12 Plaça T1
Calculabilitat L: 10–12 , X: 8–10 Sud 004
Lògica algebraica L,X: 15:30–17 Plaça S2
Lògica matemàtica L: 12:30–14 , V: 9:30–11 Raval A-408
Teoria bàsica de models M,J: 15–17 Sud S01
Teoria combinatòria de conjunts M,J: 10–11:30 Plaça B2
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Tardor-Hivern 2007/2008)
Període de classes: de setembre/octubre de 2007 a gener/febrer de 2008
Complexitat M,V: 11–14 Nord A6002
Filosofia de la matemàtica M: 16–18 Raval 412
Lògica algebraica abstracta L,J: 16–17:30 Plaça L:S3 , J:S2
Lògica modal M: 18–19:30 , X: 16–17:30 Raval 412
Lògiques subestructurals i lingüística computacional X: 12–14 , J: 15–17 Nord A1204
Models de la teoria de conjunts M,V: 12–14 Raval 412
Teoria avançada de models M,J: 12–13:30 Raval 411
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Hivern-Primavera 2008)
Període de classes: de febrer de 2008 a juny de 2008
Demostració automàtica M,J: 11:30–13 Plaça
El desenvolupament de la lògica formal X,J: 10–11 Raval
Lògica categorial
Lògiques i intel·ligència artificial UAB
Lògiques multivalorades L,J: 16–17:30 Plaça S1
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ó:  22/11/07