CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2012-2013) Período de clases: de septiembre del 2012 a enero del 2013
Álgebra universal	L, X: 16-17:30	26 de septiembre	Plaça	IF (patio de ciencias planta baja, junto B5)
Calculabilidad	M, J: 10-11:30	18 de septiembre	campus Nord	S215, planta S2 (subterráneo 2) edificio Omega
Introducción a la lógica matemática	M, J: 11:30-13	18 de septiembre	campus Nord	S215, planta S2 (subterráneo 2) edificio Omega
Lógicas no clásicas	M, J: 16:30-18	18 de septiembre	Plaça	S2
Ordenes, retículos y álgebras de Boole	L: 9-10:15 X: 8:45-10	26 de septiembre	Plaça	S2
Teoría básica de conjuntos	M, J: 15-16:30	18 de septiembre	Raval	Aula 410
SEMESTRE 2 (Invierno-Primavera 2013) Período de clases: de febrero del 2013 a junio del 2013
El desarrollo de la lógica formal	X, V: 12-13:30	13 de febrero	Raval	Aula 410
Lógica algebraica	M: 17-19, X: 17-18	12 de febrero	Raval	Aula 410
Lógica matemática	M, J: 9:30-11	12 de febrero	Raval	Aula 411
Teoría básica de modelos	M, J: 12-13:30	12 de febrero	campus Nord
Teoría de conjuntos combinatoria	L, X: 10-11:30	11 de febrero	Raval	Aula 412
Teoría de de la demostración y demostración automática	X: 18-19:30 V: 9-10:30	11 de febrero	Raval	Aula 412
SEMESTRE 3 (Otoño-Invierno 2013-2014) Período de clases: de septiembre de 2013 a enero de 2014
Lógica modal	X: 16-17:30, V: 9-10:30	18 de septiembre	Raval	Aula 411
Lógicas multivaloradas	M, J: 16-17:30	17 de septiembre	Plaça	Aula S2
Modelos de la teoría de conjuntos	L, X: 10-11:30	16 de septiembre	Raval	Aula 411
Teoría avanzada de modelos	M, J: 9-10:30	17 de septiembre	Raval	Aula 411
SEMESTRE 4 (Invierno-Primavera 2014) Período de clases: de febrero de 2014 a junio de 2014
Lógica algebraica abstracta	M, J: 12-13:30		Raval	Aula 411
Complejidad	TBA		TBA	TBA

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)