lecture notes for cs 3420 4125602