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).
This course's goal is to learn principles of the mathematics of countable structures. Hereby, central themes are modeling, abstraction, simplification, and generalization.
Lectures and assignments.
Midterm: 2 hrs written Final: 3 hrs written or Final: 15 min oral.