CS 312: Actual Class Notes in Summer 2015