主讲人杨凤杰.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
主讲人杨凤杰.ppt

离散数学 离散数学在教给学生离散问题建模、 数学理论、计算机求解方法和技术 知识的同时,培养学生的数学抽象能力与严密的逻辑推理能力。通过本课程的学习,能使学生掌握进一步学习其它课程所必需的离散数学知识,并增强学生使用离散数学知识分析问题与解决问题的能力。 本书分为九章,主要内容为 第一章介绍集合论基础知识,包括映射、 关系、基数等知识。 第二章和第三章属于数理逻辑部分,主 要介绍经典命题逻辑和谓词逻辑的基础知识。 第四章介绍图论方面的基本知识,包括图,有向图与Euler路,无向图与Hamilton路,平面图与二部图。 第五章讨论数论基础知识,包括整除性,质因数分解,合同,一次同余式。 第六章和第七章是抽象代数的群、 环和域的基本内容。 第八章介绍格论和布尔代数方面 的基础知识。 第九章介绍了计算模型中的三种类型的结构,即语法、有限状态机和图灵机。阐述了它们在语言识别方面的应用。 第一章 集合论基础 §1.1 集合的基本概念 集合是数学中最基本的概念。既然是最 基本的概念,它就不是很好定义,一般 只是说明。最基本的东西就是大家都知 道的东西。要说明什么是集合,有多种 描述方法:“所要讨论的一类对象的整体”;“具有同一性质单元的集体”等。当我们讨论某一类对象的时候,就把这一类对象的整体称为集合。而集合中的对象就称为该集合中的元素。 Cantor是这样描述集合的:所谓集合,是指我们无意中或思想中将一些确定的,彼此完全不同的客体的总和考虑为一个整体。这些客体叫做该集合的元素。 设A是一个集合,a是集合A中的元 素,今后将这一事实记以a?A,读 做a属于A;若a不是集合A中的元素, 则记以a?A,读做a不属于A。 例如,这间教室里所有桌子的整体就做成一个桌子集合。每个桌子都属于这个集合,每个椅子都不属于这个集合。 又如,世界上所有哺乳动物的整体做成一个哺乳动物集合。每一条狗每一只猫都属于这个集合,而每一只鸡都不属于这个集合。 集合有多种表示方法,这里给出常 用的两种方法。 1、列举法:这种方法把集合中的所 有元素置于花括号内,元素之间用 逗号隔开。如:A={1,2,3,4,5,6}。 2、特征法:用小写的英文字母来统一表示该集合的元素,并指出这类元素的共同特征。如A={x|x是正整数且x7}。 有限个元素a1,…,an做成的集合,称为有 穷集(有限集),记以{ a1,…,an };无 限个元素做成的集合,称为无穷集。有 穷集中元素的个数称为该集合的元素数, 记为?A?。 特别,不含元素的集合称为空集,记以?。 定义1.1.1 当A,B两个集合的元素完全一样,即A,B两个集合实际上是同一集合时,则称集合A,B相等,记以A=B。 定义1.1.2 设A,B是两个集合。若A的元素都是B的元素,则称B包含A,或称A是B的子集,记以A?B。若A?B,且A?B,则称A是B的真子集,记以A?B。 例如:A={1,2,3,4,5}, B={x|x是正整数}, C={x|x是正整数且x6}, 则A是有穷集合,B是无穷集合, A=C,A?B,A?B。 显然,空集是任何集合的子集且空集 唯一。 当我们所讨论的集合都是某一集合的子集时,这个集合就称为全集,记以E。 由定义,下面的结论是显然的: 对于任意两个集合A,B,A=B的充要条件是A?B且B?A。 这一结论是我们证明两个集合相等的最常用的方法。 定义1.1.4 设C是一个集合。若C的 元素都是集合,则称C为集合族。 若集合族C可表示为C={Sd?d?D}, 则称D为集合族C的标志(索引)集。 显然,2A是一个集合族。设A1,A2,A3, …,是集合的序列,且两两之间互不相同,则集合{ A1,A2,A3, …}是一个集合族,可表示为{Ai|i?Z},其中的Z是自然数集合,是该集合的标志集合。 定义1.1.5 设A,B是两个集合。属于 集合A而不属于集合B的所有元素组成 的集合,称为A与B的差集,记以A-B。 例如,令A={a,b,c,d},B={b,c,e,f}, 于是A-B={a,d},B-A={e,f}。 定义1.1.6 设A,B是两个集合。所有属于A或者属于B的元素做成的集合,称为A和B的并集,记以A?B。 例如,令A={a,b,c,d},B={b,d,e,f},于是A?B={a,b,c,d,e,f}。 我们可以把定义1.1.6推广到多个集合的并集。 定义1.1.7 设A,B是两个集合。由 属于A又属

文档评论(0)

suijiazhuang1 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档