Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Play
Play
00:00
Play
Seek 10 seconds backwards
Seek 10 seconds forward
00:00 / 00:00
Mute
Picture in picture
Fullscreen
cos326-2020-08-04-induction-datatypes
From
Daniel Macleod
August 16th, 2020
likes
views
Related Media
Loading…
Details
Details
.
.
.
Details
.
.
.
Back
Did I Get it Right? Part 4: Induction for Datatypes
Tags
cos326
induction
node
tree
function
hypothesis
side
proof
leaf
hand
proofs
trees
definition
subtree
left
step
theorem
t.
tm
cases
expression
Looking for more...
