Analysis Notes for CS 2013/2014