CS 313E: Random Lecture Notes