Search for tag: "equals"

21:12 cos326-2020-10-01-generalized-induction-hyps cos326-2020-10-01-generalized-induction-hyps	cos326-2020-10-01-generalized-induction-hyps Generalizing Your Inductive Hypothesis cos326 mirror bar leaf theorem node induction 3x proof tree trees t. hypothesis definition bottom i. equals subcase stuff image structure From Daniel Macleod on August 16th, 2020 0 likes 201 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
30:29 cos326-2020-08-01-simple-proofs cos326-2020-08-01-simple-proofs	cos326-2020-08-01-simple-proofs Did I Get it Right? Part 1: Simple Proofs cos326 expression side function hand proof expressions programs times principle proofs step e2 equals evaluation loop words equation foo exception functions From Daniel Macleod on August 16th, 2020 0 likes 193 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ