Algorithms and OOD (CSC 207 2014F) : Outlines

Outline 24: Reasoning About Loops with Loop Invariants


Held: Wednesday, 8 October 2014

Back to Outline 23 - Linear and Binary Search. On to Outline 25 - Using Java from the Command Line.

Summary

We consider loop invariants, a technique for designing iterative algorithms that helps increase the likelihood of writing correct algorithms.

Related Pages

Overview

Administrivia

Upcoming Work

Cool Things Coming to Campus

Academic

Peer Support

Miscellaneous

Some Background

Loop Invariants

Lab