-
Studies
-
Masters
- Do you want to study a Master Degree?
- Master in Informatics Engineering
- Master in Informatics Engineering - Industrial Modality
-
Master in Innovation and Research in Informatics
- Master in Artificial Intelligence
- Master in Cybersecurity
- Master in Data Science
- Erasmus Mundus Master in Big Data Management and Analytics
- Master in Urban Mobility
- Other Masters
-
Masters
-
Mobility
- Research
- Companies
-
The FIB
- Studies
- Bachelor's degrees
- Masters
- Do you want to study a Master Degree?
- Master in Informatics Engineering
- Master in Informatics Engineering - Industrial Modality
- Master in Innovation and Research in Informatics
- Master in Artificial Intelligence
- Master in Cybersecurity
- Master in Data Science
- Erasmus Mundus Master in Big Data Management and Analytics
- Master in Urban Mobility
- Other Masters
- Academic Management
- Grants and Financial Aid
- Mobility
- Research
- Departments
- Research Centers
- BSC-CNS - Barcelona Supercomputing Center
- CCABA – Advanced Broadband Communications Center
- CEBIM - Molecular Biotechnology Centre
- CREB - Research Centre for Biomedical Engineering
- CRnE - Center for Research in NanoEngineering
- IDEAI - Intelligent Data Science and Artificial Intelligence Research Center
- TALP - Center for Language and Speech Technologies and Applications
- Research Groups
- ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
- ARCO - Architectures and Compilers
- CAP - High Performace Computing Group
- CBA - Broadband Communications Systems
- CNDS - Computer Networks and Distributed Systems
- DAMA-UPC - Data Management Group
- DCCG - Research group on discrete, combinatorial and computational geometry
- DMAG - Distributed Multimedia Applications Group
- GESSI - Group of Software and Service Engineering
- GIE - Engineering Informatics Group
- GNOM - Group of Numerical Optimization and Modelling
- GPLN - Natural Language Processing Group
- GRBIO - Biostatistics and Bioinformatics Research Group
- GREC - Knowledge Engineering Research Group
- GRINS - Intelligent Robots and Systems
- KEMLG - Knowledge Engineering and Machine Learning Group
- LARCA - Relational Algorithmics, Complexity and Learning Laboratory
- LOGPROG - Logic and Programming
- MD - Discrete Mathematics
- MPI - Information Modelling & Processing
- SIMCON - Computer Simulation in Condensed Matter Research Group
- SOCO - Soft Computing
- SUSHITOS - Services for Ubiquitous Social and Humanistic Information Technologies and Open Source Research Group
- VIS - Vision and Intelligent Systems
- ViRVIG - Visualisation, Virtual Reality and Graphic Interaction Research Group
- Projects
- inLab FIB
- Companies
- The FIB
Master in Pure and Applied Logic
You are here
This master’s degree provides a solid background in advanced logic, both pure and applied. Its courses cover a wide variety of areas, from mathematical logic and applications to computer science, artificial intelligence and computational linguistics. In addition, two foundation courses are offered to students who require a basic introduction to logic or mathematics.
3 semesters
90 ECTS credis
English
Target
The Master in Pure and Applied Logic is designed specifically for graduates in mathematics, computer science and philosophy. Graduates in related fields, such as physics or linguistics, may also be considered for admission.
Ofertat per
Where we are
C/Jordi Girona Salgado,1-3
08034 BARCELONA Spain
Tel: (+34) 93 401 70 00
Contact with us
© Facultat d'Informàtica de Barcelona - Universitat Politècnica de Catalunya - Website Disclaimer
This website uses cookies to offer you the best experience and service. If you continue browsing, it is understood that you accept our cookies policy.