离散sample试卷.doc

陕西师范大学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)