520.420 Theory of Iterative Algorithms