Discrete mathematics created: 2020-12-11 · modified: 2021-03-05 page details Propositional logic Set theory Combinatorics Graph Theory Proof Techniques direct proof proof by contradiction weak/strong induction