July 2020
Intermediate to advanced
360 pages
7h 8m
English

8.1Constraints
⊳All, or a significant part, of the problem is modeled using induction. That is, specify the base case (n0) and then the n + 1 rule.
8.2A Program in This Style

8.3Commentary
THIS STYLE encourages problem solving by induction. An inductive solution is one where a general goal is achieved in two steps: (1) solving one or more base cases, and (2) providing a solution that, if it works for the Nth case, also works for the Nth + 1 case. In computing, inductive solutions are usually expressed via ...
Read now
Unlock full access