Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2018 – 2020 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
Edición 2014–2016
Edición 2016–2018
Procedimiento de admisión 2018-20
 
 
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 2018-2019)
Período de clases: de septiembre de 2018 a enero de 2019
Álgebra universal L, X: 16-17:30 13 de septiembre Plaça S1
Calculabilidad L, X: 11-12:30 19 de septiembre Nord A6-206
Introducción a la lógica matemática L: 12:30-14
X: 9:30-11
12 de septiembre Nord A6-206
Lógicas no clásicas M, J: 8-9:30 13 de septiembre Plaça S2
Ordenes, retículos y álgebras de Boole M, J: 10-11:30 13 de septiembre Raval 410
Teoría básica de conjuntos M, J: 12-13:30 18 de septiembre Plaça S2
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 2 (Invierno-Primavera 2019)
Período de clases: de febrero de 2019 a junio de 2019
El desarrollo de la lógica formal X, V: 12:30-14 13 de febrero Raval 402
Lógica algebraica M, J: 16-18 12 de marzo Raval 412
Lógica matemática M, J: 12-13:30 12 de febrero Plaça S2
Lógica modal L: 12:30-14
V: 10-11:30
11 de febrero Raval 402
Teoría básica de modelos L, X: 9-11 11 de marzo Nord A6-104
Teoría de conjuntos combinatoria M, J: 10:30-12 12 de febrero Plaça S2
Complejidad L, J: 12-14 11 de febrero Nord A6-104
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 3 (Otoño-Invierno 2019-2020)
Período de clases: de septiembre de 2019 a enero de 2020
Lógica algebraica abstracta M, J: 12:15-13:45 17 de septiembre Raval 409
Lógicas multivaloradas L: 10:30-12
X: 8-9:30
18 de septiembre Plaça S2
Modelos de la teoría de conjuntos M, J: 10:30-12 12 de septiembre Plaça S2
Teoría avanzada de modelos

L: 9-10:30
V: 11:30-13

13 de septiembre Plaça S2
Teoría de la demostración y demostración automática        
DesdeDesde el 16 de septiembre hasta el 30 de octubre

L: 12-13:30
X: 11-12:30

16 de septiembre Plaça S2
DesdeDesde el 5 de octubre en adelante M: 9-10
X: 11-13
5 de octubre Raval 409
Imatge de diagramaci
Imatge de diagramaci
SEMESTRE 4 (Invierno-Primavera 2020)
Período de clases: de febrero de 2020 a junio de 2020
Complejidad L, J: 12-14   Nord  
     
   
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: Francisco Murcia
Última actualización: 03/09/19