离散数学往考试题.docVIP

密封线 专业??????????????????????班级????????????????姓名???????????????准考证号????????????????????座号????????????? PAGE  离散数学试题A第= 2* PAGE \* MERGEFORMAT 3-1 5页(共= 2* NUMPAGES \* MERGEFORMAT 3 6页)离散数学试题A第= 2* PAGE \* MERGEFORMAT 3 6页(共= 2* NUMPAGES \* MERGEFORMAT 3 6页) 最近有很多同学多次向教师询问前两年的考试题的情况,现将部分题公布如下: 一、单项选择题（每一小题2分，本题共计20分） 1．与命题公式p∨(q∧p)等值的公式是（ ） A．p B．g C．p∨g D．p∧q 2．在命题逻辑中，任何命题公式的主析取范式都（ ） A．存在且惟一 B．存在但不惟一 C．不一定存在 D．不存在。 3．一阶公式?x(P(x)∨?yR(y))?Q(x)中量词?x的辖城是（ ） A． ?x(P(x)∨?R(y)) B．P(x) C．(P(x)∨?R(y)) D．(P(z)∨?R(y))?Q(x) 4．设A，B是集合，A∩B＝A的充分必要条件是（ ） A．A＝? B．B?A C．A?B=A D．A—B=?： 5．下列四个命题中（ ）为真。 A．??? B．??{a} C．??{{?}} D．??? 6．设集合S={a, b, c}, S上所有互不相同的等价关系的数目为（ ） A．3 B．4 C．5 D．6 7．仅有孤立点组成的图是（ ） A．非平凡图 B．平凡图 C．完全图 D．子图 8．K3，3是（ ） A．欧拉图 B．哈密顿图 C平面图 D．6阶完全图 9．在完全图K4的所有非同构的生成树，有几个（ ） A．1 B．2 C．3 D．4 10．在有理数集合Q上，定义运算*，对任意的x, y?Q，x*y=x＋y－xy,它的幺元是（ ） A．1 B．2 C．3 D．0 二．问答题（每一小题4分，本题共计20分）1．永真式(即重言式)的主析取范式的形式是什么?永假式（即矛盾式）的主合取范式是什么？ 答： 2．请叙述代数结构环的定义。 答： 3．已知公式（p?q）∨r，按要求确定该公式等值的公式：1）该公式仅用完备集{?，?}表示的公式为：2）该公式仅用完备集{?，∧}表示的公式为： 4．请给出集合S上的等价关系的定义? 答： 5．请说明偏序关系的哈斯图的画法。 答： 得分评卷人三．运算与解答题（本题共计40分） 1．（本题10分）确定下面公式的类型，写出判断过程。 (p?q∧r)∧(? p?? q∧? r) ?xP(x)? ?x P(x) 解： 2．（本小题5分）确定公式(p?q)?r的主析取范式 解： 3．（本题5分）设A={{1, 2, 3}，{2, 3, 4}，{2 ,3, 5}}，求幂集?（∩A）。 解： 4．（本题5分）下图是否是可平面的？若是请画出它的平面嵌入和对偶图。 解： 5．（本题5分）设X={1，2，3}，求出XX中的所有双射函数。 四、证明题（每一小题10分，本题共计20分） 在自然推理系统中，构造下面用自然语言给出的推理：若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，他也喜欢物理。小张确实喜欢数学，可小李不喜欢物理。所以小赵喜欢数学。 证明： 设（A－B）?（B－A）=A?B，证明：A?B=?。 证明： 选作题(10分，分数仅供参考)：设f：A?B，g：B?A，且f﹒g=IA，证明：f是单射，g是满射。 一、单项选择题（每一小题2分，本题共计20分） 1．使命题公式p?(p∧q)为假的赋值是p,q分别为（ ） A．{0，0} B．{0，1} C．{1，0} D．{1，1} 2．使一阶逻辑公式?x?yF(x，y)??x?yF(x，y)为真的解释是（ ） A．个体域为自然数集合，F(x，y)为x≤y B．个体域为自然数集合，F(x，y)为x=y C．个体域为自然数集合，F(x，y)为x＜y D．均不属于A、B、C 3．对于任意集合A、B，A?B当且仅当A－B＝?是（ ） A．假命题 B．真命题 C．是一阶公式但不是命题 D．均不属于A、B、C 4．设R是集合A上的二元关系，IA是A上的恒等关系，R是IA的非空真子集，下面四个命题是真的是（ ） A．R不是自反的 B．R不是对称的 C．R不是传递的 D．R不是反对称的 5．设函数f：N?N，f(n)＝n+1，下面四个命题为真的是（ ） A．f是满射的 B．f是双射的C．f