CS 309: Random Lecture Notes