甘肃开放大学《离散数学（本）》形考任务三（占形考总分的20%）答卷_第1页
甘肃开放大学《离散数学（本）》形考任务三（占形考总分的20%）答卷_第2页
甘肃开放大学《离散数学（本）》形考任务三（占形考总分的20%）答卷_第3页
全文预览已结束

下载本文档

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

文档简介

1.无向图G是棵树，边数为12,则G的结点数是().2.无向图G是棵树，边数是12,则G的结点度数之和是().3.无向图G是棵树，结点数为10,则G的边数是().A.({图}x)(A(x)入B(x))C.({图}x)(A(x)△B(x))D.7({图}x)(A(x)A7B(x))7.设A(x):x是学生，B(x):x去跑步，则命题“所有人都去跑步”可符号化为8.设A(x):x是书，B(x):x是数学书，则命题“不是所有书都是数学书”可符号化为().9.("x)(P(x,y)VQ(z))A(Sy)(R(x,y)→("z)Q(z))中量词“"”的辖域是A.P(x,y)B.P(x,y)VQ(z)C.R(x,y)D.P(x,y)八R(x,y)10.设个体域D={a,b,c},那么谓词公式($x)A(x)V("y)B(y)消去量词后的等值式为().A.(A(a)VA(b)VA(c))VABABB.(A(a)AA(b)AA(c)VBVBD.(A(a)AA(b)AA(c))VAB11.若无向图G的边数比结点数少1,则G是树.12.无向图G是树当且仅当无向图G是连通图.13.无向图G是棵树，结点度数之和是20,则G的边数是914.设G是有8个结点的连通图，结点的度数之和为24,则可从G中删去5条边15.设个体域D={1,2,3},则谓词公式("x)A(x)消去量词后的等值式为A(1)AA(2)AA(3).16.设个体域D={1,2,3,4},则谓词公式($x)A(x)消去量词后的等值式为A(1)17.设个体域D={1,2},则谓词公式(”x)P(x)V($x)Q(x)消去量词后的等值式为(P(1)AP(2))V(Q(1)VQ(2)).18.("x)(P(x)AQ(y)→R(x))中量词“””的辖域为(P(x)AQ(y)).19.(”x)(P(x)八Q(y))→R(x)中量词“””的辖域为(P(x)AQ(y)).20.设A(x):x是人，

人人文库> 全部分类> 教育资料 > 考试试卷

温馨提示

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

最新文档

评论

0/150

提交评论