Search for tag: "tic-tac-toe"

ECS20 - W22 - Lecture 13 (7T): Induction and Recursion 2

Lecture 2022-02-15. A proof by strong induction: the Fundamental Theorem of Arithmetic. Induction on a definition: boolean formulas have the same number of left and right parentheses. Recursion as a…

From  Phil Rogaway 0 likes 111 plays 0  

ECS20 - W22 - Lecture 5 (3T): Proofs

Online lecture from 1/19/2022. Sundry proofs, chosen to illustrate recurring ideas and themes. I had prepared 11 examples, and we got through 8 of them. Also included some general comments on…

From  Phil Rogaway 0 likes 132 plays 0