Pure and Applied Logic

Introduction

The course is taught by the largest group of logic experts in Spain, who form one of the most significant bodies of specialists in the whole of Europe. All of the teaching staff are actively involved in research and are internationally recognized experts in their fields, which include computational complexity, the logical foundations of artificial intelligence, the history of logic, algebraic logic, non-classical logic, set theory, proof theory and model theory.
This degree is offered jointly by the University of Barcelona (UB) and the Polytechnic University of Catalonia (UPC). The UB is the coordinating university. The following departments contribute to the teaching of this course:

• Department of Computer Science (UPC)
  
• Department of Philosophy(UB)
  
• Department of Mathematics (UPC)
  
• Department of Mathematics and Computer Science (UB)

The above departments are attached to the Faculty of Philosophy and the Faculty of Mathematics and Computer Science at the University of Barcelona, and to the School of Mathematics and Statistics and the Barcelona School of Informatics at the Polytechnic University of Catalonia.

Learning objectives

The master's degree in Pure and Applied Logic provides advanced training in both of these areas of logic. Graduates will be qualified to begin research in the field of logic, especially in the particular areas of specialization covered by the departments involved in the teaching of the programme.

As well as careers associated with research, the course prepares graduates for a variety of other opportunities, similar to those available to graduates in mathematics or IT, given the high level of training in analysis and problem solving.

The master's degree in Pure and Applied Logic is the only course of its type in Catalonia and the only master's degree devoted exclusively to logic at any university in Spain or southern Europe.