Mathematics for Computer Science: Strong Induction

Strong Induction

Covers strong induction as a tool for proofs. Introduction to invariants with different games, including the nblock game and grid puzzles.