CS 5010 Module 08

Module Overview

In some problems, we will need to recur on quantities that are not pieces of the input structure. We call this "general recursion." In this module, you will see examples of problems that are solvable by general recursion. You will also see how invariants can be used as a tool to express deep knowledge about how and why our programs work, and as a tool to guide the development of our programs.

Course Map

course map, week 08


Part V from the textbook. we are doing this topic rather differently than the textbook does, so use the textbook for background rather than as a normative reference.


Lessons and Guided Practices

Problem Set

Problem Set 08

Last modified: Wed Oct 26 07:38:27 Eastern Daylight Time 2016