Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2008 – 2010 Imatge de diagramaci
Català  Castellano  English Imatge de diagramaci Máster interuniversitario  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
Índice
Presentación
Requisitos y estructura académica
Profesorado
Asignaturas
Admisión y matrícula
Calendario y horarios
Otras actividades
Doctorado
Novedades
Enlaces de interés
Edición 2006–2008
Edición 2010–2012
 
 
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 2008-2009)
Período de clases: de septiembre del 2008 a enero del 2009
Álgebra abstracta X, V: 10:10-11 // M: 12:10-13 Plaça B6
Álgebra básica Nord
Álgebra universal L, M: 9–10:30 Plaça B2
Introducción a la lógica matemática L, J: 12–14 Sud 103
Lógicas no clàsicas L, J: 16–17:30 Plaça L:S3, J:S1
Orden, retículos y álgebras de Boole M, X: 16–17:30 Raval 411
Teoría básica de conjuntos M: 12–14, J: 9-10 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Invierno-Primavera 2009)
Período de clases: de febrero del 2009 a junio del 2009
Álgebra abstracta Plaça
Calculabilidad 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
Teoría básica de modelos L: 15-17, V: 10-12 Sud 103
Teoría combinatoria de conjuntos M, J: 12:30–14 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Otoño-Invierno 2009-2010)
Período de clases: de septiembre de 2009 a enero de 2010
Complejidad Nord
Filosofía de la matemática J: 12–14 Raval 410
Lógica modal M, J: 16–17:30 Raval 410
Lógicas multivaloradas L, X: 16:30–18 Plaça S3
Lógicas subestructurales y lingüística computacional Nord
Modelos de la teoría de conjuntos L, X: 10–11:30 Raval 410
Teoría avanzada de modelos M: 11–13, J: 11–12 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Invierno-Primavera 2010)
Período de clases: de febrero de 2010 a junio de 2010
Demostración automática Plaça
El desarrollo de la lógica formal Raval
Lógica algebraica abstracta L, X: 10:30–12 Plaça
Lógica categorial
Lógicas e inteligencia artificial UAB
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: 7/09/09