extended lecture notes (pdf)