Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
height of left is larger
if height of tree
left
>
height of tree
right
, then height of tree (node (
v
,
left
,
right
))
=
(height of tree
left
) +
1
Comments
Please
log in
to add comments