Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2010 – 2012 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
2008–2010 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 Atserias 1  
Mathematical Logic Casanovas 2
Non-Classical Logics Gispert 1
Imatge de diagramaci
Imatge de diagramaci
OPTIONAL COURSES
Abstract Algebraic Logic Font 3
Advanced Model Theory Casanovas 3
Algebraic Logic Font 2
Automated Theorem Proving Martínez 4
Combinatorial Set Theory Bagaria 2
Complexity 3
Introduction to Mathematical Logic Farré 1
Logics and Artificial Intelligence Esteva / Garcia 3 4 ?
Many-Valued Logics Gispert 3  
Modal Logic Joosten / Bou 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 2  
Universal Algebra Torrens 1
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 2011-2012, is subject to change.

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