📋 Changes in this PR: State Machines and Finite Automata, Calendar, Contrapositive and Contradiction, Inference and Direct Proof, Logical Equivalence and Negation, Functional Programming, Graphs, Proving Non-Conditional Statements, Mathematical Induction, Loop Invariants, Predicates and Quantifiers, Propositional Logic, Recurrence Relations and Growth Rates, Recursion, Relations, Proofs with Sets, Sets, WWU CSCI 201 Syllabus, Trees, Dependency Tree, Expressions and Algorithms, Functions, Growth Rates, Math for Computer Science, Induction and Recursion, Notation, Number Systems, Proof Writing, Relations, Sets
💡 Tip: If change highlighting is glitchy, add the no-preview-highlights label to this PR to disable it.
📝 Preview: This is a new page added in this pull request.
Last modified: 2026-11-12 14:55:20 (PST)
Every definition and theorem on the Math Reference pages is one box, colored by kind. A box sits below each definition and theorem it uses, so the ones that use no others are at the top. Hover over a box to see its name, and click it to open its page.
---
title: "Dependency Tree"
format:
html:
# The tree is drawn in the browser, so the page is HTML only,
# as lds's all-notes tree is.
# Only this page loads the script: the chapters/ pages reuse some of
# the same ids, so a per-div graph there would point at the wrong page.
include-after-body:
- text: '<script src="dependency-graph.js" defer></script>'
---
# How to read the tree {.unnumbered}
Every definition and [theorem](proof-writing.qmd#def-theorem) on the Math Reference pages is one box, colored by kind.
A box sits below each definition and theorem it uses,
so the ones that use no others are at the top.
Hover over a box to see its name,
and click it to open its page.
::: {#dependency-graph-site}
:::