组合数学

本课不按公式清单走。它把组合计数当作一条论证来拆：所有计数方法都出自「建立一个双射」这一件事，其余都是它的变形；每一步是定理前提、由定义得到的，还是一条断言「这个计数模型代表现实中某物」的建模承诺；以及每个公式在什么条件下会给出自信而错误的答案。最后一章审计前六章。