Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Something went wrong
An error occurred, please try again later.
Try again
cos326-2020-10-01-generalized-induction-hyps
From
Daniel Macleod
August 16th, 2020
0 likes
0
229 plays
229
You unliked the media.
Related Media
Loading…
Details
Details
Attachments
Share
Details
Attachments
Share
Close search in video box
To search for an exact match, please use Quotation Marks. Example: “computer”
Back
Generalizing Your Inductive Hypothesis
Tags
cos326
mirror
bar
leaf
theorem
node
induction
3x
proof
tree
trees
t.
hypothesis
definition
bottom
i.
equals
subcase
stuff
image
structure
Date
August 16th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ
Appears In
COS 326 Functional Programming
Link to Media Page
Link to Media Page
Embed
oEmbed
Email
Link to Media Page
Embed
oEmbed
Email
Start & End Time:
Start Time:
Start at
Set current video time as start time
End at
Set current video time as end time
Share this media via Email
Share by email
Loading
Related Media
Loading…