IntroductoryLectureSpring2024 #IntroductoryLectureSpring2024 "Enzo Dicostanzo" introductory notes source