Skip to main content

Lessons and exercises

Solving a problem by defining a smaller version of itself. The unit is less about writing recursive code than about arguing that it terminates and that the recursive step actually covers the problem.

Lesson 1.3

Recursive Correctness

A recursive method is argued correct by assuming the recursive call works on a smaller input and showing the combination step is right.

Need help with this topic?

Work through questions with a tutor and get help with the steps you find difficult.

Get help with this topic