Preparatory Mathematics Course for computer science-related courses (registration open now!)

The preparatory course in mathematics is aimed at new students in the MINT courses. For computer-science -related(!) courses it will take place this year from October 4th, 2021 (Monday) to October 15th, 2021 (Friday). The first week is specially designed for computer-science-related courses, while the second week will be about subjects common to all MINT courses.

The aim of the course is to support entry into computer science-related courses. In order to achieve this goal, the main focus of the first week will be training in mathematical methods, such as creating proofs and dealing with formal expressions. The second week recapitulates basic mathematical concepts.

The following areas are covered:

Week 1:Week 2:

Proving in Propositional Logic

Numbers and their Representations

Proving in Predicate Logic

Arithmetic with Terms

Induction on Numbers

Equations and Inequalities, Systems of Equations

Induction on Structures


Set Theory I

Differential Calculus
Set Theory IIIntegral Calculus

Please register for the course at Here you will find all materials for the first week. For each topic of the first week there is a lecture video, a lecture hall exercise and a classroom exercise. Please watch the lecture video before the exercises. The procedure in the second week may be a little different (or not), but you will find out in good time.

The exercises are currently planned in presence. In the first week you will be divided into different exercise groups and several of these exercise groups will then attend a lecture hall exercise. The procedure for the second week will be announced in due time.

Participation in the bridging course is optional. If you are unable to attend the course, it is strongly recommended that you work through the material yourself. If there are too many registrations, we may not be able to give all students the opportunity to take part in the exercises.

If you have any questions, please contact the person responsible for the preparatory course for computer science, Sebastian Böhne, at