17.30 Intro lecture 1 slides.pdf