Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC     2012 – 2014 Imatge de diagramaci
Català Castellano  English Imatge de diagramaci Interuniversity Master  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
Index
Introduction
Course requirements and academic structure
Lecturers
Courses
Academic calendar
Doctorate (PhD)
Related links
Data and indicators
of the studies
2006–2008 edition
2008–2010 edition
2010–2012 edition
2014–2016 edition
2014-16 Admissions procedure
 
 
Icona d'informaci For further
information
please contact

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

CALENDAR AND SCHEDULES OF THE COURSES

 

Course Time Beginning of the course Campus Room
Imatge de diagramaci
SEMESTER 1 (Autumn-Winter 2012-2013)
Classes from September 2012 to January 2013
Computability M, J: 10-11:30 September 18th campus Nord S215, floor S2 (underground) Omega building
Basic Set Theory M, J: 15-16:30 September 18th Raval 410
Introduction to Mathematical Logic M, J: 11:30-13 September 18th campus Nord S215, floor S2 (underground) Omega building
Non-Classical Logics M, J: 16:30-18 September 18th Plaça S2
Orders, Lattices and Boolean Algebras L: 9-10:15
X: 8:45-10
September 26th Plaça S2
Universal Algebra L, X: 16-17:30 September 26th Plaça IF (courtyard
of Sciences,
ground floor
close to B5)
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 2 (Winter-Spring 2013)
Classes from February 2013 to June 2013
Algebraic Logic M: 17-19,
X: 17-18
February 12th Raval 410
Basic Model Theory M, J: 12-13:30 February 12th campus Nord  
Combinatorial Set Theory L, X: 10-11:30 February 11th Raval 412
Mathematical Logic M, J: 9:30-11 February 12th Raval 411
The Development of Formal Logic X, V: 12-13:30 February 13th Raval 410
Proof Theory and Automated Theorem Proving X: 18-19:30
V: 9-10:30
February 11th Raval 412
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 3 (Autumn-Winter 2013-2014)
Classes from September 2013 to January 2014
Advanced Model Theory M, J: 9-10:30 September 17th Raval 411
Many-Valued Logics M, J: 16-17:30 September 17th Plaça S2
Modal Logic

X: 16-17:30,
V: 9-10:30

September 18th Raval 411
Models of Set Theory L, X: 10-11:30 September 16th Raval 411
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 4 (Winter-Spring 2014)
Classes from February 2014 to June 2014
Abstract Algebraic Logic M, J: 12-13:30   Raval 411
Complexity TBA   TBA TBA
Imatge de diagramaci
Imatge de diagramaci

   L Monday (Lunes)
   M Tuesday (Martes)
   X Wednesday   (Miércoles)
   J Thursday (Jueves)
   V Friday (Viernes)
 
Nord North campus of the Technical University of Catalonia, UPC
Omega building: North campus of the Technical University of Catalonia, UPC
(map; photo)
Plaça University of Barcelona, Faculty of Mathematics, Plaça de la Universitat
Raval University of Barcelona, Faculties of Philosophy, Geography and History, c. de Montalegre, 6
Sud South campus of the Technical University of Catalonia, Faculty of Mathematics and Statistics, c. Pau Gargallo, 5 (building U)
UAB Campus of the Autonomous University of Barcelona, Bellaterra (Building to be determined)

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © University of Barcelona Webmaster: Josep Maria Font
Last updated: 04/06/14