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  
 

COURSES OFFERED

Course title Lecturer(s) Semester (*)
Imatge de diagramaci
FUNDAMENTAL COURSES (COMPULSORY)
Basic Model Theory Farré 2
Basic Set Theory Jané 1
Computability 2
Mathematical Logic Casanovas 2
Non-Classical Logics Gispert 1
Imatge de diagramaci
Imatge de diagramaci
OPTIONAL COURSES
Abstract Algebra (1) 1 2 3 4
Abstract Algebraic Logic Font   4
Advanced Model Theory Casanovas 3
Algebraic Logic Font 2
Automated Theorem Proving Martínez 4
Combinatorial Set Theory Jané 2
Complexity 3
Categorical Logic 3 4 ?
Logics and Artificial Intelligence Esteva / Garcia 3 4 ?
Many-Valued Logics Gispert 3  
Modal Logic Jansana 3
Models of Set Theory Bagaria 3
Order, Lattices and Boolean Algebras Jansana 1
Philosophy of Mathematics Jané 3
Proof Theory 3 4 ?
Substructural Logics and Computational Linguistics Morryll 3
The Development of Formal Logic Badesa 3
Universal Algebra Torrens 1
Imatge de diagramaci
Imatge de diagramaci
FOUNDATION COURSES
Basic Algebra (2) 1
Introduction to Mathematical Logic Elgueta (3) 1
Imatge de diagramaci
Imatge de diagramaci

(*) Please note that the list of optional courses and their distribution in semesters, in the case of semesters 3 and 4 in academic year 2009-2010, is subject to change.
(1) Corresponds to the course Algebra I taught in the second year of the Mathematics undergraduate programme of the University of Barcelona, and is offered in all semesters.
(2) Corresponds to the course Linear algebra taught in the first year of the Mathematics undergraduate programme at the Technical University of Catalonia.
(3) Corresponds to the course Logic and Foundations taught in the Mathematics undergraduate programme at the Technical University of Catalonia.

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