第1章 集合的概念与运算精选文档.ppt
《第1章 集合的概念与运算精选文档.ppt》由会员分享,可在线阅读,更多相关《第1章 集合的概念与运算精选文档.ppt(32页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第1章 集合的概念与运算本讲稿第一页,共三十二页绪论离散数学的研究目标离散数学的研究目标 离散量的结构及相互关系离散数学是离散数学是“计算机数学计算机数学”计算机只能处理离散结构的数据。信息的编码结构是离散的。连续的、复杂的应用结构只能通过适当的离散化,分解抽象出离散的计算模型,才能由计算机进行处理。离散数学是计算机科学与技术的理论基础,而且随着计算机科学与技术的发展不断形成新的应用体系。本讲稿第二页,共三十二页绪论离散数学是在符号处理的通用层面上谈论满足构造性思维的通用结构,其研究对象是符号化、结构化与可构造的数学对象,相应地需要采用符号化、结构化与可构造的思维方法。归纳原理与公理化方法:归
2、纳原理提供了一种使用有限步骤证明具有无限元素的离散结构的性质的基本方法。公理化方法则在结构元素一些基本性质的基础上进行演绎,考察系统的内在规律。本讲稿第三页,共三十二页绪论离散数学是计算机专业的核心课程离散数学是计算机专业的核心课程 通过离散数学的学习提高抽象思维和逻辑推理能力,形成基本的离散思维方法。离散数学也是后续课程(数据结构、编译系统、操作系统、数据库原理、人工智能等)的数学基础。本讲稿第四页,共三十二页绪论离散数学(离散数学(II)课程的主要内容)课程的主要内容 集合论(数学语言)、图论及其应用离散数学的应用体系举例离散数学的应用体系举例命题逻辑布尔代数:数字逻辑理论,逻辑设计谓词逻
3、辑:程序正确性证明图论:大量实际应用模型代数结构:编码理论本讲稿第五页,共三十二页1.石纯一,数理逻辑与集合论,清华大学出版社,20002.戴一奇,图论与代数结构,清华大学出版社,19953.王树禾,图论,科学出版社,20044.李盘林等,离散数学,高等教育出版社,19995.Bernard Kolman,Discrete Mathematical Structures(Fifth Edition),高等教育出版社(影印版),20056.D.S.Malik,Discrete Mathematical Structures Theory and Applications,高等教育出版社(影印版)
4、,20057.D.B.West,Introduction to Graph Theory(Second Edition),机械工业出版社(影印版),2004参考书目参考书目本讲稿第六页,共三十二页第一篇第一篇 集合与关系集合与关系 本讲稿第七页,共三十二页第一章第一章 集合的概念与运算集合的概念与运算1.1 1.1 集合和元素集合和元素集合集合 集合是由一些可相互区分的客观对象汇集在一 起构成的一个整体。这些对象称为构成集合的元素。集合是一个描述性的原始概念。对象是广义的,无性质、数量上的限制;对象之间无必然联系,只需满足可区分性;对象之间是无序的;外延性原则:一个集合仅由组成它的元素所确定本
5、讲稿第八页,共三十二页1.1 集合和元素成员关系成员关系 构成集合的元素与集合之间的关系。若 a 是构成集合 A 的元素之一,可记为 aA,否则记为 aA。集合 A 确定之后,对任意事物 a,aA 或 aA 两者必居其一。集合的表示法集合的表示法列举法(外延原则)和部分列举法命题/谓词刻划法(抽象原则):使用谓词符号:,归纳法(基本项+归纳项+极小化)本讲稿第九页,共三十二页1.1 集合和元素归纳表示法的例归纳表示法的例 设 N 是所有自然数的集合,Ak 表示一个能被自然数 k 整除的自然数集合。(1)0Ak;(2)若 nAk 则(n+k)Ak,这里 nN。本讲稿第十页,共三十二页1.1 集合
6、和元素有限集合与无限集合有限集合与无限集合基数(阶):集合A中元素的个数,记为|A|或 n(A)有限集合:基数为一个自然数的集合。无限集合:无限可数集:集合元素可与自然数集N中元素建立一一对应关系。无限不可数集合空集空集 :|=0,集合中没有元素存在。完全集合完全集合 E:与论域有关本讲稿第十一页,共三十二页1.2 集合的相等与蕴含集合相等的外延性公理集合相等的外延性公理 集合 A 和 B 相等,当且仅当它们由相同的元素所构成,记作 A=B。包含包含 A、B 是任意集合,若A中的每一元素都属于B,则说 A 包含于 B 或说 A 是 B 的一个子集,记为 AB。谓词描述:AB iff (x)(x
7、AxB)本讲稿第十二页,共三十二页1.2 集合的相等与蕴含v讨论:与:概念上的区别与=:A=B iff AB and BA。与:是任何集合的子集。是唯一的。AA定理定理 对集合 A 和 B,A=B iff AB 且 BA。定理定理 对集合 A,B 和 C,若 AB 且 BC 则 AC。本讲稿第十三页,共三十二页1.2 集合的相等与蕴含真包含真包含 对集合 A 和 B,若 AB 且 AB,则说A真包含于 B 或说 A 是 B 的一个真子集,记作 AB。定理定理 对集合 A,B 和 C,若 AB 且 BC 则 AC。本讲稿第十四页,共三十二页1.3 幂集幂集幂集 设任一集合 A,A 的全部子集构成
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第1章 集合的概念与运算精选文档 集合 概念 运算 精选 文档
限制150内