[离散数学考题.docxVIP

成都理工大学2006－2007学年第二学期《离散数学》考试试卷大题一二三四五六七八九十总分得分一、填空题（本大题共10小题，每小题2分，共20分）1. 解释（0，0）使命题公式的真值为 0 。2. 若命题公式在各种解释下取值均为真，则称为 重言式 。3. 设是人，是花，喜欢，则“有些人喜欢所有的花”可符号化为 。4.设F(x):x是人，H(x,y):x与y一样高，在一阶逻辑中，命题“人都不一样高”的符号化形式为_____________________________________。　　5. A上的关系R是对称的ó_______________________________。6. A上的关系R是自反的、对称和传递的，称R是A上的__等价关系_________。7. 群是一个存在二元运算可结合，存在___单位元_______，每个元素存在_______逆元_____的代数。8. 若h是A=〈S，á〉到A′=〈S′，á′〉的同态，则h（aáb）=_h（a）á′h（b）。9. 〈R，+，·〉是环，则〈R，+〉是 交换 群，〈R，·〉是_半群_。10．一个无向图的欧拉回路要求经过图中___每条_边_____一次且仅一次，哈密尔顿回路要求经过图中___每个 顶点______一次且仅一次。二、选择题（本大题共10小题，每小题1分，共10分）1．下列语句中，（ ）是命题。A．请把门关上。 B．这朵花多好看呀！7C．下午有会吗？ D．2是常数。2．下述命题为真（ ）。A．{a,b}?{a,b,{{a,b}}}B．{a,b}í{a,b,c,{a,b,c}} C．{a,b}?{{a,b,c},a}D．{f}íf 3．下述不是偏序集合的是（ ）。A．〈I，￡〉 B．〈R，〉C．〈{1，2，3，6} 整除〉 D．〈{2，4，8，16}，倍数〉4．设R为实数集，函数f：R→R，f(x)=2x，则f是（?）A．满射函数?B．单射函数 C．双射函数??D．非单射非满5. 设个体域为整数，下列公式中真值为1的是( )。 A．xy(x + y = 1); B．x$y(x + y = 1); C．$xy(x + y = 1);D．? $x$y(x + y = 1)。6．设A = {1,2,3,4}，A上的关系R = {(1,1),(2,3),(2,4),(3,4)},则R具有( )。A．自反性； B．传递性； C．对称性； D．以上都不是7. 满足谓词P(x,y)：xy30的整数集Z上的二元关系具有（ ）性质？A．自反、对称 B．对称、传递C．反对称 D．反自反、对称、传递8. V=〈{1，2，3}，*，1〉，x*y表示取x和y中较大数。下列不是V的子代数的（ ）。A．〈{1，2，3}，*，1〉 B．〈{1}，*，1〉 C．〈{2，3}，*，1〉 D．〈{1，3}，*，1〉9．给定下列各序列，不能构成无向简单图的度数序列是（ ）。A．1，1，1，2，3； B ．2，2，2，2； C． 3，3，3，3； D ．1，3，3，3。10．下列无向图中，不是二部图的是（ D ）。 三、（本大题共5分）判断命题公式的类型，要求有过程。重言式四、（本大题共10分）求（P ú(Q ù R））?（Pù Q ùR））的主析取范式和主合取范式。主析取范式：ó （P ú(Q ù R））ú（Pù Q ùR）ó(PùQ) ú(PùR) ú（Pù Q ùR）(PùQ) ó(PùQ) ù1 ó(PùQ) ù(Rú R)ó (PùQ ùR) ú(PùQù R)五、（本大题共10分）　在一阶逻辑中构造下面推理的证明：大熊猫产在中国，欢欢是大熊猫，所以欢欢产在中国。.六、（本大题共10分）　设Z为整数集合，在Z上定义二元运算*。x，y?Z有 x*y=x+y-2, 证明Z, *构成群？七、（本大题共10分）　设R＝{1,2,3,4,2,2}， S＝{4,2,2,3,3,1}，分别是定义为从A→B和从B→C的关系，其中A＝B＝C＝{1,2,3,4}。求R?S，S?R，R?R，S?S。八、（本大题共10分）　设为一个偏序集，其中，A={1，2，3，4，6，9，24，54}，R是A上的整除关系。（1）画出的哈斯图；　（2）求R关于A的极大元；九、（本大题共5分）　有向图如右图所示，求D中长度为5的通路总数，并指出其中有多少条是回路？又有几条V3到的V4通路？十、（本大题共5分）　已知无向树T中, 有1个3度顶点, 2个2度顶点, 其余顶点全是树叶. 试求树叶数, 并画出满足要求的非同构的无向树. 成都理工大学2007－2008学年第一学期《离散数学》考试试卷大题一二三四五六七八九总分得分一、填空题（本大题共10小题，每小题2分，共20分）1. 解释（0，1）使命题公式的