……………答……………题……………不……………要……………超……………过……………此……………线………………
济南大学2008~2009学年第一学期课程考试试卷(B卷)
课 程 离散数学 授课教师 胡静
考试时间 考试班级
学 号 姓 名
题号 | 一 | 二 | 三 | 四 | 五 | 六 | 七 | 总 分 |
得分 |
得 分 | |
阅卷人 |
1、下列不是命题的是( )
A、小李不是大学生
B、5是有理数
C、这花真美啊!
D、7能被3整除
2、前提p->q, r->p, q的结论是( )
A、r B、p C、q D、q
3、谓词公式x(P(x) ∨yR(y))->Q(x)中变元x是( )
A、自由变元
B、约束变元
C、既不是自由变元,也不是约束变元
D、既是自由变元,也是约束变元
4、设论域为整数集,下列公式中值为真的是( )
A、yx(x+y=0)
B、xy(x+y=0)
C、xy(x+y=0)
D、yx(x+y=0)
5、下列各式为可满足式的是( )
A、(p∧┓p)<->q
B、p->(p∨q∨r)
C、(p->p)-> p
D、(q->p) ∧p
6、给定解释如下:个体域为自然数N;N上特定元素a=0;N上特定函数f(x,y)=x+y,g(x,y)=x.y;N上特定谓词E(x,y)为x=y。则下列公式为真的是( )
A、xE(g(x,a),x)
B、xyz E(f(x,y),z)
C、xyE(f(x,y),g(x,y))
D、xyE(f(x,y),g(x,y))
7、无向图G具有一条欧拉回路,那么它们所有结点的度数都是( )
A、偶数
B、奇数
C、素数
D、1
8、与命题公式P(QR)等值的公式是( )
A (PQ)R B (PQ)R
C (PQ)R D P(QR)
9、设A={1,2,3,4,5}下面( )集合等于A。
A {1,2,3,4}
B {x|x是整数,且x的平方小于25}
C {x|x是正整数,且x<=5}
D {x|x是正有理数且x<=5}
10、设S A×B,下列各式中( )是正确的。
A domS B
B domS A
C ranS A
D domS∪ranS=S
11、设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群的是( )
A <{1},·>
B <{-1},·>
C <{i},·>
D <{-i},·>
12、设f和g都是x上的双射函数,则(f。g)-1为( )
A f-1。g-1
B (g。f)-1
C g-1。f-1
D g。f-1
13、下列集合关于运算能构成群的是( )
A 给定a>0(a不为1),集合a={an|n∈Z}关于数的乘法运算
B 非负整数集N关于数的加法运算
C 整数集合Z关于数的减法运算
D 正整数集合Z+关于数的除法运算
14、已知集合A={a,b,c},A上的两个关系R1={, A、空集 C、{,} D、{,} 15、下列代数系统中不含有零元素的是( ) A B C D 16、设A={1,2,3,4},R={<1,3>,<1,4>,<2,3>,<2,4>,<3,4>} 是A上的关系 ,则R的性质是( ) A 既是对称的也是反对称的 B 既不是对称的也不是反对称的 C 是对称的但不是反对称的 D 不是对称的但是反对称的 A R∪IA B R C R∪{ D R∩IA 18、下列式子正确的是( ) A Φ Φ B Φ∈Φ C {Φ} Φ D {Φ}∈Φ 19、设A={1,2,3,4},A上的等价关系R={<1,1>,<1,2>,<2,1>,<2,2>,<3,3>,<3,4>,<4,3>,<4,4>},则对应于R的A的划分是( ) A {{1},{2,3},{4}} C {{1},{2},{3},{4}} D {{1,2},{3,4}} 20、下列各图中是欧拉图的是( ) A B C D 二、填空题(每题2分,共10分) 1、公式(p∧q)->p的成真赋值是( ) 2、已知公式(p∧q)-> p是重言式,则公式((p∧q)-> p)∨r为( ) 3、命题“没有不能表示成分数的有理数”的符号化形式为( )(M(x):x是有理数,F(x):x能表示成分数) 4、公式xF(x)-> yG(x,y)的前束范式形式为:( ) 5、无向树G有5片树叶,3个2度分支点,其余分支点均为3度,则G有( )个顶点。 三、求下列公式的主合取范式(10分) (p∧q)∨(p∨r) 四、给出下列推理的构造证明(10分) 前提:xF(x)-> y((F(y)∨G(y))->R(y)), xF(x) 结论:xR(x)
B、{.,}得 分 阅卷人 Q是全体有理数集,*是数的乘法运算
17、设A={a,b,c},A上二元关系R={,,},则关系R的自反闭包r(R)是( )得 分 阅卷人
B {{1,2},{3},{4}}得 分 阅卷人
五、设A,B,C为任意集合,证明下列各式(10分)得 分 阅卷人
A∩C B∩C ∧ A-C B – C=> A B得 分 阅卷人
六、设R为N ×N,上的二元关系, ,得 分 阅卷人