proof

1 free lesson tagged proof across Math. Each one is a short sequence of focused steps with narration and a five-question quiz at the end — take them in any order, no signup required.

Math

intermediate

Proof and Induction: Covering Infinitely Many Cases

Testing checks the cases you thought of; a proof covers all of them at once, including the ones nobody will ever run. This lesson builds direct proof, contradiction and induction as working tools, shows the two ways induction fails, and connects it to the loop invariants that make a program correct rather than merely untested.

10 steps·~15 min

Proof and Induction: Covering Infinitely Many Cases

Related topics