离散数学期末考试_2013年春季_试卷B_答案及评分细则.doc

电子科技大学2012-2013学年第 2学期期 末 考试 B 卷 答案及评分细则 课程名称： 离散数学 考试形式： 闭卷 考试日期：2013 年 月 日 考试时长：120分钟 Multiple Choice (15%, 10 questions, 1.5 points each ) C, D, D, D, C,A, A, D, B, C True or False (10%, 10 questions, 1 point each) F, F, T, F, F, F, F, F, T, T Fill in the Blanks (20%, 10 questions, 2 points each) 0, -84, ?(1?1)?, ?(1?1)?(2?1)?(3?2)?(4?1)?, Roses are not red or violets are not blue, ?x(T(x)?F(x)) , O(n), 1?2, ?x?y (xy 0)., Answer the Questions (35%,7 questions, 5 points each)： Grading rubric: -3 points for making wrong assumptions.-2 points for not being able to complete the proof.-1 to -3 points for illegal usage of equivalence rules. 2. (a) ?0?1?2?3? (3 points) (b) [6?12). (2 points) 3. Ans: A is a knave, B is a knight. (2.5 points each ) 4. Ans: : Let . ? x ? A ? B? ? x ? A or or (3 points) Reversing the steps shows that .(2 points) 5. Ans: Encrypted form: YZUV. (one character 1 point) 6. Ans: 120 ? 4 ? 450 ? (?1). ( 1 point each step, the result, 2 points) 7. Ans: The graphs are not isomorphic(2 points): the graph on the left is planar, but the graph on the right is isomorphic to K3?3.(3 points) (6%) Ans: Grading rubric: -3 points for making wrong assumptions.-2 points for not being able to complete the proof.-1 to -3 points for illegal usage of equivalence relation. VI (7%) Using alphabetical order to determine the position of rows and columns, we have the adjacency matrix (2 points) Therefore Selecting the appropriate entries, we have (a) the 5, 3-entry of A3 is 3. (2 points) (b) the 5, 5-entry of A4 is 2. (2 points) (c) the 6, 2-entry of A6 is 5. (1 points) VII(7%) We will use S(x) to mean “x is a student in this class”, J(x) to mean “x is a Junior”, and P(x) to mean “x passed the final exam”, where the universe for x consists of all people. (2 points) The proof is: 1. ?x (S(x) → J(x)) premise (1 point) 2. ?x(J(x) → P(x)) premise 3. S(Allen) → J(Allen) universal instantiation on (