Discrete Maths
- Logic: propositional logic, truth tables, logical equivalences, predicate logic, quantifiers
- Proofs: direct proof, proof by contradiction, proof by induction, pigeonhole principle
- Sets: operations (union, intersection, complement, Cartesian product), power sets, cardinality
- Relations: equivalence relations, partial orders, total orders
- Functions: injective, surjective, bijective, composition, inverse
- Combinatorics: permutations, combinations, binomial theorem, inclusion-exclusion
- Graph theory: vertices, edges, paths, cycles, trees, planarity, colouring, Euler and Hamiltonian paths
- Recurrence relations and generating functions