高散数学的内容 口数理逻辑:“证明”在计算科学的某些领域至关重要,构 造一个证明和写一个程序的思维过程在本质上是一样的 口组合分析:解决问题的一个重要方面就是计数或枚举对象。 口离散结构:用来表示离散对象以及它们之间关系的抽象数学 结构,包括:集合、排列、关系、树、图。 口算法化思维:许多问题都可以通过构造一个可以被程序实现 的算法来解决。它的三个步骤是:构造(选择合适的离散模 型和操作步骤)、验证(算法的正确性)、评估(时间和空 间的复杂性)。 口应用和建模:在可以想到的任何研究领域都有离散数学的应 用。计算科学、化学、植物学、动物学、语言学、地理、经 济学等,构造离散模型都是极其有用的解决问题的方法离散数学的内容 ❑ 数理逻辑： “证明”在计算科学的某些领域至关重要，构 造一个证明和写一个程序的思维过程在本质上是一样的。 ❑ 组合分析：解决问题的一个重要方面就是计数或枚举对象。 ❑ 离散结构：用来表示离散对象以及它们之间关系的抽象数学 结构，包括：集合、排列、关系、树、图。 ❑ 算法化思维：许多问题都可以通过构造一个可以被程序实现 的算法来解决。它的三个步骤是：构造（选择合适的离散模 型和操作步骤）、验证（算法的正确性）、评估（时间和空 间的复杂性）。 ❑ 应用和建模：在可以想到的任何研究领域都有离散数学的应 用。计算科学、化学、植物学、动物学、语言学、地理、经 济学等，构造离散模型都是极其有用的解决问题的方法