Definition:Induction Step/Also presented as
Jump to navigation
Jump to search
Induction Step: Also presented as
Some sources present the induction step in the form:
- $\map P {k - 1} \implies \map P k$
Sources
- 1979: John E. Hopcroft and Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation ... (previous) ... (next): Chapter $1$: Preliminaries: $1.3$ Inductive Proofs