离散数学期末试题_第1页
离散数学期末试题_第2页
离散数学期末试题_第3页
全文预览已结束

下载本文档

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

文档简介

1、装 订 线一二三四五六七八总分标准分10153015105510100得 分一、利用求主范式的方法判定下列公式的属性（每小题5分共10分）（1）（2）(PQ)(PQR)二、推理题（其中第(1)小题8分第(2)小题7分共15分）（1）假定个体域是所有人组成的集合，首先将下列命题符号化，然后使用推理的方法进行证明 （8分） 每一个去北京旅游的人，或者参观故宫，或者参观颐和园，或者去登长城；凡是去北京旅游的人，如果爬香山就不参观颐和园；有的到北京的旅游者既不参观故宫也不去登长城。因此，有的去北京旅游的人不爬香山。建议使用下列参考谓词：BJ(x): x是去北京旅游的人GG(x):x是参观故宫的人YY(

2、x):x是参观颐和园的人CC(x):x是去登长城的人XS(x):x是去爬香山的人（2）使用CP规则，构造下列推理的证明（7分）三、简答题（每小题3分共30分）（1）通过什么途径确定具有n个元素的集合构成不同等价关系的数量？（2）是等价关系一定是相容关系吗？说明原因。（3）是覆盖一定是划分吗？说明原因。（4）高级语言和目标语言之间的关系是哪两个关系的复合？（5）写出偏序关系的形式化定义。（6）设集合X有n个元素问集合X上可构成多少个2元运算？（7）正则图一定是完全图吗？说明原因。（8）完全图一定是正则图吗？说明原因。（9）叶加权最优二叉树一定是最小生成树吗？说明原因。（10）图的邻接矩阵中行上1

3、的个数，列上1的个数的含义各是什么？四、给定S=1,2,3,4,5,6的划分为A=1, 2, 3, 4, 5, 6 （15分，每小题3分）（1）试求出与该划分相对应的等价关系（2）画出其关系图（3）求出其关系矩阵（4）给出其可传递闭包（5）给出其对称闭包五、证明n阶二叉树有(n+1)/2片叶子 （10分）六、设*是整数集合上的二元运算，其定义为x*y=x。证明*不是可交换的，但是可以结合的 （5分）七、证明如果群G,*中的每一个元素a都满足a2 = e，e 是幺元，则G是阿贝尔群（可交换群） (5分)八、选择填空（每空2分共10分）（1）命题逻辑中的极大项一定是（ ） A：基本积 B：基本和（2）二元树的先序遍历顺序是（ ） A：左、根、右 B：根、左、右（3）把一个图转换成树的方法是（ ） A：求生成子图 B：求生成树（4）给定代数系统U=A，*，其中A=a,b,c,d*的运算表为： * a b c d a b c d a b d a c b c a d b c d b a d c 以下子系统谁是U的子代数系统（ ） A：U1=a,b,c,* B: U2= a,b,c,d,*（5）对下面

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

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

最新文档

评论

0/150

提交评论