1、第 1 页 共 4 页南昌大学 20072008 学年第一学期期末考试试卷试卷编号： ( C )卷课程编号： 课程名称： 离散数学 考试形式： 闭卷 适用班级： 姓名： 学号： 班级： 学院： 专业： 考试日期： 题号 一 二 三 四 五 六 七 八 九 十 总分题分 40 60 100累分人 签名得分考生注意事项：1、本试卷共 4 页，请查看试卷中是否有缺页或破损。如有立即举手报告以便更换。2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。一、 填空题(每题 4 分，共 40 分) 得分 评阅人1、使得公式 q(pq)p 成真的赋值是： _2、设 A=a,b，B=1,2,3，求：AB=
2、 _3、一棵无向树 T 有 2 个 4 度结点，3 个 3 度结点，其余的结点都是树叶，问 T 有 片树叶?_4、指出公式(z) (P(x)(x)R(x,z)(y)Q(x,y)R(x,y) 中的约束变元 5、.A=1,2,3,4 ，A 上二元关系 R 和 S 分别为：R=1,2,2,4,3,3 S=1,3 ,2,4,4,2 R S =_6、设 A=1,2，求： AP(A)= _第 2 页 共 4 页7、设个体域为 D=1,2,3，试消去公式(x)P(x) (y)Q(y) 中量词的等价式 _8、写出代数系统的幺元 和零元 ，各元素_的逆元 。9、设 A=1,2,3,4，A 上二元关系 R 定义为：R=1,2,2,1,2,3,3,4 R 的自反闭包 r(R)= _10、4 个元素的集合共有 个不同的划分。二、综合题(每小题 10 分，共 60 分) 1、用等价演算证明：p(qr)(pq)r2、求命题公式(pq)r 的主合取范式.得分 评阅人 第 3 页 共 4 页3、将下列命题符号化。（1）凡是人都要休息。(2)有些实数是有理数。4、用等价演算证明命题公式(p(pq) q 是重言式。5、证明下面推理。每个有理数都是实数。有的有理数是整数。因此，有的实数是整数。第 4 页 共 4 页6、求带权 3,4,5,6,7,8,9 的最优二叉树 T。
