Lecture 1: Intro to EECS 183