Discrete Mathematics

离散数学(Discrete Mathematics)研究的是离散（不连续、可数的）结构的数学理论，而不是像微积分那样研究连续变化

在计算机科学中，很多东西本质上是离散的，比如：

• 数据结构：数组、链表、树、图
• 算法步骤：每一步是离散的操作
• 编程语言：语法、状态机、布尔逻辑

主要内容

• 集合论(Set Theory)
• 数理逻辑(Propositional & Predicate Logic)
• 组合数学(Combinatorics)
• 图论(Graph Theory)
• 数论与模运算(Number Theory & Modular Arithmetic)
• 离散概率(Discrete Probability)
• 关系与函数(Relation & Functions)

离散数学就是“计算机世界里的数学”，它研究的是哪些可以数清楚、可以一步步处理的离散结构，是程序设计、算法分析、计算理论的数学底座