Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2020 – 2022 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–2018 edition
2018–2020 edition
2020-22 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 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 T. Moraschini 3  
Advanced Model Theory E. Casanovas 3
Algebraic Logic R. Jansana 2
Combinatorial Set Theory J. Bagaria 2
Complexity A. Lozano /A. Atserias 2   4
The Development of Formal Logic S. Oms 2  
Introduction to Mathematical Logic R. Farré 1
Many-Valued Logics J. Gispert 3  
Modal Logic J. Joosten 2  
Models of Set Theory J. Bagaria 3
Order, Lattices and Boolean Algebras T. Moraschini 1
Proof Theory, and Automated Theorem Proving J. C. Martínez / J. J. Joosten   3    
Universal Algebra J. Gispert 1
Imatge de diagramaci

(*) Please note that the list of optional courses and their distribution in semesters is subject to change.

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © University of Barcelona Webmaster: Francisco Murcia
Last updated: 21/10/21