Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Relations between sets article
- Functions as mappings between sets article
- Cardinality and comparing set sizes article
- Countable infinite sets article
- Direct proof and counterexamples article
- Permutations and combinations article
- Combinatorial proofs and double counting article
- Fixed points of functions article
- Fixed-point combinators and recursion in lambda calculus article
- Denotational semantics article
- Control-flow graphs and dataflow analysis article