- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2010级离散数学(I)A卷参考答案
北 京 化 工 大 学 试 卷 2004.6
离 散 数 学(参考答案)
一、填空题(共10分,每小题2分)
1.$xF(x)→yG(y,z)的前束范式是 xy(F(x)→yG(y,z) ) 。
2.(p→q)∨p是(永真/永假/可满足) 永真 式。
3.设全集E={1,2,3,4,5,6},其子集A={1,4},B={1,2,5},则A∩~B= {4} 。
4.设集合M={a,b,c,d,e},则M上一共有 52 个不同的等价关系。
5.设f:N×N→N,f (x,y) = x+y+1,令A={x,y | x,y∈N且f (x,y)=3},则A的列举法表示为A= {1,1,2,0,0,2} 。
二、判断题(共10分,每小题2分,正确的在题号前打?,错误的在题号前打×)
( √ ) 1. 设X={a,b,c,d},Y={ 1,2,3},f={a,1,b,2,c,3},则f 是从X 到Y 的二元关系,但不是从X 到Y 的函数。
( × ) 2.已知A和B为两个集合,且AB,则A? B一定为假。
( √ ) 3.设p,q,r,s为命题公式,如果p ? q且r T s,则p∧r T q∧s。
( × ) 4.一个谓词公式,如果量词均出现在全式的开头,则称该谓词公式为前束范式。
( √ ) 5. 设R是A上的自反关系,且当a,b∈R和a,c∈R时,必有b,c∈R,则R是A上的等价关系。
三、选择题(共10分,每小题2分)
1.设个体域为整数集,P(x,y):x+y = 1,Q(x,y):x×y 0,下列命题为真的是( A )。
A、x$ y P(x,y) B、$ xyP(x,y)
C、x$ y Q(x,y) D、$ xyQ(x,y)
2.设R是集合A上的自反关系,则下列叙述中不成立的是( C )。
A、R?R-1一定是A上的自反关系
B、R?R-1一定是A上的对称关系
C、R?R-1一定是A上的传递关系
D、仅有A和B是正确的
3.下列命题真值为真的是( A )。
A、23当且仅当57
B、23当且仅当57
C、2+2≠4与4+4=8互为充分必要条件
D、如果π 无理数,则3也是无理数,反之亦然
4. 下列每组两个集合中相等的一组集合是( A )。
A、A={3,1,1,5,5},B={1,3,5} B、A=?,B={?}
C、A=?,B={x | x∈N且x是偶素数} D、A={1,2,?},B={1,2,{?}}
5. 在谓词演算中,若谓词公式中含有自由变元,则不能被使用的规则是( C )。
A、US规则 B、UG规则 C、ES规则 D、EG规则
四、简答及计算题(共30分,每题10分)
1.采用真值表求命题公式(p∧q)∨(~p∧r)的主析取范式和主合取范式。
解:求解过程(4分)
p
q
r
p∧q
~p∧r
(p∧q)∨(~p∧r)
0
0
0
0
0
0
0
0
1
0
1
1
0
1
0
0
0
0
0
1
1
0
1
1
1
0
0
0
0
0
1
0
1
0
0
0
1
1
0
1
0
1
1
1
1
1
0
1
主析取范式(3分):(p∧q)∨(~p∧r) ?m1∨m3∨m6∨m7?(~p∧~q∧r)∨(~p∧q∧r)∨(p∧q∧~r)∨(p∧q∧r)
主合取范式(3分):(p∧q)∨(~p∧r)?M0∨M2∨M4∨M5=(p∨q∨r)∧(p∨~q∨r)∧(~p∨q∨r)∧(~p∨q∨~r)
2.设A={a,b,c,d,e,f },R是A上的二元关系,其关系定义如下:
R={ a,b , b,c , c,a , e,f , f,e }
求最小自然数s和t,使得s t 且 Rs=Rt。
解:求解过程(6分)
R={ a,b , b,c , c,a , e,f , f,e }
R2={ a,c, b,a , c,b , e,e ,f,f }
R3={ a,a, b,b , c,c , e,f , f,e}
R4={ a,b, b,c , c,a , e,e , f,f }
R5={ a,c, b,a , c,b , e,f , f,e }
R6={ a,a, b,b , c,c , e,e , f,f }
(4分)因此有:R6=IA= R0
即:s =0,t=6
3.如图为偏序集X,≤的哈斯图。
(1)给出X和≤的集合表示(6分);
(2)求该偏序集的极大元、极小元、最大元和最小元(4分)。
解:X ={a,b,c,d,e,f }
X ={a,b ,a,c ,a,d ,a,e ,a,f ,b,e ,c,e ,c,f ,d,f }∪IX
极
您可能关注的文档
- 2003年江苏省高等教师资格考试《职业道德概论》真题(带答案).doc
- 2004 LA医师上岗证考试试题.doc
- 全国2013年1月高等教育自学考试劳动经济学试题.doc
- 全国2013年1月高等教育自学考试房地产经营管理试题课程代码00172.doc
- 全国2013年1月高等教育自学考试文学概论(一)试题课程代码00529.doc
- 全国2013年1月高等教育自学考试社会保障概论试题课程代码00071.doc
- 全国2013年1月高等教育自学考试行政组织理论试题课程代码00319.doc
- 全国2013年1月高等教育自学考试语言学概论试题课程代码00541.doc
- 全国2013年1月高等教育自学考试试题公安学基础理论试题课程代码00354.doc
- 2004国家公务员考试申论试题和答案详解.doc
文档评论(0)