CS 303E: Random Lecture Notes