离散数学（王庆先）全套PPT课件.pptx

《离散数学》第一章集合论DiscreteMathematics王庆先顾小丰王丽杰编著CH1集合论(出版社提交版）.pptxCH2命题逻辑（出版社提交版）.pptxCH3谓词逻辑（出版社提交版）.pptxCH4二元关系（出版社提交版）.pptxCH5特殊关系（出版社提交版）.pptxCH6-图（出版社提交版）.pptxCH7-特殊图（出版社提交版）.pptxCH8-代数系统（出版社提交版）.pptxCH9-群环域（出版社提交版）.pptxCH10-格与布尔代数（出版社提交版）.pptx

历史人物本章导读及学习要求集合的基本概念集合的运算内容导航CONTENTS无限集与集合相关的应用1.11.21.31.4作业1.5

集合论数学大厦集合论的起源可以追溯到16世纪末期康托尔关于集合论研究的文章奠定了集合论的深厚基础。本章导读集合论是所有科技领域不可缺少的数学工具和表达语言，计算机科学及其应用研究也不例外。

假设：任何一个性质都可以用来建构集合。例如：所有不包括自身的集合组成的集合A。A={B|B是集合且B?B}A∈AA?A本章导读罗素悖论

康托尔朴素集合论策梅洛ZF公理集合论弗兰克尔斯科伦ZFS公理集合论规定：对任何集合A，都有A?A本章导读

重点1集合的概念及集合间关系的证明2集合的表示方法：列举法、描述法和文氏图3集合运算及定律4幂集P(A)的计算难点1从集合与元素两个角度去分析集合2集合与集合关系的证明3无限集基数的理解学习要求

历史人物本章导读及学习要求集合的基本概念集合的运算内容导航CONTENTS无限集与集合相关的应用1.11.21.31.4作业1.5

德国数学家，集合论的创始人俄罗斯圣彼得堡历史人物-康托尔

康托尔历史人物-康托尔1862年进入苏黎世大学学习1963年转入柏林大学攻读博士学位康托尔在集合论领域的主要贡献是发现了实数集不可数的性质康托尔对数学的贡献是集合论和超穷数理论1867年，在库默尔指导下解决了一般整系数不定方程求解问题，并以此为内容完成博士学位论文

英国哲学家、数学家、逻辑学家、历史学家、文学家，分析哲学的主要创始人，世界和平运动的倡导者和组织者。历史人物-罗素你的每一项专长都能为幸福铺路。——罗素Anythingyouregoodatcontributestohappiness.——BertrandRussell

罗素历史人物-罗素1890年，罗素考入剑桥大学三一学院学习数学和伦理学他提出的“罗素悖论”推动了20世纪逻辑学的发展他和怀特海共同完成的《数学原理》一书，被公认为是现代数理逻辑的基础1950年获得诺贝尔文学奖

英国数学家、哲学家剑桥大学凯斯学院餐厅的彩色玻璃窗历史人物-韦恩

韦恩历史人物-韦恩1857年，他就读于伦敦的学校，并在剑桥的凯斯学院获得数学学位韦恩发明了用于分析逻辑参数和说明集合之间的关系的文氏图韦恩的主要著作是《机会逻辑》和《符号逻辑》1859年，他再回剑桥，并一直在凯斯学院工作

历史人物本章导读及学习要求集合的运算1内容导航CONTENTS无限集与集合相关的应用1.21.31.4作业1.5集合的基本概念1.1

1.1集合的基本概念集合（Set）由指定范围内的某些特定对象聚集在一起构成。指定范围内的每一个对象称为这个集合的元素(Element)。C语言所有标识符的聚集指定范围特定对象C语言所有标识符例如：元素abc，a1属于这个集合，元素3abc就不属于这个集合。元素与集合之间是隶属关系，用∈和?来表示。集合A中的元素个数称为集合的基数(BaseNumber)，记为|A|。如果|A|是有限的，则A是有限集(FiniteSet)；如果|A|是是无限的，则A是无限集(InfiniteSet)。

1.1集合的基本概念C语言中所有标识符的聚集A：abc∈A，3abc?AB：0，1，2三个数的聚集0∈B，3?B|A|=?,有限集|B|=3,有限集常用固定的集合符号：自然数集（N）有理数集（Q）整数集（Z）正整数集（Z+）实数集（R）复数集（C）……通常用带(不带)标号的大写字母A、B、...A1、B1、...X、Y...表示集合；通常用带（不带）标号的小写字母a、b、...a1、b1...x、y...表示元素。

1.1.1集合的表示集合是由它所包含的元素完全确定的，为了表示一个集合，通常有：列举法（显式法）描述法（隐式法）归纳法递归指定文氏图

1、列举法（显式法）－－列出集合中全部元素或部分元素且能看出其它元素规律的方法叫列举法。例