Iterative Algorithms
www.cs.toronto.edu › ~amir › teachingIterative Algorithms: We prove partial correctness for iterative algorithms by nding a loop invariant and proving that loop invariant using induction on the number of iterations. The proof of termination for Iterative algorithms involves associating a decreasing sequence of natural numbers to the iteration number.