PE 307 lecture notes