信计06级离散数学A卷.doc

西北第二民族学院试卷 题目 一 二 三 四 五 六 七 八 九 十 总成绩 复核 得分 阅卷教师 填空题（每题2分，共20分） 1、令，：雪是白色的.命题“如果，则雪是白色的.”符号化形式为 。 2、在无向树中，悬挂顶点称为 ，度数大于或等于2的顶点称为 。 3、设，则= 。((为对称差运算) 4、设，上的关系，的补关系也是上的关系，其中,则= 。 5、设，且 令那么 。 6、若具有自反性、 、 ，则是等价关系。 7、设，则关于普通加法、减法、乘法、除法中 运算是封闭的。 8、若为连通图，则连通分支数 。 9、设是命题，的对偶命题是 。 10、若，则 。 二、判断题（每题2分，共20分） 1、n(n≥2)阶有向完全图都是欧拉图。（ ） 2、任一图的必大于其结点数。（ ） 3、“王兰和王英是姐妹”是复合命题，因为该命题中出现了联结词“和”。（ ） 4、命题公式为矛盾式。( ) 5、为任意集合，如果一定能够得到。（ ） 集合的任何关系都不可能既是对称的，又是反对称的。（ ） 7、序列与序列都是可图化的。（ ） 8、, *为普通乘法，则关于*运算能构成代数系统。( ) 9、关于普通的加法和乘法运算都是封闭的。（ ） 10、令:2009年元旦是晴天，则的真值为假。（ ） 三、计算或简答题（每题6分，共36分） 求命题公式的真值表。 设为整数集合，在上定义二元运算如下:，问关于(运算能否构成群，为什么？ 求下面公式的主析取范式和主合取范式，并求成真赋值。 设，运算*如表1所列，说明这些运算是否满足交换律、结合律、幂等律、消去律，求这些运算的单位元、零元和所有可逆元素的逆元（如果存在的话）。 表1 * a b c a a b c b b c a c c a b 图1是偏序集的哈斯图，求和的集合表达式，并指出该偏序集的极大元、极小元、最大元和最小元。 一棵无向树有5片树叶，3个2度分支点，其余的分支点都是3度顶点，问有几个顶点？ 四、证明题(每题6分，共24分) 1、证明若是上的自反关系，则是上的自反、对称关系。 2、设为任意集合，证明 3、设是格，,且,证明 4、在自然推理系统中构造下面推理的证明： 前提： 结论： - 1 - 第- 1 -页 共 3页 信计 学院 专业 06 级 班 姓名: 学号: 2007—2008学年秋季学期期末考试试题。 ------------------------------------密------------------------------------封------------------------------------线--------------------------------- 课程代码： 021000182 课程： 离散数学（A卷） a e b f d c 图1 系 专业 级 班 姓名: 学号: 答案一律写在答题纸上，写在试题上的无效。密封线以下不得填写姓名、班级等信息。 ------------------------------------密------------------------------------封------------------------------------线---------------------------------