This is an old revision of the document!
Structural Induction
Recall the ADTs defined in the previous lab:
TreeFIFOMap
Prove the following properties are true, using structural induction:
1. $ forall t\in \texttt{Tree}. size(t) \geq height(t)$
This is an old revision of the document!
Recall the ADTs defined in the previous lab:
TreeFIFOMapProve the following properties are true, using structural induction:
1. $ forall t\in \texttt{Tree}. size(t) \geq height(t)$