CS 312: Random Lecture Notes