试题成绩课程名称离散结构（Ⅰ）开卷闭卷√教研室软件工程教研室.docVIP

试题 成绩 课程名称 离散结构（Ⅰ） 开卷 闭卷 √ 教 研 室 软件工程教研室 A卷 √ B卷 考试时间 年 月 日 时 分至 时 分 适用专业班级 12软件（1）（2）（3） 班 级 姓 名 学 号 考生注意：舞弊万莫做，那样要退学，自爱当守诺，最怕错上错，若真不及格，努力下次过。 （5分）构造真值表,求公式的成真成假赋值,并判断公式类型 2.（6分）求下式的主析取范式和主合取范式。 （1） （2） 3.证明题（8分）： （1） 4.在一阶逻辑中，将下列命题符号化（8分） 不是所有的人都爱在雨中散步。 有的人对有的食物过敏。 李白游览过所有的名山大川。 天下乌鸦都是黑色的。 5.在命题逻辑中，将下面命题符号化。（8分） 如果太阳没有出来，则或者下雨，或者阴天，并且温度下降。 除非天下大雨，否则他不乘班车上班。 李欣与李星是大学同学。 不是小王就是小李来找过你。 6. R,S是A上的关系，给出下列各式的证明。（8分） （1） （2） 7. D={1,2}，在个体域中消去量词。（6分） （1） （2） 8. （8分）设集合A= {1,2,3,4}，AA上的二元关系R定义为 a,bRc,d Iff a+d=b+c 证明R是一个等价关系。 9. （5分） 10. （3分）设A={{1,2},3},B={a,b}, 求 11. （7分）设R是A上的二元关系， 。 12. （5分）设A={1,2,3,4,5,6,7}，确定A上的等价关系R，使R能产生划分{{1，2，}，{4,}，{,7}}，画{1,2,3,4,5,6,8,9,10,15,16,18,20}上的整除关系的哈斯图，并求子集{5,10,15}，{2,4,6}，{3,4,12}的最大元、最小元、极大元、极小元、上界、下界、上确界、下确界。 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 {5,10,15} {2,4,6} {3,4,12} 14.（5分） 设A，B，C，D是任一集合，证明： 15. （4分）对下图的每个哈斯图，写出集合以及偏序关系的表达式。 16. (6分)给定函数f和集合A、B如下： (1)f:R R,f(x)=x,A={8},B={4} (2)f:N N╳N,f(x)=x,x+1,A={5},B={5,6} 对每一组f和A、B，分别回答下列问题: f是不是满射、单射、和双射？求A在f下的像f(A)和B在f 下的完全原像f-1(B) 2 3 命题人： 审题人： 试 题 共 3 页 第 2 页 ---------------------------------------------------------------装--------------------订--------------------线------------------------------------------------------------- ---------------------------------------------------------------装--------------------订--------------------线-------------------------------------------------------------