CS 303E: Class Notes in Fall 2013