01:25:00 duration 1 hour 25 minutes
ECS20 - W22 - Lecture 12 (6R): Induction and…
ECS20 - W22 - Lecture 12 (6R): Induction and Recursion 1
Lecture 2022-02-10. The language of number theory, and the Peano axioms for it. The last axiom: the principle of mathematical induction. Different forms of it. Using induction for establishing…