CS113 Lecture Notes