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

加入VIP,免费下载
 

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

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

下载须知

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

版权提示 | 免责声明

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

离散数学第3次.docx

1、离散数学第3次离散数学 ( 第3次 )第3次作业一、填空题(本大题共20分,共 10 小题,每小题 2 分)1. 是否可以画出一个简单的无向图,使得各点度数与一下序列一致。(T or F)(1)2,2,2,2,2,2 ; ()(2)2,2,3,4,5,6 ; ()( 3) 1,2,3,4,4,5; ()2. 在根树中,若从Vi到Vj可达,则称Vi是Vj的_,Vj是Vi的_3. 设A=a,b,B=1,2,3,判断下列集合是否是A到B的函数。F_1=a,1,b,2,F_2=a,1,b,1, F_3=a,1,a,2, F_4=a,34. 用列元法表示下列集合A=x|xN且x29,则可表示为( )。5

2、. 设X=a,b,c,d,Y=1,2,3,4,5,且有f=,,则 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上的二元关系,试判断下列命题是否正确 ( ) ( ) ( )9. 设R_1和R_2是非空集合A上的等

3、价关系,下列各式哪些是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 分)1. 试将公式化成等价的前束范式:xF(x)xQ(x);2. z

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

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

6、,则F_4是函数,其定义域为a。评分标准:4. 参考答案:1,2,3解题方案:评分标准:5. 参考答案:a,b,c,d 1,3,4 f(a)=1,f(b)=3,f(c)=4,f(d)=4解题方案:评分标准:6. 参考答案:正确 正确 错误解题方案:整数集Z和实数集R上的小于等于关系“”不是良序关系 (因为Z或R本身无最小元) 。评分标准:7. 参考答案:2(n2 ) 2(mn) 解题方案:评分标准:8. 参考答案:(1)命题正确(2)命题正确(3)命题不正确解题方案:评分标准:9. 参考答案:(1)不是 (2)不是 (3) 是 (4) 不是 (5) 是解题方案:评分标准:10. 参考答案:Y

7、N解题方案:评分标准:二、计算题(40分,共 4 题,每小题 10 分)1. 参考答案:xF(x)xQ(x)=xF(x)xQ(x)=xF(x)xQ(x)=x(F(x)Q(x)解题方案:评分标准:2. 参考答案: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(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(

8、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)( ( 前束析取范式解题方案:评分标准:3. 参考答案:(PQ)(PQ)=((PQ)(PQ))((PQ)(PQ))(等值律)=((PQ)(PQ)) ((PQ)(PQ)) (蕴涵律)=(PQ)(PQ) (分配律) 合取范式=(PP) (PQ)(QP)(QQ) (分配律)析取范式解题方案:评分标准:4. 参考答案:(1)fg

9、=x,x2+8x+14|x R gf =x,x2 +2|xR (2)gf 和 fg均是非单非满函数。 (3)因为g是双射,所以可逆,其逆函数为:g(-1) ( x)=x-4。解题方案:评分标准:三、简答题(20分,共 4 题,每小题 5 分)1. 参考答案:step1: 添加连接两个奇度点的边Step2: 调用一般的欧拉回路的算法Step3: 在回路中删除添加的边解题方案:评分标准:2. 参考答案:=,dom2,3,4ran3,4,5解题方案:评分标准:3. 参考答案:解题方案:评分标准:4. 参考答案:图 RS的矩阵图 SR的矩阵解题方案:因为关系可用图形表示,所以复合关系也可用图形表示。评

10、分标准:四、证明题(20分,共 2 题,每小题 10 分)1. 参考答案:xy(P(x)Q(y) )=xy(P(x)Q(y) )=xP(x)yQ(y)=xP(x)yQ(y)=xP(x)yQ(y)解题方案:评分标准:2. 参考答案:对任意 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-2023 冰点文库 网站版权所有

经营许可证编号:鄂ICP备19020893号-2