Pure and Applied Logics
The Pure and Applied Logics Master’s program is a two-year, full-time, on-campus degree that focuses on the study of formal logic systems, mathematical reasoning, and their applications in computer science, philosophy, and mathematics. The program covers topics such as proof theory, model theory, set theory, and computational logic, combining abstract mathematical foundations with practical applications in analysis and reasoning systems.
Graduates gain strong expertise in formal mathematical reasoning, preparing them for careers in academic research, theoretical computer science, data science, and logic-based system development. The program equips students with advanced analytical and problem-solving skills, enabling them to contribute to research in mathematics, artificial intelligence, and computational logic.
Key Facts
Key Facts
- Program Title: Pure and Applied Logics
- Degree Type: Master of Science
- Duration: 2 years
- Mode of Study: Full-time, On Campus
- Application Deadline: 01 September 2026
- Location: University of Barcelona (UB), Spain
- Field of Study: Mathematics
- Language of Instruction: English
Program Structure
Semester 1 – Foundations of Pure and Applied Logic
- Introduction to Logic and Proof Theory
- Set Theory and Foundations of Mathematics
- Formal Systems and Computability
- Research Methods in Logic
Semester 2 – Advanced Logic and Mathematical Foundations
- Model Theory and Semantic Structures
- Logical Systems and Theories
- Proof Complexity and Algorithms
- Elective Modules in Logic
Semester 3 – Applied Logic and Computation
- Applications of Logic in Computer Science
- Logic in Artificial Intelligence
- Formal Verification and Program Semantics
- Elective Modules in Applied Logic
Semester 4 – Final Project & Research
- Independent Research / Thesis
- Data Analysis and Logical Models
- Presentation & Academic Portfolio Development
Career Opportunities
Graduates of the Pure and Applied Logics Master’s program are highly valued in mathematical research, computer science, and artificial intelligence. With expertise in logic, formal systems, and computational theory, graduates can pursue roles as logic researchers, computer scientists, data scientists, or AI specialists. The increasing application of logic in computing and data-driven technologies ensures strong career prospects in academia, tech firms, and AI research labs.
Why Choose This Program
Pure and Applied Logics program delves into mathematical logic, computational theory, and applied logic. Students will explore formal systems, algorithmic logic, and their applications in computer science and artificial intelligence. The program prepares graduates for high-level roles in logic research, programming, and AI, equipping them with the skills to solve complex problems in mathematics, computing, and data science.
Contact Information
For further information, please contact the admissions office at:
Phone: +34 93 402 1100
Email: informacio@ub.edu
Address: University of Barcelona (UB), Gran Via de les Corts Catalanes, 585, 08007 Barcelona, Spain
