离散数学形成性考核作业_第1页
离散数学形成性考核作业_第2页
离散数学形成性考核作业_第3页
离散数学形成性考核作业_第4页
离散数学形成性考核作业_第5页
已阅读5页,还剩2页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、精选优质文档-倾情为你奉上姓 名: 学 号: 得 分: 教师签名: 离散数学形成性考核作业4离散数学综合练习书面作业要求:学生提交作业有以下三种方式可供选择:1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅2. 在线提交word文档3. 自备答题纸张,将答题过程手工书写,并拍照上传一、公式翻译题 1请将语句“小王去上课,小李也去上课”翻译成命题公式 设P:小王去上课。 Q: 小李去上课。 则PQ 2请将语句“他去旅游,仅当他有时间”翻译成命题公式 设P:他去旅游。 Q: 他有时间。 则PQ 3请将语句 “有人不去工作”翻译成谓词公式 设

2、A(x): x是人 B(x):去工作 x(A(x)B(x) 4请将语句“所有人都努力学习”翻译成谓词公式 设A(x): x是人 B(x):努力工作 x(A(x)B(x)二、计算题1设A=1,2,1,2,B=1,2,1,2,试计算(1)(A?B); (2)(AB); (3)A×B解:(1)(A?B)=1,2(2)(AB)=1,2(3) A×B <1,1>,<1,2>,<1,1,2 >,<2,1>,<2,2>,<2,1,2 >,<1,1>,<1,2>,<1,1,2 >,&

3、lt;2,1>,<2,2>,<2,1,2 >2设A=1,2,3,4,5,R=<x,y>|x?A,y?A且x+y?4,S=<x,y>|x?A,y?A且x+y<0,试求R,S,R?S,S?R,R-1,S-1,r(S),s(R) 解: R=<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>S=R?S=S?R=R-1=<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3&

4、gt;S-1=r(S)= <1,1>,<2,2>,<3,3>,<4,4>,<5,5>s(R)= <1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1> 3设A=1, 2, 3, 4, 5, 6, 7, 8,R是A上的整除关系,B=2, 4, 6(1) 写出关系R的表示式; (2) 画出关系R的哈斯图; (3) 求出集合B的最大元、最小元 解:(1) R=<1,1>,<1,2>,<1,3>,<1,4>,

5、<1,5>,<1,6>,<1,7>,<1,8>,<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>12346578关系R的哈斯图(2) (3) 集合B没有最大元,最小元是24设G=<V,E>,V= v1,v2,v3,v4,v5,E= (v1,v3),(v2,v3),(v2,v4),(v3,v4),(v3

6、,v5),(v4,v5) ,试(1) 给出G的图形表示; (2) 写出其邻接矩阵;(3) 求出每个结点的度数; (4) 画出其补图的图形解:(1) °° °° °(2) (3) 1、2、4、3、2(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的图形; (

7、2)写出G的邻接矩阵;(3)求出G权最小的生成树及其权值 b c解:(1) 。 。 2 1a。 6 4 2 1 3 。 。 e 5 d 专心-专注-专业(2) (3) b c 。 。 2 1 a。 1 3 。 。 e d 其权值为:7 6设有一组权为2, 3, 5, 7, 17, 31,试画出相应的最优二叉树,计算该最优二叉树的权解: 65 17 48 5 12 17 31 2 3 5 7 权值为65。 7 求P?Q?R的析取范式,合取范式、主析取范式,主合取范式解:P?(QR)= P?QR所以合取范式和析取范式都是P?QR所以主合取范式就是P?QR所以主析取范式就是(?P?Q ?R) ?(?

8、P?Q? R) ? (?P?Q? ?R) (?P?Q ?R) ?(P?Q? R) ? (P?Q? R) ? (P?Q? R)8设谓词公式(1)试写出量词的辖域;(2)指出该公式的自由变元和约束变元解:(1)量词?x的辖域为 P(x,y) ?(?z)Q(y,x,z) 量词?z的辖域为Q(y,x,z) 量词?y的辖域为R(y,x)(2) P(x,y)中的x是约束变元,y是自由变元 Q(y,x,z)中的x和z是约束变元,y是自由变元 R(y,x)中的x是自由变元,y是约束变元 9设个体域为D=a1, a2,求谓词公式(?y)(?x)P(x,y)消去量词后的等值式;解: ?y?xP(x,y)= ?xP

9、(x, a1) ?xP(x, a2)=( P(a1, a1) ? P(a2, a1) ?( P(a1, a2) ? P(a1, a2)三、证明题 1对任意三个集合A, B和C,试证明:若A?B = A?C,且A?,则B = C 证明:设x?A,y?B,则<x,y>?A?B, 因为A?B = A?C,故<x,y>? A?C,则有y?C, 所以B ? C 设x?A,z?C,则<x,z>? A?C, 因为A?B = A?C,故<x,z>?A?B,则有z?B,所以C?B 故得A=B 2试证明:若R与S是集合A上的自反关系,则RS也是集合A上的自反关系 证明:R1和R2是自反的,?x ?A,<x, x> ? R1,<x, x> ?R2,则<x, x> ? R1R2, 所以R1R2是自反的3设连通图G有k个奇数度的结点,证明在图G中至少要添加条边才能使其成为欧拉图证明:由定理推论知:在任何图中,度数为奇数的结点必是偶数个,则k是偶数。又由欧拉图的充要条件是图G中不含奇数度结点。因此,只要在每对奇数度结点间各加一条边,使图G的所有结点的度数变为偶数,成为欧拉图。故最少要加条边才能使其成为欧拉图。 4试证明 (P?(Q?R)?P?Q与? (P?Q)等价证:(P?(Q?R)?P?Q?(?P?(

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论