We covered sections 4.1-4.9. Much of this was focused around the Euclidean algorithm: an example of using it to find a gcd, an example proof using the divides relation, using the result to show that the algorithm computes the right thing.
Announcements