ImageVerifierCode 换一换
格式:DOCX , 页数:10 ,大小:37.39KB ,
资源ID:13812154      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/13812154.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学第3次文档格式.docx)为本站会员(b****4)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

离散数学第3次文档格式.docx

1、F_3=a,1,a,2, F_4=a,34. 用列元法表示下列集合A=x|xN且x29,则可表示为( )。5. 设X=a,b,c,d,Y=1,2,3,4,5,且有f=,c,4d,4,则 dom f为( )、R_f为 和f(x)为( 6. 判断下列命题正确与否:(1)正整数集N上的小于等于关系“”是良序关系。( )(2)In =1,2,n上的小于等于关系“”是良序关系。(3)整数集Z和实数集R上的小于等于关系“”是良序关系。7. 在由n个元素组成的集合上,可以有( )种不同的二元关系?若集合A,B的元数分别为|A|=m,|B|=n,试问从A到B有( 8. 设R_1 和R_2 是集合A上的二元关系

2、,试判断下列命题是否正确? ) ( 9. 设R_1和R_2是非空集合A上的等价关系,下列各式哪些是A上的等价关系?哪些不是A上的等价关系 ?举例说明:AA-R_1; ( ) R_1-R_2;R_12;r(R_1-R_2);R_1R_2 10. 对下述论断判断正确与否,在相应括号中键入“Y”或“N”。设A=2,3,6,12,24,36,A上的整除关系是一偏序关系,用“”表示。(a)该偏序关系的哈斯图是( )(b)“”=2,2,2,6,3,3,3,6,6,6,6,12,12,12,12,24,24,24,36,36 二、计算题(本大题共40分,共 4 小题,每小题 10 分)试将公式化成等价的前束

3、范式:xF(x)xQ(x);z)R(x,y,z) z)Q(x,z)( x)( x)P(x)( 求等价于下面wff的前束合取范式与前束析取范式:(试将公式P(PQ)化为析取范式和合取范式: 设f:RR,f(x)=x2-2;g:RR, g(x)=x+4。(1)求gf,fg(2)问gf和fg是否为单射、满射、双射? (3)求出f、g、gg中的可逆函数的逆函数。三、简答题(本大题共20分,共 4 小题,每小题 5 分)设G是有两个奇度点的连通图,设计一个构造G的欧拉道路的算法。设X=2,3,4,5,求集合 上的关系“”、dom及ran。设A=1,2,3,4,5,R=1,52,23,23,14,3,画出

4、R的关系图。给定集合A=1,2,3,4,5,在集合A上定义两种关系:R=,S=2,51,3,求RS和SR的矩阵。四、证明题(本大题共20分,共 2 小题,每小题 10 分)证明:xy(P(x)Q(y) )=xP(x)yQ(y)设是一个代数系统,*是R上的一个二元运算,使得对于R中的任意元素a,b都有a*b=a+b+ab,试证明:0是幺元且是独异点。答案:一、填空题(20分,共 10 题,每小题 2 分)参考答案:(1)T (2)F (3) F解题方案:评分标准:祖先;后代F_1,F_2是函数,F_3,F_4不是函数。若不强调是A到B的函数,则F_4是函数,其定义域为a。1,2,3a,b,c,d

5、 1,3,4 f(a)=1,f(b)=3,f(c)=4,f(d)=4正确 错误整数集Z和实数集R上的小于等于关系“”不是良序关系 (因为Z或R本身无最小元) 。2(n2 ) 2(mn) (1)命题正确(2)命题正确(3)命题不正确(1)不是 (2)不是 (3) 是 (4) 不是 (5) 是Y N二、计算题(40分,共 4 题,每小题 10 分)xF(x)xQ(x)=xF(x)xQ(x)=xF(x)xQ(x)=x(F(x)Q(x)z)R(x,y,z) z)Q(x,z)( x)( x)P(x)( ( z)R(x,y,z) z)Q(x,z)( x)( x)P(x)( ( u)R(x,y,u) z)Q

6、(x,z)( x)( x)P(x)( ( u)R(x,y,u) z)Q(x,z)( x)( P(x)( ( u)( P(x)Q(x,z)R(x,y,u) z)( x)( ( 前束合取范式 u)(P(x) Q(x,z) R(x,y,u)(P(x) Q(x,z) R(x,y,u)(P(x) Q(x,z) R(x,y,u)(P(x) Q(x,z) R(x,y,u)(P(x) Q(x,z)R(x,y,u)(P(x) Q(x,z) R(x,y,u)(P(x) Q(x,z) R(x,y,u) z)( x)( ( 前束析取范式(PQ)(PQ)=(PQ)(PQ)(PQ)(PQ)(等值律)=(PQ)(PQ) (

7、PQ)(PQ) (蕴涵律)=(PQ)(PQ) (分配律) 合取范式=(PP) (PQ)(QP)(QQ) (分配律)析取范式(1)fg =x,x2+8x+14|x R gf =x,x2 +2|xR(2)gf 和 fg均是非单非满函数。(3)因为g是双射,所以可逆,其逆函数为:g(-1) ( x)=x-4。三、简答题(20分,共 4 题,每小题 5 分)step1: 添加连接两个奇度点的边Step2: 调用一般的欧拉回路的算法Step3: 在回路中删除添加的边=2,43,54,5dom2,3,4ran3,4,5图 3.6.1-2 RS的矩阵图 3.6.1-3 SR的矩阵因为关系可用图形表示,所以复

8、合关系也可用图形表示。四、证明题(20分,共 2 题,每小题 10 分)xy(P(x)Q(y) )=xy(P(x)Q(y) )=xP(x)yQ(y)=xP(x)yQ(y)=xP(x)yQ(y)对任意 aR,有0*a=0+a+0a=aa*0=a+0+a0=a故0是幺元。对任意 a,bR,有a*b=a+b+abR所以*是封闭的。对任意 a,b,cR,有(a*b)*c=(a+b+ab)+c+(a+b+ab)c=a+b+c+ab+ ac+bc+ abca*(b*c)=a+(b+c+bc)+a(b+c+bc)=a+b+c+ab+ ac+bc+ abc所以(a*b)*c=a*(b*c)故*是可结合的。综上所述,

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1