北京师范大学《离散数学》试卷-2019-2020学年期末试卷.pdfVIP

北京师范大学2019-2020学年第一学期 期末考试试卷 课程名称： 离散数学 任课教师姓名： 卷面总分： 100 分 考试时长： 120 分钟 考试类别：闭卷 □ 开卷 □ 其他 □ 姓 名： 学 号： 题号 第一题 第二题 第三题 第四题 …… 总分 得分 100 阅卷教师 （签字）： 一 、 设 L 1,2,3,4,12 上的整除关系   a ,a a ,a L ,a 整除a  1 2 1 2 1 2 完成下列各小题。（第1小题6分，第2小题5分，第3小题 4分，共 15分） 1、证明 是 上的偏序关系。  L 2、画出偏序集 L ,  的哈斯图。 3、在 上定义两个二元运算 和 ：对任意 ， ， 。请填空 （在横线上填是或不是）： L   a,b L a b glb(a,b) a b lub(a,b) ①代数系统 L ,,  格。 ②代数系统 L ,,  有界格。 ③代数系统 L ,,  有补格。 ④代数系统 L ,,  分配格。 二、求布尔函数的析取范式和合取范式 （10分）   设E (x ,x ,x ) (x x )(x x )(x x ) 是布尔代数 {0,1},,, 上的一个布尔表达式。试写出E (x ,x ,x )的析取范式和合取范式 （用 1 2 3 1 2 2 3 2 3 1 2 3 推导法或列函数表的方法均可）。 三、选择题10分 （每题1分） 1. 若有向图G是欧拉图，则G必为强连通图。（ ） 2. 任何树T都至少有两片树叶。（ ） 3. 凡陈述句都是命题。（ ） 4. 命题 “如果1+2 3，那么雪是黑的”是真命题。（ ） 5. 平面上直线间的平行关系是等价关系。（ ） 6. 若半群有左幺元，则左幺元惟一。（ ） 7. 设G是循环群，G 同构于H，则H亦是循环群。（ ） 8. 在有界分配格中，一个元素若有补元，则补元不一定是惟一的。（ ） 9. 一个不是自反的关系，一定是反自反的。（ ）   10.若A-B B，则B A。（ ） 四、符号化并论证命题 “航海家都教育自己的孩子成为航海家，有一个人教育他的孩子去做飞行员，则这个人一定不是航海家。”（10分） 五、（10分）设N是自然数集合，R {x,yx∈N,y∈N,x+y是偶数} 1. 证明R是一个等价关系； 2. 求关系R 的等价类。 六、设G,*是群，对于任一a∈G，令H {yy*a a*y,y∈G}，证明：H,*是G 的子群。（10分） 七、设S {1,2,4,6,9, 12, 18,36}，D 是S上的整除关系：x,y∈D 当且仅当y 是x 的倍数；求证： 1. D是一个偏序关系。 2. 画出D 的哈斯图，并由此说明S,D是一个格。 D是分配格吗？为什么？