Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC     2008 – 2010 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
Admission procedures
Academic calendar
Other activities
Doctorate (PhD)
News
Related links
2006–2008 edition
2010–2012 edition
 
 
Icona d'informaci For further
information
please contact

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

CALENDAR AND SCHEDULES OF THE COURSES

When do classes begin ?
 

Course Time Campus Room
Imatge de diagramaci
SEMESTER 1 (Autumn-Winter 2008-2009)
Classes from September 2008 to January 2009
Abstract Algebra X, V: 10:10-11 // M: 12:10-13 Plaça B6
Basic Algebra Sud
Basic Set Theory M: 12–14, J: 9-10 Raval 410
Introduction to Mathematical Logic L, J: 12–14 Sud 103
Non-Classical Logics L, J: 16–17:30 Plaça L:S3, J:S1
Order, Lattices and Boolean Algebras M, X: 16–17:30 Raval 411
Universal Algebra L, M: 9–10:30 Plaça B2
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 2 (Winter-Spring 2009)
Classes from February 2009 to June 2009
Abstract Algebra Plaça
Algebraic Logic M,J: 15:30–17 Plaça S1
Basic Model Theory L: 15-17, V: 10-12 Sud 103
Combinatorial Set Theory M, J: 12:30–14 Raval 410
Computability L, V: 12–14 Sud A005
Mathematical Logic M, J: 11–12:30 Raval 410
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 3 (Autumn-Winter 2009-2010)
Classes from September 2009 to January 2010
Advanced Model Theory M: 11–13, J: 11–12 Raval 410
Complexity Nord
Many-Valued Logics L, X: 16:30–18 Plaça S3
Modal Logic M, J: 16–17:30 Raval 410
Models of Set Theory L, X: 10–11:30 Raval 410
Philosopy of Mathematics J: 12–14 Raval 410
Substructural Logics and Computational Linguistics Nord
Imatge de diagramaci
Imatge de diagramaci
SEMESTER 4 (Winter-Spring 2010)
Classes from February 2010 to June 2010
Abstract Algebraic Logic L, X: 10:30–12 Plaça
Automated Theorem Proving Plaça
Categorical Logic
Logics and Artificial Intelligence UAB
Proof Theory
The Development of Formal Logic Raval
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
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: 7/09/09