## MSc Programme “Logic and Algorithms”

The Logic and Algorithms MSc program is aimed at graduates of Bachelor’s programmes in Mathematics and Computer Science. It offers a specialisation in the field of Mathematical Logic. During the curriculum, the students will have the opportunity to learn about the current trends in mathematical Logic. The program provides a solid theoretical background indispensable for solving non-trivial algorithmic problems in the field of Mathematics as well as in the field of Computer Science. Further information can be found here.

### Curriculum

- First semester
- 1. Mathematical logic ©

2. Modal logic ©

3. Set Theory ©

4. Computability and Complexity

5. Seminar in Non-classical Logics (part 1) - Second semester
- 1. Computability Theory ©

2. Model theory

3. Applications of Finite Automata

4. Lambda Calculus and Proof Theory

5. Logics for Space and Time: Region-based Approach

6. Applied Modal Logics

7. Seminar in Non-classical Logics (part 2)

8. Topics in Computability

9. Finite Model Theory

10. Consistency and Independence in Set Theory - Third semester
- 1. Descriptive Set Theory

2. Games, Logics, Models

3. Computability Theory Seminar

4. Thesis Project ©

5. Master Thesis

The subjects marked by © are compulsory.