Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2016 – 2018 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
2006–2008 edition
2008–2010 edition
2010–2012 edition
2012–2014 edition
2014–2016 edition
2016-18 Admissions procedure
 
 
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 R. Farré 2
Basic Set Theory J. Bagaria i J.C. Martínez 1
Computability J.L. Balcazar 1  
Mathematical Logic E. Casanovas 2
Non-Classical Logics J. Gispert 1
Imatge de diagramaci
Imatge de diagramaci
OPTIONAL COURSES
Abstract Algebraic Logic   3  
Advanced Model Theory   3
Algebraic Logic R. Jansana 2
Combinatorial Set Theory J. Bagaria 2
Complexity A. Atserias     4
The Development of Formal Logic C. Badesa 2  
Introduction to Mathematical Logic R. Farré 1
Many-Valued Logics   3  
Modal Logic J. Joosten 2  
Models of Set Theory   3
Order, Lattices and Boolean Algebras R. Jansana 1
Proof Theory, and Automated Theorem Proving     3    
Universal Algebra A. Torrens 1
Imatge de diagramaci
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © University of Barcelona Webmaster: Josep Maria Font
Last updated: 20/11/17