Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2006 – 2008 Imatge de diagramaci
Català  Castellano  English Imatge de diagramaci Máster interuniversitario  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
Índice
Presentación
Estructura académica
Profesorado
Asignaturas
Admisión y matrícula
Calendario y horarios
Otras actividades
Doctorado
Novedades
Enlaces de interés
 
 
Icona d'informaci Para más
información
escriba a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

CALENDARIO Y HORARIOS DE CLASES

¿ Cuándo empiezan las clases ?
 

Asignatura Horario Campus Aula
Imatge de diagramaci
SEMESTRE 1 (Otoño-Invierno 2006-2007)
Período de clases: de septiembre del 2006 a enero del 2007
Álgebra abstracta L,X: 17–18, M,J: 15–17 Plaça B6
Álgebra básica L,X,V: 10–11 Nord 001
Álgebra universal M,J: 9–10:30 Plaça S2
Historia de las matemáticas M:11–13 , X:10–11, V:10–12 Plaça B2,B4
Introducción a la lógica matemática X: 8–10 , J:10–12 Sud 003
Lógicas no clàsicas L,X: 10:30–12 Plaça S2
Orden, retículos y álgebras de Boole M,J: 15:30–17 Raval A-402
Teoría básica de conjuntos M,J: 12:30–14 Raval A-402
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Invierno-Primavera 2007)
Período de clases: de febrero del 2007 a junio del 2007
Álgebra abstracta M: 11–13 , X,V: 10–12 Plaça T1
Calculabilidad 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
Teoría básica de modelos M,J: 15–17 Sud S01
Teoría combinatoria de conjuntos M,J: 10–11:30 Plaça B2
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Otoño-Invierno 2007-2008)
Período de clases: de septiembre de 2007 a enero de 2008
Complejidad M,V: 11–14 Nord A6002
Filosofía 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 , J: 16–17:30 Raval 412
Lógicas subestructurales y lingüística computacional X: 12–14 , J: 15–17 Nord A1204
Modelos de la teoría de conjuntos M,V: 12–14 Raval 412
Teoría avanzada de modelos M,J: 12–13:30 Raval 411
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Invierno-Primavera 2008)
Período de clases: de febrero de 2008 a junio de 2008
Demostración automática M,J: 11:30–13 Plaça
El desarrollo de la lógica formal X,J: 10–11 Raval
Lógica categorial
Lógicas e inteligencia artificial UAB
Lógicas multivaloradas L,J: 16–17:30 Plaça S1
Teoría de la demostración
Imatge de diagramaci
Imatge de diagramaci

   LLunes
   MMartes
   XMiércoles
   JJueves
   VViernes
 
Nord Campus norte de la Universidad Politécnica de Catalunya
Plaça Universidad de Barcelona, Facultad de Matemáticas, Plaza de la Universidad
Raval Universidad de Barcelona, Facultades de Filosofía, Geografía e Historia, c. de Montalegre, 6
Sud Campus sur de la Universidad Politécnica de Catalunya, Facultad de Matemáticas y Estadística, c. Pau Gargallo, 5 (edificio U)
UAB Campus de la Universidad Autónoma de Barcelona, Bellaterra (Edificio sin determinar)

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universidad de Barcelona Webmaster: Josep Maria Font
Última actualización: 22/11/07