这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 1 (Introductions and Proofs) 的笔记 PDF 版(Teddy van Jerry 整理),文件中有网课的地址链接。