Search for tag: "3x"

Thumbnail for entry cos326-2020-10-01-generalized-induction-hyps

cos326-2020-10-01-generalized-induction-hyps

duration 21 minutes 12 seconds

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 0 likes 225 plays
Date
August 16th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ