关于本工程

1、本工程讨论discrete math、relation、structure、computation等抽象、触及computation本质的内容。

2、本工程还讨论algorithm、data structure等内容。

书写思路

首先说明什么是discrete、discrete math，然后描述discrete objects的特性，discrete objects的这些特性使得它是**computable**的，这样我们就可以设计algorithm来解决与它相关的问题。discrete math中的理论知识是后续algorithm、data-structure的基础。