CALENDARIO Y HORARIOS DE CLASES

Asignatura	Horario	Fecha de inicio de las clases	Campus	Aula
SEMESTRE 1 (Otoño-Invierno 2010-2011) Período de clases: de septiembre del 2010 a enero del 2011
Álgebra universal	M, J: 9-10:30	14 de septiembre	Plaça	S1
Calculabilidad	L, X: 10-11:30	20 de septiembre	campus Nord
Introducción a la lógica matemática	L, X: 12-13:30	15 de septiembre	campus Nord
Lógicas no clàsicas	M, J: 16:30-18	28 de septiembre	Plaça	S1
Ordenes, retículos y álgebras de Boole	L, X: 16-17:30	20 de septiembre	Raval	411
Teoría básica de conjuntos	M, J: 11:30-13	16 de septiembre	Raval	410
SEMESTRE 2 (Invierno-Primavera 2011) Período de clases: de febrero del 2011 a junio del 2011
El desarrollo de la lógica formal	L: 11:30-13:30		Raval	410
Lógica algebraica	X, V: 12-13,30		Plaça	S1
Lógica matemática	M, J: 9:30-11		Raval	410
Teoría básica de modelos	M, J: 12-13:30
Teoría de conjuntos combinatoria	L, X: 9:30-11		Raval	410
SEMESTRE 3 (Otoño-Invierno 2011-2012) Período de clases: de septiembre de 2011 a enero de 2012
Complejidad	M, J: 9-11	20 de septiembre	campus Nord, Facultat de Matemàtiques i Estadística (FME), UPC	100
Demostración automática	M, J: 12-13:30	20 de septiembre	Plaça	S2
Filosofía de la matemática	M: 11:30-13:30	20 de septiembre	Raval	412
Lógica algebraica abstracta	L: 13-14; X: 12-14	26 de septiembre	Plaça	T2
Lógica modal	J: 17:30-19 V:12:30-14	22 de septiembre	Raval	412
Lógicas multivaloradas	L, X: 16-18	19 de septiembre	Plaça	B2
Lógicas subestructurales y lingüística computacional	J: 11-12; V: 10-11:45	22 de septiembre	campus Nord	D6004
Modelos de la teoría de conjuntos	L, X: 10-11:30	19 de septiembre	Raval	412
Teoría avanzada de modelos	M, J: 9:30-11	13 de septiembre	Raval	411
SEMESTRE 4 (Invierno-Primavera 2012) Período de clases: de febrero de 2012 a junio de 2012
El desarrollo de la lógica formal
Lógica categorial
Lógicas e inteligencia artificial
Teoría de la demostración

L:  Lunes    M:  Martes    X:  Miércoles    J:  Jueves    V:  Viernes

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)