Discrete Structures

This course deals with the mathematics of countable structures. Hereby, central themes are modeling, abstraction, simplification, and generalization. The main topics of the course are propositional logic and proofs; sets, relations, and functions; combinatorics (urn models, inclusion-exclusion), graph theory (trees, planar graphs, Euler tours and Hamilton cycles) and some basic number theory (modular calculus, groups, Euler's theorem, RSA).