The master's programme in Computer Mathematics consists of compulsory and elective subjects. From the subject area of "Algorithmic Mathematics" students have to complete the compulsory subjects "Commutative Algebra and Algebraic Geometry", "Stochastic Simulation", and "Algorithmic Combinatorics". The subject area of "Software Technology" comprises the compulsory subjects "Practical Software Technology" and "Formal Methods in Software Development". From the area of "Mathematical Logic" students have to complete the course "Mathematical Logic 1". Moreover, students have to choose electives from the electives offered in the bachelor's programme in Technical Mathematics and also attend unrestricted electives. At the end of the programme students have to write a master's thesis and pass a master's examination.