离散数学的核心价值 ·数理逻辑： ·模糊问题的形式化能力的基础 ·数学证明的逻辑基础 ·数学证明大量应用于问题求解之中 ·集合论： 数学的美，也是离散 ·动态集合数据类型的基本数学模型 ·几乎所有离散数学模型的基础 数学承载的潜移默化 ·某种意义上，离散数学结构名字的来源 ·图论： ·表达离散成分及其（逻辑）关联的强大的数学模型 ·问题求解中最常见的数学模型 ·算法设计中最常面对的数学模型 ·近世代数： ·从运算到结构到系统，从系统（结构）的观点探究数学模型的特性和行为 ·在计算机科学中几乎无处不在：ADT,自动机，编码，密码学，…离散数学的核心价值 • 数理逻辑： • 模糊问题的形式化能力的基础 • 数学证明的逻辑基础 • 数学证明大量应用于问题求解之中 • 集合论： • 动态集合数据类型的基本数学模型 • 几乎所有离散数学模型的基础 • 某种意义上，离散数学结构名字的来源 • 图论： • 表达离散成分及其(逻辑)关联的强大的数学模型 • 问题求解中最常见的数学模型 • 算法设计中最常面对的数学模型 • 近世代数： • 从运算到结构到系统，从系统（结构）的观点探究数学模型的特性和行为 • 在计算机科学中几乎无处不在：ADT，自动机，编码，密码学，…… 数学的美，也是离散 数学承载的潜移默化