集合论与图论Set Theory and Graph Theory

1、集合论与图论集合论与图论Set Theory and Graph Theory主讲：主讲： 姜守旭姜守旭 博士博士/教授教授/教学带头人教学带头人/博导博导助教：冯诚助教：冯诚办公室：综合楼办公室：综合楼808 办公电话：办公电话： 86403492-808手机：手机mail：课程网站：课程网站：http:/ 答疑地点：青年公寓答疑地点：青年公寓205答疑时间：星期六答疑时间：星期六9:0011:00School of Computer Science & Technology Harbin Institute of Technologyn什么是教育？“教育就

2、是当你把所学的东西都忘掉后，最终剩下的东西！ ”“最终剩下的东西就是一个人的创新意识和学习能力。”高等教育的任务是培养具有创新精神和实践能力的高级专门人才，发展科学技术文化，促进社会主义现代化建设。 中华人民共和国高等教育法第五条因此，我们应把教与学的着眼点集中在掌握科学基础知识和训练创新能力上，着重培养科学的思维方法，把知识传授与能力培养融为一体，激发学生的好奇心和创造性。教育的目的教育的目的北京大学徐光宪院士谈创新教育北京大学徐光宪院士谈创新教育 n什么是创新？什么是创新？n学而不问则殆，问而不学则罔。学而不问则殆，问而不学则罔。（孔子：学而不思则（孔子：学而不思则罔，思而不学则殆罔，思而

3、不学则殆） 。学而问，问而思，思而行，。学而问，问而思，思而行，行而果，这就是创新。行而果，这就是创新。n怎样创新？怎样创新？n在头脑中建立类似在头脑中建立类似“中药铺中药铺”的知识抽屉，这是的知识抽屉，这是“学学”。 n抽屉中放进许多问号，这是抽屉中放进许多问号，这是“问问”。认真仔细地提出。认真仔细地提出科学问题，是创新研究的开始，而且是最重要的开始。科学问题，是创新研究的开始，而且是最重要的开始。 n大胆假设，回答提出的问题，这是大胆假设，回答提出的问题，这是“思思”。 n小心求证，验证自己的假设，这是小心求证，验证自己的假设，这是“果果”。 2022-3-154课程性质课程性质n484

4、8学时学时n是一门专业基础课，本专业最重要的课程是一门专业基础课，本专业最重要的课程之一之一n需要一些工科数学分析、线性代数的知识需要一些工科数学分析、线性代数的知识n是数学是数学(离散数学离散数学)的一部分，数学首先是的一部分，数学首先是一些一些工具工具，其次是一门，其次是一门语言语言，最后还是一，最后还是一种种素养素养集合论与图论是数学的一部分集合论与图论是数学的一部分n“对于大自然这本奥秘无穷的书，我读不对于大自然这本奥秘无穷的书，我读不懂懂”。 莎士比亚莎士比亚安东尼和克里奥安东尼和克里奥帕特拉帕特拉（15641616）n“如果不理解它的语言，没有人能读懂宇如果不理解它的语言，没有人能

5、读懂宇宙这本伟大的书，它的语言就是数学宙这本伟大的书，它的语言就是数学”。 伽里略（伽里略（15641642）n“在任何特定的理论中，只有其中包含数在任何特定的理论中，只有其中包含数学的部分才是真正的科学学的部分才是真正的科学” 康德（康德（17241804）集合论与图论是数学的一部分集合论与图论是数学的一部分n“一门科学，只有当它能够运用数学时，一门科学，只有当它能够运用数学时，才算真正发展了。才算真正发展了。” 马克思（马克思（18181883）n数学不专属自然科学，也不专属社会科学，数学不专属自然科学，也不专属社会科学，更不专属于文学艺术。它是一种宇宙语言，更不专属于文学艺术。它是一种宇

6、宙语言，为一切文明生物共有、共享。为一切文明生物共有、共享。2022-3-157主要内容主要内容 n工大工大80年开始将离散数学分成三门课：年开始将离散数学分成三门课：集合论与图论、近世代数、数理逻辑集合论与图论、近世代数、数理逻辑n集合论集合论n集合及其运算、映射及其合成、关系及其集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数。运算、无穷集合及其基数。n图论图论n图的一些基本概念、一些特殊的图、树及图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度、平面图、图其性质、割点和桥、连通度、平面图、图的着色、有向图。的着色、有向图。教学目的教学目的n该课程的设置主要是为了培养

7、学生的该课程的设置主要是为了培养学生的抽象思抽象思维维和和逻辑推理能力逻辑推理能力，提高学生分析问题和解，提高学生分析问题和解决问题的能力，提高学生的数学修养及计算决问题的能力，提高学生的数学修养及计算机科学素质。机科学素质。 n本课程为后继的专业基础课及专业课提供必本课程为后继的专业基础课及专业课提供必要的数学工具，为描述离散模型提供数学语要的数学工具，为描述离散模型提供数学语言。言。n要想用计算机解决问题就要为它要想用计算机解决问题就要为它建立数学模型建立数学模型，即描述研究对象及对象与对象之间的联系，并即描述研究对象及对象与对象之间的联系，并通过事物之间的联系找出事物的运动规律。通过事物

8、之间的联系找出事物的运动规律。n集合论与图论为此提供了强有力的集合论与图论为此提供了强有力的描述工具描述工具与与推理理论推理理论。 2022-3-158基本思想基本思想n我们从我们从“集合集合”这个基本概念开始建立这个基本概念开始建立集合理论。就某种观点来看，集合理论。就某种观点来看，“集合集合”与与“性质性质”是同义词，是基本概念之一。是同义词，是基本概念之一。 n集合用来描述事物的性质集合用来描述事物的性质我们的研究我们的研究对象，对象，映射用来描述事物之间的联系映射用来描述事物之间的联系运算、关系，从而为集合建立了结构。运算、关系，从而为集合建立了结构。于是，于是，为建立系统的数学模型提

9、供了数为建立系统的数学模型提供了数学描述语言学描述语言工具，代数系统就是引入工具，代数系统就是引入运算以后的集合。运算以后的集合。 基本思想基本思想n集合论又提供了研究数学模型的性质，发现集合论又提供了研究数学模型的性质，发现新联系的新联系的推理方法推理方法，从而找出事物的，从而找出事物的运动规运动规律律。n图论是上述思想的一个具体应用，事实上，图论是上述思想的一个具体应用，事实上，图论为任何一个包含了一种二元关系的系统图论为任何一个包含了一种二元关系的系统提供了一个数学模型提供了一个数学模型；部分地，也因为使用；部分地，也因为使用了图解式表示方法，图就具有一种直观的和了图解式表示方法，图就具

10、有一种直观的和符合美学的外形。符合美学的外形。 n在图论中，许多结果是初等的，但也有大量在图论中，许多结果是初等的，但也有大量的十分复杂的问题可以难倒最老练的数学家。的十分复杂的问题可以难倒最老练的数学家。在计算机专业中的意义在计算机专业中的意义n能形式化就能自动化。能形式化就能自动化。n对计算机专业而言，形式化尤为重要。利对计算机专业而言，形式化尤为重要。利用形式化描述给程序设计提供了方便，从用形式化描述给程序设计提供了方便，从而实现了自动化。而实现了自动化。在计算机专业中的意义在计算机专业中的意义n集合论可以看成一种集合论可以看成一种通用语言通用语言，一切必要的数据，一切必要的数据结构都可

11、以由集合这个原始的数据结构而构造出结构都可以由集合这个原始的数据结构而构造出来。来。n实际上，实际上，数学发展的历史可以看成是一个煞费苦数学发展的历史可以看成是一个煞费苦心或精心制成的数据结构。心或精心制成的数据结构。首先，我们有整数，首先，我们有整数，然后有有理数、代数数，在经过一阵斗争以后，然后有有理数、代数数，在经过一阵斗争以后，我们有实数、复数、函数的一般概念等等。最后，我们有实数、复数、函数的一般概念等等。最后，人们终于明白开头所说的思想，计算机科学家或人们终于明白开头所说的思想，计算机科学家或许可以利用这个经历。许可以利用这个经历。n其次，其次，19世纪后半期，数学家把函数定义为笛

12、儿世纪后半期，数学家把函数定义为笛儿乘积的子集，从而把函数视为集合，这是严格的。乘积的子集，从而把函数视为集合，这是严格的。但对计算机科学家是不合适宜的，他们更喜欢用但对计算机科学家是不合适宜的，他们更喜欢用规则来定义函数。规则来定义函数。在计算机专业中的意义在计算机专业中的意义n集合论是数学的基础，也是计算机科学的集合论是数学的基础，也是计算机科学的基础。集合论和图论是算法与数据结构、基础。集合论和图论是算法与数据结构、形式语言与自动机、数据库原理、计算的形式语言与自动机、数据库原理、计算的复杂性理论等课的先修课。而图论的基本复杂性理论等课的先修课。而图论的基本知识则将始终陪伴我们，直到知识

13、则将始终陪伴我们，直到。n数学要教会人数学要教会人如何进行逻辑推理如何进行逻辑推理，如何进如何进行正确的抽象思维行正确的抽象思维，如何在纷繁的事物中如何在纷繁的事物中抓住主要的联系抓住主要的联系，并，并如何使用明确的概念如何使用明确的概念，等等。这对计算机技术及应用也是至关重等等。这对计算机技术及应用也是至关重要的，在其他任何领域同样重要。要的，在其他任何领域同样重要。计算机系统计算机系统硬件硬件软件软件组成组成原理原理电子技术电子技术体系体系结构结构数字逻辑电路数字逻辑电路电路原理电路原理大学物理大学物理计算机网络计算机网络接口与通讯技术接口与通讯技术通讯概论通讯概论安全与保密安全与保密程序

14、设程序设计语言计语言汇编语言汇编语言高级语言高级语言编译原理编译原理计算理论计算理论C C、C C、JAVAJAVA、PBPB、VBVB系统系统软件软件操作系统操作系统DOSDOS、Windows Windows 、UNIXUNIX数据库数据库AccessAccess、Sybase Sybase 、OracleOracle数据结构数据结构人工智能人工智能应用应用软件软件开发开发 离散数学：离散数学：软件工程软件工程算法设计与分析算法设计与分析集合集合函数函数代数代数结构结构格与格与布布尔代数尔代数图论图论形式语言形式语言与自动机与自动机数理数理逻辑逻辑二元二元关系关系本课程的特点本课程的特点n

15、自给自足，不需要预先的知识准备。学习自给自足，不需要预先的知识准备。学习本课的前提实在仅仅是不可捉摸的所谓本课的前提实在仅仅是不可捉摸的所谓“数学上的成熟数学上的成熟”。n概念多，但都有实在的具体的实物背景，概念多，但都有实在的具体的实物背景，最后要落实到抽象的定义上，概念是第一最后要落实到抽象的定义上，概念是第一位的。位的。本课程的特点本课程的特点n作为一门数学课，与以往不同的是作为一门数学课，与以往不同的是以证明以证明为主为主而不是以计算为主。因此，要学会证而不是以计算为主。因此，要学会证明技术，学会分析问题和解决问题的思想明技术，学会分析问题和解决问题的思想方法。它能培养你诚实！方法。它

16、能培养你诚实！n与计算机科学与计算机科学/技术联系紧密，是最常用、技术联系紧密，是最常用、最有用的数学内容之一。最有用的数学内容之一。n没有什么公式要你背。需要的仅是智力上没有什么公式要你背。需要的仅是智力上的成熟并乐意进行的成熟并乐意进行独立思考独立思考！2022-3-1517教学要求教学要求课程要求课程要求n掌握集合论与图论的掌握集合论与图论的基本概念、基本原理、基本概念、基本原理、基本方法基本方法等基本知识，并且对其具有比较等基本知识，并且对其具有比较全面、系统的认识和正确的理解；全面、系统的认识和正确的理解；n掌握掌握运用基本知识进行推理运用基本知识进行推理的初步能力，的初步能力，并能

17、将其应用到计算机科学领域内，分析并能将其应用到计算机科学领域内，分析和处理一些基本问题；和处理一些基本问题；n掌握常用的证明方法：掌握常用的证明方法：直接证明法直接证明法、反证反证法法、数学归纳法数学归纳法、构造法构造法等，具有一定的等，具有一定的抽象思维和逻辑思维能力，达到知识、能抽象思维和逻辑思维能力，达到知识、能力、素质的协调发展。力、素质的协调发展。 教学要求教学要求考试要求考试要求n题型题型n选择、填空、判断、简答、证明、论述、设计、选择、填空、判断、简答、证明、论述、设计、计算等计算等n重点和难点重点和难点n会在各章的开始点明会在各章的开始点明n考试权重考试权重n作业占作业占10%

18、n期末考试占期末考试占90%n考前答疑考前答疑n考试前两天考试前两天2022-3-1518教学方法教学方法n“只有学生能理解的定义才是令人满意的。只有学生能理解的定义才是令人满意的。” Poincar于于1909年年n讲清讲清概念的背景概念的背景，最好先从具体的实例出发，直，最好先从具体的实例出发，直观地给出实在的东西，然后推广或抽出本质得到观地给出实在的东西，然后推广或抽出本质得到抽象概念。抽象概念。没有抽象就没有科学！没有抽象就没有科学！n“从具体到抽象从具体到抽象是数学发展的一条重要大道，因是数学发展的一条重要大道，因此具体例子往往是抽象概念的源泉，而所用的方此具体例子往往是抽象概念的源

19、泉，而所用的方法也往往是高深数学里所用的方法的依据。法也往往是高深数学里所用的方法的依据。n仅仅熟读了抽象的定义和方法而不知道他们具体仅仅熟读了抽象的定义和方法而不知道他们具体来源来源(从抽象回到具体从抽象回到具体)的数学工作者是没有发展的数学工作者是没有发展前途的，这样的人要搞深刻研究是可能会遇到无前途的，这样的人要搞深刻研究是可能会遇到无法克服的难关的法克服的难关的”。华罗庚：华罗庚：数论导引数论导引2022-3-1519教学方法教学方法n“难处不在于有公式去证明，而在于没公难处不在于有公式去证明，而在于没公式之前，怎样去找出公式式之前，怎样去找出公式”。华罗庚华罗庚n总之，教育的目的或重

20、点是总之，教育的目的或重点是理解理解概念概念、理理解解方法方法、理解理解定理定理。而今应多一个就是怎。而今应多一个就是怎样分析、处理这众多的信息以达到思考它、样分析、处理这众多的信息以达到思考它、理解理解信息信息，从中获取知识，增长智慧，创，从中获取知识，增长智慧，创造生活。造生活。2022-3-1520教学方法教学方法n证明、解题：发现解法证明、解题：发现解法n已知的事物和要求的事，已知量和未知量，假设和结论，已知的事物和要求的事，已知量和未知量，假设和结论，在原先开始时隔开的事物和想法，我们就是要在这原先在原先开始时隔开的事物和想法，我们就是要在这原先是隔开的事物或想法之间是隔开的事物或想

21、法之间找出联系找出联系。n被联系的事物原来离得越远，联系的发现者的功绩也就被联系的事物原来离得越远，联系的发现者的功绩也就越大。有时我们发现这种越大。有时我们发现这种联系就象一座桥联系就象一座桥：一个伟大的：一个伟大的发现使我们强烈地觉得象是在两个离得很远的想法的鸿发现使我们强烈地觉得象是在两个离得很远的想法的鸿沟间架上了桥。我们常常看到这种联系是由一条链来贯沟间架上了桥。我们常常看到这种联系是由一条链来贯穿的：穿的：一个证明象是一串论据一个证明象是一串论据，象是一条由一系列结论，象是一条由一系列结论组成的链，也许是一条长链。这条链的强度是由它最弱组成的链，也许是一条长链。这条链的强度是由它最

22、弱的一环来代表的。因为哪怕是只少了一环，就不会有连的一环来代表的。因为哪怕是只少了一环，就不会有连续推理的链，也就不会有有效的证明。对于思维上的联续推理的链，也就不会有有效的证明。对于思维上的联系，我们更经常使用系，我们更经常使用线索线索这个词。这个词。2022-3-1521教学方法教学方法n瞻前顾后瞻前顾后n站在新的概念、理论、方法和观点看已学过的知识站在新的概念、理论、方法和观点看已学过的知识（在这里是微积分、线性代数、概率论、（在这里是微积分、线性代数、概率论、C程序设程序设计语言等）有时会更清楚，显得简单，理解会更深计语言等）有时会更清楚，显得简单，理解会更深刻；刻；n我们也将随时指出

23、我们也将随时指出本课的内容在计算机专业中的应本课的内容在计算机专业中的应用用，特别是在后继课，特别是在后继课数据结构与算法、形式语言数据结构与算法、形式语言与自动机、编译、数据库原理、计算复杂性理论等与自动机、编译、数据库原理、计算复杂性理论等中的应用。但不能详述，目的是告诉你现在值得花中的应用。但不能详述，目的是告诉你现在值得花点精力学它。点精力学它。 2022-3-1522教学方法教学方法n基本概念必须抽象化基本概念必须抽象化n要问当作实体的这些对象是什么，这是没有意义的，要问当作实体的这些对象是什么，这是没有意义的，即使是有的话也不可能在数学范围内得到解决。所即使是有的话也不可能在数学范

24、围内得到解决。所有适合它们的论断都不涉及到这些实体的现实，而有适合它们的论断都不涉及到这些实体的现实，而只说明数学上只说明数学上“不加定义的不加定义的对象对象”之间的相互关系之间的相互关系以及它们所遵循的运算法以及它们所遵循的运算法。“可验证可验证”的事实只是的事实只是结构和关系。结构和关系。n不要期望百分之百地听懂每个细节，某些细节不要期望百分之百地听懂每个细节，某些细节应独立思考自己弄懂，这才会使你愉快。应独立思考自己弄懂，这才会使你愉快。2022-3-1523学习方法学习方法n基于问题的学习（基于问题的学习（What-Why-hoW）n学习要以学习要以思考思考为基础为基础n一般的学习只是

25、一种模仿，而没有任何创用一般的学习只是一种模仿，而没有任何创用n思考由怀疑和答案组成，学习便是经常怀疑，经常随时思考由怀疑和答案组成，学习便是经常怀疑，经常随时发问。发问。怀疑是智慧的大门怀疑是智慧的大门，知道得越多，就越会发问，知道得越多，就越会发问，而问题就越多。所以，而问题就越多。所以，发问使人进步发问使人进步，发问和答案一样，发问和答案一样重要。重要。n基础知识是研究的工具基础知识是研究的工具n在独立思考之前，必须先有基础知识。所谓在独立思考之前，必须先有基础知识。所谓“获得基础获得基础知识知识”并不是形式上读过某门课程，而是将学过的东西并不是形式上读过某门课程，而是将学过的东西完全弄

26、懂完全弄懂(什么叫做精通什么叫做精通C语言？语言？)。n学习中，概念是第一位的，概念的背景（直观原型）、学习中，概念是第一位的，概念的背景（直观原型）、抽象定义的内涵和外延要准确，应用时才能自如。抽象定义的内涵和外延要准确，应用时才能自如。2022-3-1524学习方法学习方法n要敢于犯错误要敢于犯错误n学习的一种方法，经常还是唯一的方法，就在于首先犯学习的一种方法，经常还是唯一的方法，就在于首先犯错误。我们在学习，多数时间在错误。我们在学习，多数时间在通过犯错误学习通过犯错误学习。n教学、学习是一个过程教学、学习是一个过程n是毛毛雨，需不断地滋润是毛毛雨，需不断地滋润n教师在传授知识和技术的

27、过程中，偶尔会教师在传授知识和技术的过程中，偶尔会传授教训传授教训，n但这种教训如果没有但这种教训如果没有经过你的亲身体验经过你的亲身体验，不会变成有用，不会变成有用的经验。的经验。n知识没有教训作为根基，只能是纸上谈兵。知识没有教训作为根基，只能是纸上谈兵。n上课、读书、复习、做作业、讨论、做实验、自己编程上课、读书、复习、做作业、讨论、做实验、自己编程序、上机调试排错序、上机调试排错是绝对必要的是绝对必要的n那种抄别人作业、考试作弊、不上课不看书，那种抄别人作业、考试作弊、不上课不看书，是没是没有希望的。一个作弊的民族怎么可能进步和强大呢？有希望的。一个作弊的民族怎么可能进步和强大呢？n提

28、倡学习中互相讨论、辩论、提出不同的方法。提倡学习中互相讨论、辩论、提出不同的方法。 2022-3-1525学习方法学习方法n记住，数学以及其他理论学科的书，不能读记住，数学以及其他理论学科的书，不能读得太快，也得太快，也不能期望读一遍就全弄懂不能期望读一遍就全弄懂。n生活的根基不仅包括我们得到的所有的答案，生活的根基不仅包括我们得到的所有的答案，而且而且还应该包括我们提出的所有问题还应该包括我们提出的所有问题。2022-3-1526学习方法学习方法n辅导答疑辅导答疑n这是任课教师与学生这是任课教师与学生直接交流、沟通思想直接交流、沟通思想的时间。对学的时间。对学生一视同仁应当是教师的基本心理，

29、而善待每个学生是生一视同仁应当是教师的基本心理，而善待每个学生是教师应当坚持的教育原则。教师应当坚持的教育原则。n充分利用好答疑时间，是与老师交流的机会，会获得意充分利用好答疑时间，是与老师交流的机会，会获得意想不到的东西想不到的东西n教师为你解答经你努力尚未弄懂的问题。教师为你解答经你努力尚未弄懂的问题。没有经你思考没有经你思考的习题、问题最好暂时不问，否则收获不大的习题、问题最好暂时不问，否则收获不大n教师不要立即暴露你的全部秘密教师不要立即暴露你的全部秘密让学生在你说出来让学生在你说出来之前先去猜之前先去猜尽量让他们自己去找出来。你可以给一尽量让他们自己去找出来。你可以给一些提示，创造一

30、个稍好的环境，让学生自己去发现！增些提示，创造一个稍好的环境，让学生自己去发现！增强学生的信心。强学生的信心。n把老师看成朋友或者长者，这时除谈业务外，谈理想、把老师看成朋友或者长者，这时除谈业务外，谈理想、人生、道德、责任、如何做人人生、道德、责任、如何做人2022-3-15272022-3-1528教材及主要参考书目教材及主要参考书目n王义和王义和, 离散数学引论离散数学引论, 哈尔滨工业大学哈尔滨工业大学出版社出版社, 2000.3. nKenneth.Rosen著著,袁崇义袁崇义, 屈婉玲等译屈婉玲等译,离离散数学及其应用散数学及其应用, ,机械工业出版社机械工业出版社,2007.6.

31、寄语寄语n要主动学习要主动学习n不要苛求课程、老师和环境，他不要苛求课程、老师和环境，他/她她/它们只是资源它们只是资源n目标确定后要善于利用各种资源目标确定后要善于利用各种资源n注重对自己能力的培养注重对自己能力的培养n学会学会做人做人,乐于助人乐于助人,多为别人着想多为别人着想,可以获取友谊可以获取友谊n朋友是资源，可以终生受益朋友是资源，可以终生受益n学会安排自己的时间学会安排自己的时间n时间就像海绵里的水，只要肯挤，总会有的。贵在时间就像海绵里的水，只要肯挤，总会有的。贵在恒恒。n学会利用各种资源学会利用各种资源提高自己提高自己n学校的、家庭的、社会的学校的、家庭的、社会的n上学期间利

32、用资源的上学期间利用资源的唯一目的唯一目的就是提高自己就是提高自己n不要沉迷于网络聊天与游戏不要沉迷于网络聊天与游戏2022-3-1529第一章第一章 集合及其运算集合及其运算重点：重点： 概念概念 ：集合、差、对称差、笛卡儿乘积、有穷集基数。：集合、差、对称差、笛卡儿乘积、有穷集基数。 方法方法 ：证明两个集合相等的方法必考，必须掌握；：证明两个集合相等的方法必考，必须掌握； 基本的计数法则及容斥原理在古典概率论中的应用。基本的计数法则及容斥原理在古典概率论中的应用。 应用应用 ：古典概率模型、跳舞问题的数学模型。：古典概率模型、跳舞问题的数学模型。难点：难点：容斥原理在古典概率论中的应用容

33、斥原理在古典概率论中的应用。School of Computer Science & Technology Harbin Institute of Technology2022-3-15302022-3-1531第一章第一章 主要内容主要内容n1集合（集合（set）、属于关系）、属于关系、集合的表示方法、空集、集合的表示方法、空集n2子集（子集（subset）、两个集合相等，幂集（）、两个集合相等，幂集（power set）、）、集族（以集为元素的集）、证明两个集相等的方法集族（以集为元素的集）、证明两个集相等的方法n3集合的运算：并集合的运算：并(union)、交（、交（inters

34、ection）、差、差（subraction）、对称差（、对称差（symmetric difference），各，各自的性质及相互联系自的性质及相互联系n4求补（求补（complement）运算）运算C( ，Cs)及及DeMorgan律律n5迪卡尔积（迪卡尔积（Cartesian product）及其性质）及其性质n6有限集合的基数（有限集合的基数（cardinal number）、基本的计数）、基本的计数法则、容斥原理法则、容斥原理 2022-3-1532第一章小结第一章小结n1、概念：集、子集、幂集、概念：集、子集、幂集、 、c c、 ，基数，基数n2、结论：运算的性质、计数法则、容斥原、结论：运算的性质、计数法则、容斥原理理n*3、方法：证明两个集合相等的方法；逻、方法：证明两个集合相等的方法；