信管离散考试卷(B).docVIP

2009－2010学年第二学期 计算机学院12信管《离散数学》期末考试卷（B卷） 年级＿2012＿专业＿信管＿学号＿＿＿＿＿＿ 姓名＿＿＿ 注：考试时间共90分钟，试卷总分100分 题号 一 二 三 四 五 六 总分 签名 得分 一 得 分 选择题（每小题4分，共20分），请将所选答案填入下表中。 题号 1 2 3 4 5 答案 1．R是A上的偏序关系，则R具有的性质为： A. 自反性、对称性、传递性 B. 自反性、反对称性、传递性 C. 反自反性 、 对称性、传递性 D. 对称性、传递性 2. 设表示“是学生。”，表示“考试及格。”，表示“ 要补考。”, 则公式的原意是_ ____。 A. 考试及格的学生都不要补考。 B. 没有考试不及格的学生不要补考的。 C. 所以的学生都不要补考 。 D. 有考试不及格的学生不要补考的。 3. A={ a,b,c}, f={a，a，b，a，c，b}， 则f是A上的 。 A. 单射但不是满射 B. 是满射但不是单射 C. 双射 D. 非单射也非满射 4. 命题公式是 。 A．重言式 B.矛盾式 C .可满足式 D.非重言式的可满式 5. 下列公式中与公式等值的是 。 A. B. C. D. 二 得 分 填空题（本大题共5小题，每小题4分，共20分） 1. 公式 中,的辖域是 ，约束出现 次。 2. 设 集合,,则=__________________。 。 3. X={1,2,3,4,5}, X上的等价关系R={1,3,3,1} ∪Ix ,则 [3]R=________ ___,X/R=__________________________. 4．的前束范式是 。 5. 公式的成真赋值为 。 三 得 分 三. 判断题（错的打“×”，对的打“√”；每小题2分，共20分。） 1. 命题公式A是可满足式,则A也是重言式。 （　 ） 2.　 命题公式是重言式。 （ ） 3. 一个关系是对称的就一定定不是反对称的。 （ ） 4.　 f，g 是A上的函数，若是双射， 则f一定是单射。 （ ） 　　　　　　　　　　　 5. 一个命题公式的主析取范式与主合取范式 不一定是等值的。。 （ ） 6. 大项的编码是表示 ( ) 7. 公式与等值. ( ) 8．谓词、量词、个体词称为一阶逻辑的三要素。 （ ） 9．公式与等值. （ ） 10．．A的等价关系与A的划分一一对应。 （ ） 《离散数学》期末考试试卷（A卷）第1页 共2页 四 得 分 四.(每小题10分，共20分) 1 .求公式的主析取范式和主合取范式 ，指出公式的成真赋值并说明公式的类型。 2． , 上关系， ， 判断R，S具有的性质并求, 五 得 分 五．（10分）根据给出的证明填写相应的规则， 前题 ： 结论： 证明:(1) _ _; (2) _ _; (3) _ _; (4) _ _; (5) _ _; (6) _ _; (7)