第0章 离散数学概述.pptVIP

* 数理逻辑：进行逻辑严密的论证的能力对于计算机科学家是必要的，不仅因为“证明”在计算科学的某些领域至关重要，而且因为构造一个证明和写一个程序的思维过程在本质上是一样的。 组合分析：解决问题的一个重要方面就是计数或枚举对象，组合分析在计算科学的研究和应用中常常用到。 离散结构：这是用来表示离散对象以及它们之间关系的抽象数学结构，包括：集合、排列、关系、树、图。掌握这些结构是学习数据结构的基础。 算法化思维：许多问题都可以通过构造一个可以被程序实现的算法来解决。它的三个步骤是：构造（选择合适的离散模型和操作步骤）、验证（算法的正确性）、评估（时间和空间的复杂性）。 应用和建模：在可以想到的任何研究领域都有离散数学的应用。计算科学、化学、植物学、动物学、语言学、地理、经济学等，构造离散模型都是极其有用的解决问题的方法。 * 其实这样的“结合点”实在太多，因为结构数学的一大本质特征就是抽象现实世界中的事物，建立模型进而研究其规律。国内有些离散数学的教材只是“就事论事”地讲数学知识，如果读者能够带着应用中的问题有针对性、目的性地去阅读这些教材也许效果会更好一些。 解：猜对的人是这样推想的：一共两顶红帽子，商人头上已经戴了一顶红帽子，如果我戴的是红帽子，对方马上就能断定自己戴的是黑帽子。 　　我们都不能马上判断，显然对方和我戴的一样，都是黑色的帽子。由于他抢先一步，就猜对了。 * 无理数的发现──第一次数学危机　　 ? 大约公元前５世纪，不可通约量的发现导致了毕达哥拉斯悖论。当时的毕达哥拉斯学派重视自然及社会中不变因素的研究，把几何、算术、天文、音乐称为四艺，在其中追求宇宙的和谐规律性。他们认为：宇宙间一切事物都可归结为整数或整数之比，毕达哥拉斯学派的一项重大贡献是证明了勾股定理，但由此也发现了一些直角三角形的斜边不能表示成整数或整数之比（不可通约）的情形，如直角边长均为１的直角三角形就是如此。这一悖论直接触犯了毕氏学派的根本信条，导致了当时认识上的危机，从而产生了第一次数学危机。 　　 ? 到了公元前370年，这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法，出现在欧几里得《原本》第５卷中。欧多克斯和狄德金于1872年给出的无理数的解释与现代解释基本一致。今天中学几何课本中对相似三角形的处理，仍然反映出由不可通约量而带来的某些困难和微妙之处。第一次数学危机对古希腊的数学观点有极大冲击。这表明，几何学的某些真理与算术无关，几何量不能完全由整数及其比来表示，反之却可以由几何量来表示出来，整数的权威地位开始动摇，而几何学的身份升高了。危机也表明，直觉和经验不一定靠得住，推理证明才是可靠的，从此希腊人开始重视演译推理，并由此建立了几何公理体系，这不能不说是数学思想上的一次巨大革命！ ?无穷小是零吗？──第二次数学危机　　 ?18世纪，微分法和积分法在生产和实践上都有了广泛而成功的应用，大部分数学家对这一理论的可靠性是毫不怀疑的。　　1734年，英国哲学家、大主教贝克莱发表《分析学家或者向一个不信正教数学家的进言》，矛头指向微积分的基础--无穷小的问题，提出了所谓贝克莱悖论。他指出：牛顿在求 的导数时，采取了先给xn以增量０，应用二项式(x+0)n ，从中减去xn以求得增量，并除以０以求出xn的增量与x的增量之比，然后又让０消逝，这样得出增量的最终比。这里牛顿做了违反矛盾律的手续──先设 有增量，又令增量为零，也即假设 没有增量。他认为无穷小 既等于零又不等于零，召之即来，挥之即去，这是荒谬， 为逝去量的灵魂。无穷小量究竟是不是零？无穷小及其分析是否合理？由此而引起了数学界甚至哲学界长达一个半世纪的争论。导致了数学史上的第二次数学危机。　　 ? 18世纪的数学思想的确是不严密的，直观的强调形式的计算而不管基础的可靠。其中特别是：没有清楚的无穷小概念，从而导数、微分、积分等概念也不清楚，无穷大概念不清楚，以及发散级数求和的任意性，符号的不严格使用，不考虑连续就进行微分，不考虑导数及积分的存在性以及函数可否展成幂级数等等。 ? 直到19世纪20年代，一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始，到威尔斯特拉斯、戴德金和康托的工作结束，中间经历了半个多世纪，基本上解决了矛盾，为数学分析奠定了严格的基础。 ? 悖论的产生　---　第三次数学危机　　 ? 数学史上的第三次危机，是由1897年的突然冲击而出现的，到现在，从整体来看，还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支，并且实际上集合论成了数学的基础，因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。