In this preliminary course, incoming computer science students get an introduction to important formal and mathematical foundations.

Contents include:

mathematical language,
propositional logic, predicate logic,
number domains and data types.
proof techniques (direct, indirect proof; circular inference, complete induction),
functions and relations,
basic algebraic structures,
exponential functions and logarithms.


Target Groups

Cyber Security (B.Sc.)
Informatik (B.Sc.)
Informatik (Lehramt)