Pure and Applied Logic

Introduction

The master's degree in Pure and Applied Logic joins the forces of the University of Barcelona (UB) and the Polytechnic University of Catalonia (UPC), with the expertise of the Artificial Intelligence Research Institute (IIIA) of the Spanish National Research Council (CSIC), thus creating Spain's largest cluster of internationally recognized experts and passionate teachers in the field. Because of this, our master's degree was awarded the international recognition of excellence by the University of Barcelona.

While the master includes fundamental courses in the main areas of logic, our programme encourages students to design their individual journey through the topic by choosing between a variety of advanced courses on algebraic logic, computability theory, computational complexity, history of logic, model theory, non-classical logic, proof theory, and set theory. Consult the Digital Repository to browse some of the master's theses completed as part of this programme

Learning objectives

The master's degree in Pure and Applied Logic provides advanced training in the main areas of logic. Graduates will be in a perfect position to start a research career in logic and related areas. The course also serves as excellent preparation for employment opportunities requiring a high level of analytical and problem-solving skills.