Notes, assignments and examples for 171:162, Summer 2013