For those interested, I'm almost certain that this is from MIT's 6.042 (Mathematics for Computer Science) class: http://courses.csail.mit.edu/6.042/spring12/ There is a publicly accessible, most-recent-draft of the text at http://courses.csail.mit.edu/6.042/spring12/mcsfull.pdf