[理学]离散数学导论.ppt

离散数学导论(第三版)徐洁磬 制作单位:咸宁职业技术学院电子系 第一篇 绪 言 一、介绍离散数学产生的背景。 二、教学内容： 1. 计算机科学与离散数学 由于计算技术的日益发展，计算机应用的日益拓广，计算机软件的日益丰富，计算机理论研究的日趋完善，从而产生了计算科学。在计算科学的研究中需要借助一些工具与方法，而离散数学正是研究计算机科学的有力工具。 离散数学作为有力的数学工具，对计算机的发展，计算科学的研究起着重大的作用。远在计算机产生之前，图灵在研究可计算性问题时就建立了著名的图灵机。图灵机的基本结果思想为1946年机算计的问世，在理论上奠定了基础。在计算机发展的初期，利用布尔代数理论研究开关电路，从而建立了一套完整的数学逻辑理论，对计算机的逻辑设计起了很大作用。在近期，利用自动理论机理论研究形式语言；利用渭词演算研究程序正确性问题；利用代数结构研究编码理论；利用能行性理论研究计算机中的可计算性问题等，这些也是离散数学在计算科学研究中的应用。目前，离散数学在人工智能，数据库结构，软件工程，程序理论中等计算机研究领域中的作用越来越大。计算机科学普遍地采用离散数学的一些基本概念，基本思想，基本方法，使得计算机科学越趋完善与成熟。 所有这些，使得离散数学成为了了解和 学习计算机科学，掌握和研究计算机科学的必需的理论基础。在现代计算机科学中，如果不了解离散数学的基本内容，则在计算机科学研究中就会寸步难行。 2.离散数学之特怔 离散数学是数学的一个分之，它以离散数学作为其主要研究对象，如自然数，真假值，字母表等。这使它与数学分析（研究对象是连续量）在研究对象上形成了鲜明的差别。由于这两种数学在研究对象上的本质区别，使数学分为连续数学与离散数学两大类。 在离散数学中非常重视“能行性”问题的研究。要解决个问题，首先要证明此问题解的存在性。但是，仅解决存在性还不够，还需要找出此问题解的步骤来，而且其步骤必须是有限的，有规则的。这就是所谓“能行性”问题的研究。 离散数学的上述特征使得它成为研究计算机科学的基本数学工具。由于计算机是一个离散的结构，故计算机科学的研究对象大都是离散形式。在计算机科学的研究对象中任何一个问题不仅需要解的存在性，而且更需要解的能行性。。因此，离散数学成了研究计算机科学的最合适的工具。 3．离散数学的内容 由于离散数学是以离散量作为其研究对象，故一切以离散现象作为其研究对象或作为其研究对象之一的数学均可属于离散数学，如集合论，代数结构，数理逻辑，图论等。 它还包括诸如组合数学，数论，离散概率等方面，但是其主要内容为前述的4个部分，因此在本教程中主要介绍集合论，代数结构，图论及数理逻辑这4部分内容。 离散数学各分支间虽然其研究对象一致，但其研究方法各异，研究的侧重点也有所不同，故各具特色，它们互相补充，互相促进，互相渗透，逐渐形成了一门具有一定共性的学科。 第二篇　集合论 第一章 集合论初步 集合的概念是一般数学及离散数学中的基本概念，亦是计算机科学中经常应用的基本概念．集合论还能直接应用到计算机科学的各个部分中去． 集合的基本概念 1.1.1 集合及其元素 首先，对集合及其元素的概念作一个说明。 一些不同的确定对象的全体称为集合，而这些对象称为集合的元素。由此可见，集合是由元素组成的，元素可以理解为存在于世上的客观物体。当然，这些物体可以是具体的，也可以是抽象的，如人，书，桌子，花，太阳，地球，原子，自然数，实数，字母，点，三角形等。 对于集合可以举一些例子。 例１.１ 地球上全体人构成一个集合，而每个人则是此集合的元素。 例１.２计算机内存的全体存储单元构成一个集合，而每个存储单元为　　　　　　　　　　　　　　　　　　　　　 此集合之元素。 例１.３全体自然数构成一个集合，而每个自然数是这个集合的元素。 一般用带标号或不带标号的大写字母表示集合，如A，M，X1，Bi等，一般用带标号或不带标号的小写字母表示集合的元素，如a1，b2，x，y等。为了表示一个集合由那些元素组成，一般将集合的元素全部列出（元素间以逗号隔开）并左右用花括号括起，以表示由这些元素组成的集合。例如，元素A 由元素a,b，c，d组成，则可以写成A ={a,b,c,d} 对于集合必须注意几点： 集合中的元素是确定的，也就是说，对于集合A，任一元素a或属于此集合，或属于此集合，或不属于此集合，两者必居其一。若一元素a属于集合A，则用a属于A，若不属于A，则用a不属于A表示； 集合中的每个元素均不相同，亦即集合{a，b，c，d}与集合{a，b，c，d}是一样的。 除此之外，对集合不做任何其他限制，使它具有最广泛的含义。 对集合的元素也不做任何限制，甚至某一集合可以作