第0章 离散数概述.pptVIP

* 数理逻辑：进行逻辑严密的论证的能力对于计算机科学家是必要的，不仅因为“证明”在计算科学的某些领域至关重要，而且因为构造一个证明和写一个程序的思维过程在本质上是一样的。 组合分析：解决问题的一个重要方面就是计数或枚举对象，组合分析在计算科学的研究和应用中常常用到。 离散结构：这是用来表示离散对象以及它们之间关系的抽象数学结构，包括：集合、排列、关系、树、图。掌握这些结构是学习数据结构的基础。 算法化思维：许多问题都可以通过构造一个可以被程序实现的算法来解决。它的三个步骤是：构造（选择合适的离散模型和操作步骤）、验证（算法的正确性）、评估（时间和空间的复杂性）。 应用和建模：在可以想到的任何研究领域都有离散数学的应用。计算科学、化学、植物学、动物学、语言学、地理、经济学等，构造离散模型都是极其有用的解决问题的方法。 * 其实这样的“结合点”实在太多，因为结构数学的一大本质特征就是抽象现实世界中的事物，建立模型进而研究其规律。国内有些离散数学的教材只是“就事论事”地讲数学知识，如果读者能够带着应用中的问题有针对性、目的性地去阅读这些教材也许效果会更好一些。 解：猜对的人是这样推想的：一共两顶红帽子，商人头上已经戴了一顶红帽子，如果我戴的是红帽子，对方马上就能断定自己戴的是黑帽子。 　　我们都不能马上判断，显然对方和我戴的一样，都是黑色的帽子。由于他抢先一步，就猜对了。 * 无理