版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、主讲人主讲人: 杨凤杰杨凤杰学学 时:时:64(第一讲)离散数学吉林大学远程教育课件离散数学 离散数学在教给学生离散问题建模、 数学理论、计算机求解方法和技术 知识的同时,培养学生的数学抽象能力与严密的逻辑推理能力。通过本课程的学习,能使学生掌握进一步学习其它课程所必需的离散数学知识,并增强学生使用离散数学知识分析问题与解决问题的能力。 本书分为九章,主要内容为 第一章介绍集合论基础知识,包括映射、 关系、基数等知识。 第二章和第三章属于数理逻辑部分,主 要介绍经典命题逻辑和谓词逻辑的基础知识。 第四章介绍图论方面的基本知识,包括图,有向图与Euler路,无向图与Hamilton路,平面图与二
2、部图。 第五章讨论数论基础知识,包括整除性,质因数分解,合同,一次同余式。 第六章和第七章是抽象代数的群、 环和域的基本内容。 第八章介绍格论和布尔代数方面 的基础知识。 第九章介绍了计算模型中的三种类型的结构,即语法、有限状态机和图灵机。阐述了它们在语言识别方面的应用。 第一章第一章 集合论基础集合论基础 1.1 1.1 集合的基本概念集合的基本概念 集合是数学中最基本的概念。既然是最 基本的概念,它就不是很好定义,一般 只是说明。最基本的东西就是大家都知 道的东西。要说明什么是集合,有多种 描述方法:“所要讨论的一类对象的整体”;“具有同一性质单元的集体”等。当我们讨论某一类对象的时候,就
3、把这一类对象的整体称为集合。而集合中的对象就称为该集合中的元素。 Cantor是这样描述集合的:所谓集合,是指我们无意中或思想中将一些确定的,彼此完全不同的客体的总和考虑为一个整体。这些客体叫做该集合的元素。 设A是一个集合,a是集合A中的元 素,今后将这一事实记以aA,读 做a属于A;若a不是集合A中的元素, 则记以aA,读做a不属于A。 例如,这间教室里所有桌子的整体就做成一个桌子集合。每个桌子都属于这个集合,每个椅子都不属于这个集合。 又如,世界上所有哺乳动物的整体做成一个哺乳动物集合。每一条狗每一只猫都属于这个集合,而每一只鸡都不属于这个集合。 集合有多种表示方法,这里给出常 用的两种
4、方法。 1、列举法:这种方法把集合中的所 有元素置于花括号内,元素之间用 逗号隔开。如:A=1,2,3,4,5,6。 2、特征法:用小写的英文字母来统一表示该集合的元素,并指出这类元素的共同特征。如A=x|x是正整数且x7。 有限个元素a1,an做成的集合,称为有 穷集(有限集),记以 a1,an ;无 限个元素做成的集合,称为无穷集。有 穷集中元素的个数称为该集合的元素数, 记为A。 特别,不含元素的集合称为空集,记以。 定义定义1.1.11.1.1 当A,B两个集合的元素完全一样,即A,B两个集合实际上是同一集合时,则称集合A,B相等,记以A=B。 定义定义1.1.21.1.2 设A,B是
5、两个集合。若A的元素都是B的元素,则称B包含A,或称A是B的子集,记以AB。若AB,且AB,则称A是B的真子集,记以AB。 例如:A=1,2,3,4,5, B=x|x是正整数, C=x|x是正整数且x6, 则A是有穷集合,B是无穷集合, A=C,AB,AB。 显然,空集是任何集合的子集且空集 唯一。 当我们所讨论的集合都是某一集合的子集时,这个集合就称为全集,记以E。 由定义,下面的结论是显然的: 对于任意两个集合A,B,A=B的充要条件是AB且BA。 这一结论是我们证明两个集合相等的最常用的方法。定义定义1.1.31.1.3 设A 是集合,A的所有子集为元素做成的集合称为A的幂集,记以(A)
6、或A。显然,若A为有穷集,元素数为n,则A的元素数为 nnnnnccc210幂集具有以下性质:(1) 设A,B是两个集合,AB当且仅当(A)(B);(2) x(A)当且仅当xA。 定义定义1.1.41.1.4 设C是一个集合。若C的 元素都是集合,则称C为集合族。 若集合族C可表示为C=SddD, 则称D为集合族C的标志(索引)集。 显然,A是一个集合族。设A1,A2,A3, ,是集合的序列,且两两之间互不相同,则集合 A1,A2,A3, 是一个集合族,可表示为Ai|iZ,其中的Z是自然数集合,是该集合的标志集合。 定义定义1.1.51.1.5 设A,B是两个集合。属于 集合A而不属于集合B的
7、所有元素组成 的集合,称为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 1.1.6 设A,B是两个集合。所有属于A或者属于B的元素做成的集合,称为A和B的并集,记以AB。 例如,令A=a,b,c,d,B=b,d,e,f,于是AB=a,b,c,d,e,f。 我们可以把定义1.1.6推广到多个集合的并集。 定义定义1.1.7 1.1.7 设A,B是两个集合。由 属于A又属于B的元素做成的集合, 称为A和B的交集,记以AB。 例如,上面集合A和B的AB=b,d。 同样,我们可以把定义1.1.7推广到多个集合的交
8、集。 定义定义1.1.8 1.1.8 设A,B是两个集合,所有序偶 (x,y)做成的集合(其中xA,yB),称为A,B的直乘积(笛卡儿积),记以AB。 即AB=(x,y)xA且yB。 例如,令A是直角坐标系中x轴上的点集,B是y轴上的点集,于是AB就和平面点集一一对应。 由排列组合的基本常识不难证明,如果集合A的元数A=m,集合B的元数B=n,则AB中有mn个元素。 直乘积运算有以下性质: (1) 对任意集合A,根据定义有A=,A=; (2) 一般地说,直乘积运算不满足交换律, 即ABBA(当A,B且AB时); (3)直乘积运算不满足结合律,即 (AB)CA(BC)(当A,B且C时); (4)
9、 直乘积运算对并和交运算满足分配律,即 A(BC)=(AB)(AC),(BC)A=(BA)(CA), A(BC)=(AB)(AC),(BC)A=(BA)(CA); (5) 设A,B,C,D是集合,则有: 若AC且BD,则ABCD。 定义定义1.1.91.1.9 设A是一个集合,全集E 与A 的差集称为A的余集或补集,记以 。 例如,令E=a,b,c,d,e,f,A=b,c,于是 =a,d,e,f。 定义定义1.1.101.1.10 设A,B是两个集合。则A与B的环和(对称差)定义为 AB=(A-B)(B-A)。 A与B的对称差还有一个等价的定义,即AB=(AB)-(AB)。 AA 不难证明,对于任意集合A,B,C有如下算律: 1.AA=A,AA=A。 (等幂律) .AB=BA,AB=BA。(交换律) .(AB
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 缠绕成型课程设计
- 国际象棋的课程设计
- 游戏人物鉴赏课程设计
- 中考生物考前必背知识手册(含习题详解)
- 美化文字微课程设计
- 统计软件课程设计预测
- 自然主题幼儿园课程设计
- 中风护理工作总结
- 电机顺序启动课程设计
- 2024年设备监理师考试题库含答案(基础题)
- 货款互抵三方协议合同范本
- 七年级道德与法治论文2000字(合集六篇)
- 严重精神障碍患者健康管理服务规范
- 风险预测分析及风险与机遇评估分析表
- 高中日语宣讲 试听课件
- 压力弹簧力度计算器及计算公式
- 新生儿窒息诊断地专家共识
- 2023年重庆市旅游业统计公报要点
- 器械清洗的资料
- 路立得4.1roadleaderv3.0说明书Roadleader是鸿业研制的BIM系列软件之一旨在
- 陕西省教育科学规划课题开题报告
评论
0/150
提交评论