- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散sample试卷
陕西师范大学2005—2006学年第二学期期末考试
计算机科学学院2005级计算机科学与技术专业
离散数学(B)
题号 一 二 三 四 总分 分数
答卷注意事项:
1、学生必须用蓝色(或黑色)钢笔、圆珠笔或签字笔直接在试题卷上答题。
2、答卷前请将密封线内的项目填写清楚。
3、字迹要清楚、工整,不宜过大,以防试卷不够使用。
4、本卷共4 大题,总分为100分。
得分 评卷人 一、Identify each of the following as true or false(判断下列命题的真假)(5小题,每小题2分,共10分)
(1) If AB and BC, then AC.( )
(2) If the statement pq is true, then p is true too.( )
(3) },(1,4),(2,3),(3,4)} on A={1,2,3,4} is not transitive (传递的).( )
(4) Every .( )
(5) Every (阿贝尔群).( )
Select the correct answers to fill in the blanks(选择题,每题只有一个正确选择)(5小题,每小题2分,共10分):
(1) Which of the following statements is true? ( )
A、{a,b}{{a},{b}} B、{{Ф}}{Ф,{{Ф}}}
C、Ф{{Ф}} D、Ф{Ф,{{Ф}}}
(2) Let the poset(偏序集) be A={2, 3, 6, 9, 12} with the partial order of divisibility(整除关系).Then ( ).
A、the maximal element(极大元) of the poset is .
B、the maximal elements of the poset are 12, .
C、the minimal element(极小元) of the poset 2.
D、there isn’t a maximal element.
(3) In a tree() with n-1 edges, there are ( ) .
A、at least n+1 s B、n-1 s
C、at most n-s D、n s
(4) Let A and B be sets.hich of the following statements must be true? ( )
A、AB B、B=A C、AB D、BA
(5) Which of the formulae is a tautology(永真式)? ( )
A、(p~p )p B、(~pq)(q~r)C、(pq)(p~p) D、(pq)p~p
得分 评卷人
三、Compute(计算题)(6小题,每小题6分,共24分.解答应写出详细的演算过程.)
(1) Let A=the set of positive integers(正整数集),R={(x, y)|x, y and x-y is even(偶数)}.Compute Rand determine whether the relation R is reflexive, irreflexive(反自反的), symmetric(对称的), asymmetric(非对称的), antisymmetric(反对称的), or transitive(传递的).
Compute the principal disjunctive normal form(主析取范式) and the principal conjunctive normal form(主合取范式) of the following formula: ~(pr)(~qr).
Let U={a,b,c,d,e}, A={a,d}, B={a,b,c}, C={b,d}.Compute ’, P(A)-P(B), (A△B)C.
Make a truth table for (pr)~(~qr).(1) Let A, B and C be sets.Show that and A-(BC)=(A-B)(A-C).(2) Prove that p~q,q~r,r~s ~p.
(3)
文档评论(0)