lec01_discrete.pdf