Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2014 – 2016 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
Calendario y horarios
Doctorado
Enlaces de interés
Edición 2006–2008
Edición 2008–2010
Edición 2010–2012
Edición 2012–2014
Procedimiento de admisión 2014-16
 
 
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

 

Asignatura Horario Fecha de inicio
de las clases
Campus Aula
Imatge de diagramaci
SEMESTRE 1 (Otoño-Invierno 2014-2015)
Período de clases: de septiembre del 2014 a enero del 2015
Álgebra universal L, X: 16-17:30 22 de septiembre Plaça S1
Calculabilidad M, J: 15,30-17 16 de septiembre campus Nord A6103
Introducción a la lógica matemática L: 12-13:30
V: 16-17:30
15 de septiembre campus Nord A6-205
Lógicas no clásicas L, X: 8:30-10 22 de septiembre Plaça IMUB
Ordenes, retículos y álgebras de Boole M, J: 11-12:30 23 de septiembre Raval 410
Teoría básica de conjuntos M, J: 12:30-14 16 de septiembre Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Invierno-Primavera 2015)
Período de clases: de febrero del 2015 a junio del 2015
El desarrollo de la lógica formal M: 10:30-12,30
J: 10:30-11:30
10 de febrero Raval 410
Lógica algebraica L, X: 12-13:30 16 de febrero Plaça B7
Lógica matemática M, J: 9-10:30 10 de febrero Raval 410
Lógica modal X: 18-19:30
V: 12-13:30
18 de febrero Raval Plaça B7
Teoría básica de modelos L, V: 16-17,30 9 de febrero campus Nord A5 203
Teoría de conjuntos combinatoria L, X: 10-11:30 9 de febrero Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Otoño-Invierno 2015-2016)
Período de clases: de septiembre de 2015 a enero de 2016
Lógica algebraica abstracta M: 12-13:30
J: 10:30-12
22 septiembre Raval 411
Lógicas multivaloradas L, X: 17-18:30 21 septiembre Plaça S2
Teoría avanzada de modelos L, X:  9-10:30 16 septiembre Plaça S2
Teoría de la demostración y demostración automática X: 15-16:30
J: 12:30-14
16 septiembre Raval 411
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Invierno-Primavera 2016)
Período de clases: de febrero de 2016 a junio de 2016
Modelos de la teoría de conjuntos L, X: 10-11:30 febrero Raval 412
Complejidad M, J: 8-10 6 febrero campus Nord A5103
     
   
Imatge de diagramaci
Imatge de diagramaci

   L Lunes
   M Martes
   X Miércoles
   J Jueves
   V Viernes
 
Nord Campus norte de la Universidad Politécnica de Catalunya
Edificio Omega: Campus norte de la Universidad Politécnica de Catalunya (mapa; foto)
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: 11/02/16