Updated Fall 2012 course notes