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.
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.
Last modified: Wed Oct 26 07:38:27 Eastern Daylight Time 2016