Search for tag: "successor"

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…

From  Phil Rogaway 0 likes 118 plays 0  

ECS 220 7b:7.3-1 primitive recursive functions and Bloop

From  David Doty 0 likes 33 plays 0