CSE 370: Lecture notes