西安交通大学-刘国荣-离散数学 第三章 集合.ppt

离散数学 西安交通大学 电子与信息工程学院 计算机软件所 刘国荣 离散数学 目 标 掌握集合论、代数系统、布尔代数、图论的基本思想和方法，提高用集合论、代数系统、布尔代数、图论的思想和方法分析问题和解决问题的能力。 离散数学 目 录 序言 第三章　集合 第四章　关系 第五章　函数 第六章　代数系统 第七章　格与布尔系统 第八章　图论 离散数学Discrete Mathematics 序言： 离散数学是现代数学的一个重要分支，计算机科学基础理论的核心课程。它充分描述了计算机科学的离散性特点，是随着计算机科学的发展而逐步建立起来的新兴的基础性学科。 本课程作为计算机科学的基础性课程，把握离散数学的关键性问题，介绍五大块内容：集合论、代数系统、布尔代数、图论、数理逻辑。 这些和计算机科学密切相关的理论的结构按排，既着重于各部分之间的紧密联系，又深入探讨各部分内容的概念、例子、理论、算法、以及实际应用。 离散数学 叙述恰当严谨，论证详尽严密，内容新颖丰富是本课程的特点。 离散数学具有抽象性、非线性、非寻绎性、构造性、结构性、整体性等结构性数学特点。 证明方法除了大量的运用常用的（数学）归纳法、演绎法、反证法、归谬法、二难法、二分法、枚举法（穷举法）、相容排斥法等方法之外，特别着重于存在性、结构性、构造性方法，以及各部分内容自己所特有的方法（比如图论的删点增点方法、删边增边方法、伸路蹦圈方法）。 离散数学 集合论在计算机科学中的应用 集合论包括集合﹑关系和函数3部分 1)集合 集合不仅可以表示数，而且可以像数一样进行运算，还可以用于非数值信息的表示和处理，如数据的增加、删除、排序以及数据间关系的描述，有些很难用传统的数值计算来处理的问题，却可以用集合来处理。因此，集合论在程序语言、数据结构、数据库与知识库、形式语言和人工智能等领域得到了广泛的应用。 2)关系 关系也广泛地应用于计算机科学技术中，例如计算机程序的输入和输出关系、数据库的数据特性关系和计算机语言的字符关系等，是数据结构、情报检索、数据库、算法分析、计算机理论等计算机领域中的良好数据工具。另外， 关系中划分等价类的思想也可用 离散数学 于求网络的最小生成树等图的算法中。 3)函数 函数可以看成是一种特殊的关系，计算机中把输入、输出间的关系看成是一种函数。类似地，在开关理论、自动机原理和可计算性理论等领域中，函数都有极其广泛的应用，其中双射函数是密码学中的重要工具。 离散数学 第三章　集合 (set) §１.集合理论中的一些基本概念 　　　　?个体与集合之间的关系 　　　　?集合的表示法 　　　　?集合与集合之间的关系 　　　　?幂集 §2 .集合代数　集合的基本运算 　　　 ?集合的补运算 　　　　?集合的交运算和并运算 　　　　?集合的宏运算 离散数学 　　　　　　　 第三章　集合 (set) §１.集合理论中的一些基本概念 　　集合概念将作为一个不言自明的元概念（基本概念）。它不能用别的术语来精确的定义，只能用别的术语来加以说明。它本身就是用来定义其它概念的概念。 　　我们来看看一些关于什么是集合的各种不同的说法，以便加深对集合这个元概念的理解。 　　1. 莫斯科大学的那汤松教授说： 凡具有某种特殊性质的对象的汇集称之为集。 2. 复旦大学的陈建功教授说： 凡可供吾人思维的，不论它有形或无形，都叫做物。具有某种条件的物，称它们的全部谓之一集。 3. 南开大学的杨宗磐教授说： 离散数学 　　 集就是“乌合之众”。不考虑怎样“乌合”起来的，众可以具体，可以抽象。 　　这种乌合性被归纳为集合的一条性质 任意性：任意性是说组成集合的元素任意； 构成的法则任意； 什么都可以构成集合，不加任何限制。 　　任意性是集合的四大性质之一。 　　4. 集合论之父G.Cantor（1845-1918）说： 　　 　　集合是由总括某些个体成一个整体而成的。对于每个个体，只设其为可思考的对象，辨别它的异同。个体之间并不需要有任何关系。 　　 离散数学 　 　因此，对于集合，我们接受以下事实： (a)承认集合的存在性。即，接受集合概念； (b)承认集合