Department of Mathematical Logic and Applications

Master of Sciences Programs in “Logic and Algorithms”

Our Department is responsible for the teaching of the Master of Sciences students in the subject „Logic and algorithms“. There are two programs—one for degree „Master of Sciences in Mathematics“ and another for degree „Master of Sciences in Informatics“.
The courses extends for three semesters, the third being for working out and defending of a Master of Sciences Thesis. For Students who have not studied in our Faculty there is one additional year during which they have to attend a selection of the existing Bachelor and Master of Sciences courses.

First semester: 1. Mathematical logic II
2. Modal logic
3. Recursion theory
4. Lambda calculus
Second semester: 1. Model theory
2. Set theory
3. Other subjects—90 hours
Third semester: Working out and defending a Master Thesis.

First semester: 1. Mathematical logic II
2. Modal logic
3. Recursion theory
4. Lambda calculus
5. Algorithms and data structures
Second semester: 1. Automata on on infinite objects
2. Applications of finite automata
3. Other subjects—75 hours
Third semester: Working out and defending a Master Thesis.

Last edition: 30 January 2006 at 19:40 EET