查看: 9608|回复: 0

国开网离散数学(本)形考任务4 各章综合练习答案

[复制链接]

9162

主题

9199

帖子

24万

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
241948
发表于 2020-10-11 10:53:23 | 显示全部楼层 |阅读模式
形考任务4 各章综合练习答案→ → → 点击下载      xkrw4xx.docx (106.96 KB, 下载次数: 137, 售价: 5.00 元)
离散数学综合练习书面作业
要求:学生提交作业有以下三种方式可供选择:
1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅.
2. 在线提交word文档.
3. 自备答题纸张,将答题过程手工书写,并拍照上传.


一、公式翻译
1.请将语句“小王去上课,小李也去上课.”翻译成命题公式.




2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.




    3.请将语句 “有人不去工作”翻译成谓词公式.




    4.请将语句“所有人都努力学习.”翻译成谓词公式.





二、计算题
1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算
(1)(A-B);    (2)(AB);    (3)A×B












2.设A={1,2,3,4,5},R={<xy>|xÎAyÎAx+y£4},S={<xy>|xÎAyÎAx+y<0},试求RSR·SS·RR-1,S-1,r(S),s(R).


















    3.设A={1, 2, 3, 4, 5, 6, 7, 8},RA上的整除关系,B={2, 4, 6}.
(1) 写出关系R的表示式;            (2) 画出关系R的哈斯图;
    (3) 求出集合B的最大元、最小元.

















4.设G=<VE>,V={ v1,v2,v3,v4,v5},E={ (v1,v3),(v2,v3),(v2,v4),(v3,v4),(v3,v5),(v4,v5) },试
(1) 给出G的图形表示;              (2) 写出其邻接矩阵;
(3) 求出每个结点的度数;            (4) 画出其补图的图形.














5.图G=<V, E>,其中V={ a, b,c, d, e},E={ (a, b),(a, c), (a, e), (b,d), (b, e), (c, e),(c, d), (d, e) },对应边的权值依次为2、1、2、3、6、1、4及5,试
(1)画出G的图形;                (2)写出G的邻接矩阵;
(3)求出G权最小的生成树及其权值.



















6.设有一组权为2, 3, 5, 7, 17, 31,试画出相应的最优二叉树,计算该最优二叉树的权.












7. 求P®QÚR的析取范式,合取范式、主析取范式,主合取范式.














8.设谓词公式file:///C:/Users/CHENZH~1/AppData/Local/Temp/msohtmlclip1/01/clip_image003.png.
(1)试写出量词的辖域;
(2)指出该公式的自由变元和约束变元.
    9.设个体域为D={a1, a2},求谓词公式("y)($x)P(x,y)消去量词后的等值式;
三、证明题
    1.对任意三个集合A, BC,试证明:若A´B = A´C,且A¹file:///C:/Users/CHENZH~1/AppData/Local/Temp/msohtmlclip1/01/clip_image005.png,则B = C











2.试证明:若RS是集合A上的自反关系,则RS也是集合A上的自反关系.











3.设连通图Gk个奇数度的结点,证明在图G中至少要添加file:///C:/Users/CHENZH~1/AppData/Local/Temp/msohtmlclip1/01/clip_image007.png条边才能使其成为欧拉图.










    4.试证明 (P®(QÚØR))ÙØPÙQ与Ø (PÚØQ)等价.













5.试证明:Ø(A∧ØB)∧(ØBC)∧ØC ÞØA














回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

 
 
代做客服
更新报错
下载问题
充值问题
交流合作
作业代做一群:
河南电大教学考代做
作业代做二群:
电大题库吧代做二群
工作时间:
0:00-24:00
官方微信扫一扫
快速回复 返回顶部 返回列表