集合论与图论.ppt

集合论与图论SetTheoryandGraphTheory,主讲：姜守旭博士/教授/教学带头人/博导助教：冯诚办公室：综合楼808办公电话：86403492-808手机mail：jsx课程网站：,SchoolofComputerScience&TechnologyHarbinInstituteofTechnology,2019/12/6,2,课程性质,48学时是一门专业基础课，本专业最重要的课程之一需要一些工科数学分析、线性代数的知识是数学(离散数学)的一部分，数学首先是一些工具，其次是一门语言，最后还是一种素养,集合论与图论是数学的一部分,“对于大自然这本奥秘无穷的书，我读不懂”。莎士比亚安东尼和克里奥帕特拉（15641616）“如果不理解它的语言，没有人能读懂宇宙这本伟大的书，它的语言就是数学”。伽里略（15641642）“在任何特定的理论中，只有其中包含数学的部分才是真正的科学”康德（17241804）,集合论与图论是数学的一部分,“一门科学，只有当它能够运用数学时，才算真正发展了。”马克思（18181883）数学不专属自然科学，也不专属社会科学，更不专属于文学艺术。它是一种宇宙语言，为一切文明生物共有、共享。,2019/12/6,5,主要内容,工大80年开始将离散数学分成三门课：集合论与图论、近世代数、数理逻辑集合论集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数。图论图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度、平面图、图的着色、有向图。,教学目的,该课程的设置主要是为了培养学生的抽象思维和逻辑推理能力，提高学生分析问题和解决问题的能力，提高学生的数学修养及计算机科学素质。本课程为后继的专业基础课及专业课提供必要的数学工具，为描述离散模型提供数学语言。要想用计算机解决问题就要为它建立数学模型，即描述研究对象及对象与对象之间的联系，并通过事物之间的联系找出事物的运动规律。集合论与图论为此提供了强有力的描述工具与推理理论。,2019/12/6,6,基本思想,我们从“集合”这个基本概念开始建立集合理论。就某种观点来看，“集合”与“性质”是同义词，是基本概念之一。集合用来描述事物的性质我们的研究对象，映射用来描述事物之间的联系运算、关系，从而为集合建立了结构。于是，为建立系统的数学模型提供了数学描述语言工具，代数系统就是引入运算以后的集合。,基本思想,集合论又提供了研究数学模型的性质，发现新联系的推理方法，从而找出事物的运动规律。图论是上述思想的一个具体应用，事实上，图论为任何一个包含了一种二元关系的系统提供了一个数学模型；部分地，也因为使用了图解式表示方法，图就具有一种直观的和符合美学的外形。在图论中，许多结果是初等的，但也有大量的十分复杂的问题可以难倒最老练的数学家。,在计算机专业中的意义,能形式化就能自动化。对计算机专业而言，形式化尤为重要。利用形式化描述给程序设计提供了方便，从而实现了自动化。,在计算机专业中的意义,集合论可以看成一种通用语言，一切必要的数据结构都可以由集合这个原始的数据结构而构造出来。实际上，数学发展的历史可以看成是一个煞费苦心或精心制成的数据结构。首先，我们有整数，然后有有理数、代数数，在经过一阵斗争以后，我们有实数、复数、函数的一般概念等等。最后，人们终于明白开头所说的思想，计算机科学家或许可以利用这个经历。其次，19世纪后半期，数学家把函数定义为笛儿乘积的子集，从而把函数视为集合，这是严格的。但对计算机科学家是不合适宜的，他们更喜欢用规则来定义函数。,在计算机专业中的意义,集合论是数学的基础，也是计算机科学的基础。集合论和图论是算法与数据结构、形式语言与自动机、数据库原理、计算的复杂性理论等课的先修课。而图论的基本知识则将始终陪伴我们，直到。数学要教会人如何进行逻辑推理，如何进行正确的抽象思维，如何在纷繁的事物中抓住主要的联系，并如何使用明确的概念，等等。这对计算机技术及应用也是至关重要的，在其他任何领域同样重要。,计算机系统,硬件,软件,组成原理,电子技术,体系结构,数字逻辑电路,电路原理,大学物理,计算机网络,接口与通讯技术,通讯概论,安全与保密,程序设计语言,汇编语言,高级语言,编译原理,计算理论,C、C、JAVA、PB、VB,系统软件,操作系统,DOS、Windows、UNIX,数据库,Access、Sybase、Oracle,数据结构,人工智能,应用软件开发,离散数学：,软件工程,算法设计与分析,集合,函数,代数结构,格与布尔代数,图论,形式语言与自动机,数理逻辑,二元关系,本课程的特点,自给自足，不需要预先的知识准备。学习本课的前提实在仅仅是不可捉摸的所谓“数学上的成熟”。概念多，但都有实在的具体的实物背景，最后要落实到抽象的定义上，概念是第一位的。,本课程的特点,作为一门数学课，与以往不同的是以证明为主而不是以计算为主。因此，要学会证明技术，学会分析问题和解决问题的思想方法。它能培养你诚实！与计算机科学/技术联系紧密，是最常用、最有用的数学内容之一。没有什么公式要你背。需要的仅是智力上的成熟并乐意进行独立思考！,2019/12/6,15,教学要求课程要求,掌握集合论与图论的基本概念、基本原理、基本方法等基本知识，并且对其具有比较全面、系统的认识和正确的理解；掌握运用基本知识进行推理的初步能力，并能将其应用到计算机科学领域内，分析和处理一些基本问题；掌握常用的证明方法：直接证明法、反证法、数学归纳法、构造法等，具有一定的抽象思维和逻辑思维能力，达到知识、能力、素质的协调发展。,教学要求考试要求,题型选择、填空、判断、简答、证明、论述、设计、计算等重点和难点会在各章的开始点明考试权重作业占10%期末考试占90%考前答疑考试前两天,2019/12/6,16,教学方法,“只有学生能理解的定义才是令人满意的。”Poincar于1909年讲清概念的背景，最好先从具体的实例出发，直观地给出实在的东西，然后推广或抽出本质得到抽象概念。没有抽象就没有科学！“从具体到抽象是数学发展的一条重要大道，因此具体例子往往是抽象概念的源泉，而所用的方法也往往是高深数学里所用的方法的依据。仅仅熟读了抽象的定义和方法而不知道他们具体来源(从抽象回到具体)的数学工作者是没有发展前途的，这样的人要搞深刻研究是可能会遇到无法克服的难关的”。华罗庚：数论导引,2019/12/6,17,教学方法,“难处不在于有公式去证明，而在于没公式之前，怎样去找出公式”。华罗庚总之，教育的目的或重点是理解概念、理解方法、理解定理。而今应多一个就是怎样分析、处理这众多的信息以达到思考它、理解信息，从中获取知识，增长智慧，创造生活。,2019/12/6,18,教学方法,证明、解题：发现解法已知的事物和要求的事，已知量和未知量，假设和结论，在原先开始时隔开的事物和想法，我们就是要在这原先是隔开的事物或想法之间找出联系。被联系的事物原来离得越远，联系的发现者的功绩也就越大。有时我们发现这种联系就象一座桥：一个伟大的发现使我们强烈地觉得象是在两个离得很远的想法的鸿沟间架上了桥。我们常常看到这种联系是由一条链来贯穿的：一个证明象是一串论据，象是一条由一系列结论组成的链，也许是一条长链。这条链的强度是由它最弱的一环来代表的。因为哪怕是只少了一环，就不会有连续推理的链，也就不会有有效的证明。对于思维上的联系，我们更经常使用线索这个词。,2019/12/6,19,教学方法,瞻前顾后站在新的概念、理论、方法和观点看已学过的知识（在这里是微积分、线性代数、概率论、C程序设计语言等）有时会更清楚，显得简单，理解会更深刻；我们也将随时指出本课的内容在计算机专业中的应用，特别是在后继课数据结构与算法、形式语言与自动机、编译、数据库原理、计算复杂性理论等中的应用。但不能详述，目的是告诉你现在值得花点精力学它。,2019/12/6,20,教学方法,基本概念必须抽象化要问当作实体的这些对象是什么，这是没有意义的，即使是有的话也不可能在数学范围内得到解决。所有适合它们的论断都不涉及到这些实体的现实，而只说明数学上“不加定义的对象”之间的相互关系以及它们所遵循的运算法。“可验证”的事实只是结构和关系。不要期望百分之百地听懂每个细节，某些细节应独立思考自己弄懂，这才会使你愉快。,2019/12/6,21,学习方法,基于问题的学习（What-Why-hoW）学习要以思考为基础一般的学习只是一种模仿，而没有任何创用思考由怀疑和答案组成，学习便是经常怀疑，经常随时发问。怀疑是智慧的大门，知道得越多，就越会发问，而问题就越多。所以，发问使人进步，发问和答案一样重要。基础知识是研究的工具在独立思考之前，必须先有基础知识。所谓“获得基础知识”并不是形式上读过某门课程，而是将学过的东西完全弄懂(什么叫做精通C语言？)。学习中，概念是第一位的，概念的背景（直观原型）、抽象定义的内涵和外延要准确，应用时才能自如。,2019/12/6,22,学习方法,要敢于犯错误学习的一种方法，经常还是唯一的方法，就在于首先犯错误。我们在学习，多数时间在通过犯错误学习。教学、学习是一个过程是毛毛雨，需不断地滋润教师在传授知识和技术的过程中，偶尔会传授教训，但这种教训如果没有经过你的亲身体验，不会变成有用的经验。知识没有教训作为根基，只能是纸上谈兵。上课、读书、复习、做作业、讨论、做实验、自己编程序、上机调试排错是绝对必要的那种抄别人作业、考试作弊、不上课不看书，是没有希望的。一个作弊的民族怎么可能进步和强大呢？提倡学习中互相讨论、辩论、提出不同的方法。,2019/12/6,23,学习方法,记住，数学以及其他理论学科的书，不能读得太快，也不能期望读一遍就全弄懂。生活的根基不仅包括我们得到的所有的答案，而且还应该包括我们提出的所有问题。,2019/12/6,24,学习方法,辅导答疑这是任课教师与学生直接交流、沟通思想的时间。对学生一视同仁应当是教师的基本心理，而善待每个学生是教师应当坚持的教育原则。充分利用好答疑时间，是与老师交流的机会，会获得意想不到的东西教师为你解答经你努力尚未弄懂的问题。没有经你思考的习题、问题最好暂时不问，否则收获不大教师不要立即暴露你的全部秘密让学生在你说出来之前先去猜尽量让他们自己去找出来。你可以给一些提示，创造一个稍好的环境，让学生自己去发现！增强学生的信心。把老师看成朋友或者长者，这时除谈业务外，谈理想、人生、道德、责任、如何做人,2019/12/6,25,2019/12/6,26,教材及主要参考书目,王义和,离散数学引论,哈尔滨工业大学出版社,2000.3.Kenneth.Rosen著,袁崇义,屈婉玲等译,离散数学及其应用,机械工业出版社,2007.6.,寄语,要主动学习不要苛求课程、老师和环境，他/她/它们只是资源目标确定后要善于利用各种资源注重对自己能力的培养学会做人,乐于助人,多为别人着想,可以获取友谊朋友是资源，可以终生受益学会安排自己的时间时间就像海绵里的水，只要肯挤，总会有的。贵在恒。学会利用各种资源提高自己学校的、家庭的、社会的上学期间利用资源的唯一目的就是提高自己不要沉迷于网络聊天与游戏,2019/12/6,27,第一章集合及其运算,重点：概念：集合、差、对称差、笛卡儿乘积、有穷集基数。方法：证明两个集合相等的方法必考，必须掌握；基本的计数法则及容斥原理在古典概率论中的应用。应用：古典概率模型、跳舞问题的数学模型。难点：容斥原理在古典概率论中的应用。,SchoolofComputerScience&TechnologyHarbinInstituteofTechnology,2019/12/6,28,2019/12/6,29,第一章主要内容,1集合（set）、属于关系、集合的表示方法、空集2子集（subset）、两个集合相等，幂集（powerset）、集族（以集为元素的集）、证明两个集相等的方法3集合的运算：并(union)、交（intersection）、差（subraction）、对称差（symmetricdifference），各自的性质及相互联系4求补（complement）运算C(，Cs)及DeMorgan律5迪卡尔积（Cartesianproduct）及其性质6有限集合的基数（cardinalnumber）、基本的计数法则、容斥原理,2019/12/6,30,第一章小结,1、概念：集、子集、幂集、c、，基数2、结论：运算的性质、计数法则、容斥原理*3、方法：证明两个集合相等的方法；逻辑推理。,第二章映射,重点：概念：映射、单（满、双）射、合成运算、置换、逆映射、特征函数、方法：置换的循环置换分解应用：复合函数应用概述，建立数学模型DFA难点：容斥原理在古典概率论中的应用。,SchoolofComputerScience&TechnologyHarbinInstituteofTechnology,2019/12/6,31,2019/12/6,32,第二章主要内容,1映射（mapping）、单射（inje