S
T
L
P
I
M
U
N
Work with recursively defined data and prove their properties using inductive reasoning
Learning Goal: Using a recursive definition to evaluate a function or determine membership in a set
PDF LaTeX Raw HTML
Learning Goal: Using mathematical induction to prove mathematical identities, inequalities, and other invariants
Learning Goal: Using strong induction to prove mathematical identities, inequalities, and other invariants
Learning Goal: Using structural induction to prove statements about recursively defined objects, e.g. strings and trees