Mathematics for Computer Science」学习笔记

因为我觉得离散数学在计算机专业的学习中比较重要，也因为这个大一下学期也就是这个学期，我们要开离散数学这门课，所以想通过写这个学习笔记督促自己阅读这本书 Mathematics for Computer Science 。但效果不理想

这本书的学习笔记我将分别写为若干篇博客文章，然后列在这里。

第一部分: 证明