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.
Modalità di insegnamento
Lectures and assignments.
Midterm: 2 hrs written Final: 3 hrs written or Final: 15 min oral.