Top "Induction" questions

Anything related to mathematical induction principle and techniques applied to computing.

What is the relationship between recursion and proof by induction?

What is the relationship between recursion and proof by induction? Let's say fn(n), recursion is fn(n) calls itself …

recursion type-theory induction
Proof by Induction of Pseudo Code

I don't really understand how one uses proof by induction on psuedocode. It doesn't seem to work the same way …

algorithm proof induction
Proof that a binary tree with n leaves has a height of at least log n

I've been able to create a proof that shows the maximum total nodes in a tree is equal to n = 2^(…

logic binary-tree nodes proof induction
Understanding recursion in Python

I'm really trying to wrap my brain around how recursion works and understand recursive algorithms. For example, the code below …

python algorithm python-2.7 recurrence induction
Substitution method for solving recurrences

First of all sorry for asking such a basic question. But I am having difficulties understanding substitution method for solving …

algorithm substitution recurrence induction