第1章 集的概念与运算.pptVIP

离散数学引论集合论与图论周一： 4 ~ 5 (10:45~12:25)/D103周三：10~11 (16:15~17:55)/D401中山大学计算机科学系 蔡国扬email: isscgy@mail.sysu.edu.cn 绪论 离散数学的研究目标 离散量的结构及相互关系 离散数学是“计算机数学” 计算机只能处理离散结构的数据。信息的编码结构是离散的。连续的、复杂的应用结构只能通过适当的离散化，分解抽象出离散的计算模型，才能由计算机进行处理。离散数学是计算机科学与技术的理论基础，而且随着计算机科学与技术的发展不断形成新的应用体系。 绪论 离散数学是在符号处理的通用层面上谈论满足构造性思维的通用结构，其研究对象是符号化、结构化与可构造的数学对象，相应地需要采用符号化、结构化与可构造的思维方法。 归纳原理与公理化方法：归纳原理提供了一种使用有限步骤证明具有无限元素的离散结构的性质的基本方法。公理化方法则在结构元素一些基本性质的基础上进行演绎，考察系统的内在规律。 绪论 离散数学是计算机专业的核心课程 通过离散数学的学习提高抽象思维和逻辑推理能力，形成基本的离散思维方法。离散数学也是后续课程（数据结构、编译系统、操作系统、数据库原理、人工智能等）的数学基础。 绪论 离散数学（II）课程的主要内容 集合论(数学语言)、图论及其应用 离散数学的应用体系举例 命题逻辑布尔代数：数字逻辑理论，逻辑设计 谓词逻辑： 程序正确性证明 图论： 大量实际应用模型 代数结构：编码理论 参考书目 石纯一，数理逻辑与集合论，清华大学出版社，2000 戴一奇，图论与代数结构，清华大学出版社，1995 王树禾，图论，科学出版社，2004 李盘林等，离散数学，高等教育出版社，1999 Bernard Kolman, Discrete Mathematical Structures (Fifth Edition)，高等教育出版社（影印版），2005 D.S.Malik, Discrete Mathematical Structures – Theory and Applications，高等教育出版社（影印版），2005 D.B.West, Introduction to Graph Theory (Second Edition), 机械工业出版社（影印版），2004 第一篇 集合与关系 第一章 集合的概念与运算 1.1 集合和元素 [集合] 集合是由一些可相互区分的客观对象汇集在一 起构成的一个整体。这些对象称为构成集合的元素。 集合是一个描述性的原始概念。 对象是广义的，无性质、数量上的限制； 对象之间无必然联系，只需满足可区分性； 对象之间是无序的； 外延性原则：一个集合仅由组成它的元素所确定 1.1 集合和元素 [成员关系] 构成集合的元素与集合之间的关系。 若 a 是构成集合 A 的元素之一，可记为 a?A，否则记为 a?A。 集合 A 确定之后，对任意事物 a，a?A 或 a?A 两者必居其一。 [集合的表示法] 列举法 （外延原则）和部分列举法 命题/谓词刻划法 （抽象原则）：使用谓词符号：?，?，?，?，?，?，? 归纳法（基本项+归纳项+极小化） 1.1 集合和元素 [归纳表示法的例] 设 N 是所有自然数的集合，Ak 表示一个能被自然数 k 整除的自然数集合。 (1) 0?Ak； (2) 若 n?Ak 则 (n+k) ?Ak，这里 n?N。 1.1 集合和元素 [有限集合与无限集合] 基数(阶)：集合A中元素的个数，记为 |A| 或 n(A) 有限集合：基数为一个自然数的集合。 无限集合： 无限可数集：集合元素可与自然数集N中元素建立一一对应关系。 无限不可数集合 [空集] ?： |?|=0，集合中没有元素存在。 [完全集合] E：与论域有关 1.2 集合的相等与蕴含 [集合相等的外延性公理] 集合 A 和 B 相等，当且仅当它们由相同的元素所构成，记作 A=B。 [包含] A、B 是任意集合，若A中的每一元素都属于B，则说 A 包含于 B 或说 A 是 B 的一个子集，记为 A?B。 谓词描述：A?B iff (?x)(x?A?x?B) 1.2 集合的相等与蕴含 讨论： ?与?：概念上的区别 ?与=：A=B iff A?B and B?A。 ?与?：?是任何集合的子集。 ?是唯一的。 A?A [定理] 对集合 A 和 B，A=B iff A?B 且 B?A。 [定理] 对集合 A，B 和 C，若 A?B 且 B?C 则 A?C。 1.2 集合的相等与蕴含 [真包含] 对集合 A 和 B，若 A?B 且 A?B，