考试离散数学第三次作业.docx
《考试离散数学第三次作业.docx》由会员分享，可在线阅读，更多相关《考试离散数学第三次作业.docx（11页珍藏版）》请在冰豆网上搜索。
考试离散数学第三次作业
2013年4月考试离散数学第三次作业
一、填空题（本大题共30分，共15小题，每小题2分）
1.一公式为______之充分必要条件是其合取范式之每一合取项中均必同时包含一命题变元及其否定
2.对于前提：
S→Q,SR,R,PQ，其有效结论为______。
3.集合M={a,b,c,d}，集合N={1,2},则M到N的不同的函数关系有______个。
4.设p,q的真值为0；r,s的真值为1，求命题公式（r
s）
（p
q）的真值______。
5.下图的邻接矩阵A=______。
6.设A={a,b,c},A上的二元关系R={,}，则r（R）=______；s（R）=______。
7.求命题公式
的主合取范式______。
8.在代数系统中，A={a}，*是A上的二元运算，则该代数系统的单位元是______,零元是______。
9.设无向图中有6条边，3度与5度顶点各1个，其余顶点都是2度结点，该图有______个顶点。
10.有5个结点的完全图的总边数为______。
11.设个体域D={1,2}，命题
x
y（x+y=3）的真值为______。
12.一棵树有2个2度结点，1个3度结点，3个4度结点，则其1度结点数为。
______
13.求命题公式
的主析取范式______。
14.设A={1,2},B={α，β，γ}，则AoB=______。
15.设Z是整数集，+是整数加法运算，则是群，其幺元是______。
二、作图题（本大题共10分，共2小题，每小题5分）
1.设A={a,b,c},P（A）是A的幂集，R为A上的包含关系，试给出的哈斯图，并给出子集{{b,c},{a,c},{c}}的极大元、极小元、最大元、最小元。
2.某城市拟在六个区之间架设有限电话网，其网点间的距离如下有权矩阵，请绘出有权图，给出架设线路的最优方案，并计算线路的长度。
三、计算题（本大题共20分，共4小题，每小题5分）
1.一棵树中，度数为2的结点有2个，度数为3的结点有3个，。
。
。
度数为k的结点有k个，其余的是度数为1的结点，求度数为1的结点的个数。
2.判定下图是否能够一笔画，若不能，请说明为什么，若能，请标出路径。
3.证明：
（）（C（x）→W（x）∧R（x））∧（∃x）（C（x）∧Q（x））（∃x）（Q（x）∧R（x））
4.对200名大学一年级的学生进行调查的结果是：
其中67人学数学，人学物理，95人学生物，26人既学数学又学生物，28人既学数学又学物理，27人既学物理又学生物，50人这三门课都不学。
50人这三门课都不学。
求出三门课都学的学生数
四、简答题（本大题共8分，共1小题，每小题8分）
判定下列代数系统是否为群，请说明原因。
（1），其中R为实数集，+为普通加法；
（2）>，其中I为整数集，
为普通乘法
五、分析题（本大题共8分，共1小题，每小题8分）
求出下图的最小生成树，并计算出权。
六、证明题（本大题共24分，共3小题，每小题8分）
1.如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI语言而且学过C++语言。
只要他学过DELPHI语言或者C++语言，那么他就会编程序。
因此如果他是计算机系本科生，那么他就会编程序。
请用命题逻辑推理方法，证明该推理的有效结论。
2.设A={1,2,3…9}，在A×A上定义关系R：
如果a+d=b+c,则R.
（1）证明R是等价关系.
（2）求[＜3，6>]R（即＜3，6>的等价类）
3.设f1,f2都是从代数系统到代数系统的同态。
设g是从A到B的一个映射，使得对任意a∈A，都有g（a）=f1（a）*f2（a）
答案：
一、填空题（30分，共15题，每小题2分）
1.
参考答案：
永真式
解题方案：
评分标准：
答案正确得满分，错误不得分
2.
参考答案：
P
解题方案：
评分标准：
3.
参考答案：
16
解题方案：
评分标准：
4.
参考答案：
0
解题方案：
评分标准：
5.
参考答案：
解题方案：
评分标准：
6.
参考答案：
{,,,,},s（R）={,,,}
解题方案：
评分标准：
7.
参考答案：
解题方案：
评分标准：
8.
参考答案：
a,a
解题方案：
评分标准：
9.
参考答案：
4
解题方案：
评分标准：
10.
参考答案：
10
解题方案：
评分标准：
11.
参考答案：
1
解题方案：
评分标准：
12.
参考答案：
9
解题方案：
评分标准：
13.
参考答案：
解题方案：
评分标准：
14.
参考答案：
{＜1,α＞,＜1,β＞,＜1,γ＞,＜2,α＞,＜2,β＞，＜2,γ＞}
解题方案：
评分标准：
15.
参考答案：
0
解题方案：
评分标准：
答案正确得满分，错误不得分
二、作图题（10分，共2题，每小题5分）
1.
参考答案：
A的幂集为{{a},{b},{c},{a,b},{b,c},{a,c},{a,b,c},φ}的哈斯图如下：
{{b,c},{a,c},{c}}的极大元为{b,c},{a,c}；{{b,c},{a,c},{c}}的极小元为{c}；最大元：
无；最小元：
{c}
解题方案：
评分标准：
2.
参考答案：
根据矩阵画出无向图为：
根据题意求出最小生成树如下：
该最小生成树的权重为：
1+2+3+5+7=18因此本题中线路的长度为18
解题方案：
评分标准：
三、计算题（20分，共4题，每小题5分）
1.
参考答案：
设度数为1的结点有x个，则该树中有x+2+3+…+k个顶点，从而有x+2+3+…+k-1条边则有：
x*1+2*2+…k*k=2（x+2+3…k-1）则x=∑i2-2Σi+2（i=2,3,…,k）
解题方案：
评分标准：
334
2.
参考答案：
可以一笔画（路径略）
解题方案：
评分标准：
3.
参考答案：
1）（）（C（x）→W（x）∧R（x））P
2）（∃x）（C（x）∧Q（x））P
3）C（a）∧Q（a）ES
（2）
4）C（a）→W（a）∧R（a）US
（2）
5）C（a）T（4）
6）W（a）∧R（a）T（4）（5）
7）Q（a）T（3）
8）R（a）T（6）
9）Q（a）∧R（a）T（7）（8）
10）（∃x）（Q（x）∧R（x））EG（9）
解题方案：
1）（）（C（x）→W（x）∧R（x））P
2）（∃x）（C（x）∧Q（x））P
3）C（a）∧Q（a）ES
（2）
4）C（a）→W（a）∧R（a）US
（2）
5）C（a）T（4）
6）W（a）∧R（a）T（4）（5）
7）Q（a）T（3）
8）R（a）T（6）
9）Q（a）∧R（a）T（7）（8）
10）（∃x）（Q（x）∧R（x））EG（9）
评分标准：
1111111111
4.
参考答案：
：
设学生学习数学为具有性质P1,其集合为A1；学生学习物理为具有性质P2,其集合为A2；学生学习生物为具有性质P3,其集合为A3。
|A1|=67,|A2|=47,|A3|=95|A1∩A3|=26,|A1∩A2|=28,|A2∩A3|=27|～A1∩～A2∩～A3|=50,N=200|～A1∩～A2∩～A3|=N-|A1|-|A2|-|A3|+|A1∩A3|+|A1∩A2|+|A2∩A3|-|A1∩A2∩A3|所以|A1∩A2∩A3|=22（人）
解题方案：
：
设学生学习数学为具有性质P1,其集合为A1；学生学习物理为具有性质P2,其集合为A2；学生学习生物为具有性质P3,其集合为A3。
|A1|=67,|A2|=47,|A3|=95|A1∩A3|=26,|A1∩A2|=28,|A2∩A3|=27|～A1∩～A2∩～A3|=50,N=200|～A1∩～A2∩～A3|=N-|A1|-|A2|-|A3|+|A1∩A3|+|A1∩A2|+|A2∩A3|-|A1∩A2∩A3|所以|A1∩A2∩A3|=22（人）
评分标准：
253
四、简答题（8分，共1题，每小题8分）
0.
参考答案：
（1）为群，因为“+”运算满足封闭性和结合性。
幺元为0，对于R中的任何元素x，都存在逆元-x，故为群。
（2）>不是群，因为“
”运算的要与去了为1，但是并非整数集上的任意元素不存在逆元。
因为整数的倒数是小数。
解题方案：
评分标准：
五、分析题（8分，共1题，每小题8分）
0.
参考答案：
权=1+2+2+3+5=13
解题方案：
权=1+2+2+3+5=13
评分标准：
7
3
六、证明题（24分，共3题，每小题8分）
1.
参考答案：
设P:
他是计算机系本科生；Q:
他是计算机系研究生；R:
他学过DELPHI语言；W:
他学过C++语言；V:
他会编程序。
则原题的描述可表示为：
推理过程如下：
（1）PP（附加前提）
（2）PQT
（1）（3）PQRWP（4）RWT
（2）（3）（5）RT（4）（6）RWT（5）（7）RWVP（8）VT（6）（7）（9）PVCP规则
解题方案：
评分标准：
2.
参考答案：
证明：
（1）1）∀∈AA，有a+b=b+a所以有：
R，故自反性成立。
2）∀,∈AA，且R有a+d=b+c，则c+b=d+a故有R对称性成立。
3）∀,,∈AA，且R,R,有a+d=b+c且c+f=d+e，两式相加，可得a+f=b+e故有R传递性成立。
由以上三条可知，R是等价关系。
（2）[]R={,,,,,}
解题方案：
评分标准：
3.
参考答案：
因为对于任意的a，b∈A，都有g（a★b）=f1（a★b）*f2（a★b）=f1（a）*f1（b）*f2（a）*f2（b）=g（a）*g（b）所以，g是由到的同态。
解题方案：
因为对于任意的a，b∈A，都有g（a★b）=f1（a★b）*f2（a★b）=f1（a）*f1（b）*f2（a）*f2（b）=g（a）*g（b）所以，g是由到的同态。
评分标准：
55
升级会员 