Search for tag: "
tm
"
1 Media
Sort by
Creation Date - Descending
Alphabetically - A to Z
Alphabetically - Z to A
Creation Date - Ascending
Creation Date - Descending
Update Date - Ascending
Update Date - Descending
Views
Plays
Likes
View
All Media
All Media
Video
Quiz
Audio
Image
Live Events
Interactive Video
14:47
cos326-2020-08-04-induction-datatypes
cos326-2020-08-04-induction-datatypes
cos326-2020-08-04-induction-datatypes
Did I Get it Right? Part 4: Induction for Datatypes
cos326
induction
node
tree
function
hypothesis
side
proof
leaf
hand
proofs
trees
definition
subtree
left
step
theorem
t.
tm
cases
expression
From
Daniel Macleod
0
0 likes
|
182
182 plays
Date
August 12th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ