Partial lecture notes from 04/09 (also see http://www.cs.ucsb.edu/~pconrad/cs56/13S/lectNotes/04.09 )