离散数学第一部分测试题-有答案

合集下载

离散数学第1章习题答案

离散数学第1章习题答案

#include<stdio.h>#include<stdlib.h>#include<malloc.h>#define MAX_STACK_SIZE 100 typedef int ElemType; typedef struct{ElemType data[MAX_STACK_SIZE];int top;} Stack;void lnitStack(Stack *S){S->top=-1;}int Push(Stack *S,ElemType x){if(S->top==MAX_STACK_SIZE-1){printf("\n Stack is full!");return 0;}S->top++;S->data[S->top]=x;return 1;}int Empty(Stack *S){return (S->top==-1);}int Pop(Stack *S,ElemType *x){if(Empty(S)){printf("\n Stack is free!");return 0;}*x=S->data[S->top];S_>top__;return 1;}void conversion(int N){int e;Stack *S=(Stack*)malloc(sizeof(Stack));InitStack(S); while(N){Push(S,N%2);"}while(!Empty(S)){Pop(S, &e);printf("%d ",e);}}void main(){ int n;printf(" 请输入待转换的值n: \n");scanf ("%d",&n);conversion(n);1. 判断下列语句是否是命题,为什么?若是命题,判断是简单命题还是复合命题?(1) 离散数学是计算机专业的一门必修课。

最新国家开放大学电大《离散数学》形考任务1试题及答案

最新国家开放大学电大《离散数学》形考任务1试题及答案

最新国家开放大学电大《离散数学》形考任务1试题及答案最新国家开放大学电大《离散数学》形考任务1试题及答.形考任务1(集合论部分概念及性质)单项选择.题目.若集合A=.a, {a}, {1, 2}}, 则下列表述正确的是().选择一项:A.{a, {a}}.B..C.{1, 2..D.{a..题目.设函数f: N→N, f(n)=n+1, 下列表述正确的是.).选择一项: A.f是满射.B.f存在反函.C.f是单射函.D.f是双射.题目.设集合A={1, 2, 3, 4, 5}, 偏序关系是A上的整除关系, 则偏序集<A, >上的元素5是集合A的.).选择一项:A.极小.B.极大.C.最大.D.最小.题目.设A={a, b}, B={1, 2}, C={4, 5}, 从A到B的函数f={<a,1>.<b, 2>}, 从B到C的函数g={<1, 5>.<2, 4>}, 则下列表述正确的是.).选择一项:A.g..={<a, 5>.<b, 4>.B.g..={<5, .>.<4, .>.C.f°.={<5, .>.<4, .>.D.f°.={<a, 5>.<b, 4>.题目.集合A={1.2.3.4}上的关系R={<x, y>|x=y且x.yA}, 则R的性质为.).选择一项:A.传递.B.不是对称.C.反自.D.不是自反.题目.设集合..{1..}, 则P(A...).选择一项:A.{{1}.{a}.{1..}.B.{{1}.{a}.C.{,{1}.{a}.D.{,{1}.{a}.{1..}.题目.若集合A={1, 2}, B={1, 2, {1, 2}},则下列表述正确的是.).选择一项:A.AB, 且A.B.AB, 且A.C.BA, 且A.D.AB, 且A.题目.设集合A={1.2.3}, B={3.4.5}, C={5.6.7},则A∪B–.=.).选择一项:A.{1.2.3.4.B.{4.5.6.7.C.{2.3.4.5.D.{1.2.3.5.题目.设集合..{1.2.3.4.5}上的偏序关系的哈斯图如右图所示, 若A的子集..{3.4.5}, 则元素3为B的.).选择一项:A.最小上.B.下.C.最大下.D.最小.题目1.如果R1和R2是A上的自反关系, 则R1∪R2, R1∩R2, R1-R2中自反关系有.)个.选择一项:A..B..C..D..以下资料为赠送资料:《滴水之中见精神》主题班会教案活动目的: 教育学生懂得“水”这一宝贵资源对于我们来说是极为珍贵的, 每个人都要保护它, 做到节约每一滴水, 造福子孙万代。

离散数学第一章命题逻辑习题答案

离散数学第一章命题逻辑习题答案
p?q?r?p?q?r?p?q?r?p?q?r?p?q?r?p?q?r1100011111习题一123解法二等价变换法p?r?q?p?p?r?q?p?p?r?p?r?q?q?p?q?r?p?q?r主合由?p?rp?q?q?r?r?p?p?q?q?r??p?q?r?p?q?r?p?q?r?p?q?r?p?q?r?p?q?r主析习题一124分别用真值表法和等价变换法求公式p?q?r?p?q?r的主合取范式和主析取范式真值表法略
习题一
1.
利用逻辑联结词把下列命题翻译成符号逻辑形式: (7)不识庐山真面目,只缘生在此山中。 令P:身在此山中; Q:识庐山真面目;译为P ~ Q (8)两个三角形相似当且仅当它们对应角相等或者对应边 成比例。 令P:两个三角形相似; Q:对应角相等; R:对应边成比例;译为 P (Q R) (9)如果一个整数能被6整除,那么它就能被2和3整除。 如果一个整数能被3整除,那么它的各位数字之和也能 被3整除。 令P:被6整除; Q:被2整除; R:被3整除; S:各位数字之和被3整 除。译为(P (Q R)) (R S)
习题一 14.
• 从A、B、C、D4人中派2人出差,要求满足下述条件:如 果A去,则必须在C或D中选一人同去;B和C不能同时去; C和D不能同去。用构造范式的方法决定出选派方案。 若X表示“X去出差”, 可得公式 (A (C D)) ~(B C) ~(C D) (~A (C ~D) (~C D) ) (~B ~C ) (~C ~D ) …… (~A ~B ~C ~D) (~A ~B ~C D) (~A ~B C ~D) (~A B ~C ~D) (A ~B ~C D) (A ~B C ~D) (~A B ~C D) (A B ~C D) 可得派法: {B, D} {A, C} {A, D}

离散数学第一学期习题及答案

离散数学第一学期习题及答案

第一章部分习题及参考答案1 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)(2)(p↔r)∧(﹁q∨s)(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r)(4)(⌝r∧s)→(p∧⌝q)2.判断下面一段论述是否为真:“π是无理数。

并且,如果3是无理数,则2也是无理数。

另外6能被2整除,6才能被4整除。

”3.用真值表判断下列公式的类型:(1)(p→q) →(⌝q→⌝p)(2)(p∧r) ↔(⌝p∧⌝q)(3)((p→q) ∧(q→r)) →(p→r)4.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)5.用等值演算法证明下面等值式:(1)(p→q)∧(p→r)⇔(p→(q∧r))(2)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)6.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)7.在自然推理系统P中构造下面推理的证明:(1)前提:p→q,⌝(q∧r),r结论:⌝p(2)前提:q→p,q↔s,s↔t,t∧r结论:p∧q8.在自然推理系统P中用附加前提法证明下面推理:前提:p→(q→r),s→p,q结论:s→r9.在自然推理系统P中用归谬法证明下面各推理:前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p参考答案:1.(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0 (4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔12.p: π是无理数 1q: 3是无理数0r: 2是无理数 1s: 6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀x)(B→A(x))⇔B→(∀x)A(x)C.(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D.(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A,则对应于R的A的划分是( D )A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系 12.设R 为实数集,函数f :R →R ,f(x)=2x ,则f 是( B ) A .满射函数 B .单射函数 C .双射函数 D .非单射非满射第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。

离散数学一、二章检测题及答案

离散数学一、二章检测题及答案

四.证明题(共 38 分)
1. (10 分)符号化下列命题并推证其结论. 任何人如果他喜欢音乐,他就不喜欢体育.每个人或者喜欢体育,或者喜欢美术.有的 人不喜欢美术.因而有的人不喜欢音乐. (设 M(x):x 喜欢音乐,S(x):x 喜欢体育,A (x):x喜欢美术. ) 该命题符号化为: ( ( x) (M(x)→ S(x) )∧( x) (S(x)∨A(x) )∧( x) A(x) )→( ( x) M(x) ) 前提: ( x) (M(x)→ S(x) ) , ( x) (S(x)∨A(x) ) , ( x) A(x) 结论: ( x) M(x) 证: (1) ( x) A(x) P (2) A(a) ES(1) (3) ( x) (S(x)∨A(x) ) (4)S(a)∨A(a) (5)S(a) (6) ( x) (M(x)→ S(x) ) (7)M(a)→ S(a) (8)S(a)→ M(a) (9) M(a) (10) ( x) M(x) 2. (12 分) (1).用 CP 规则证明 P (Q R ), Q ( R S ), P Q S ; P US(3) T(2) (4)I P US(6) T(7)E T(5) (8)I EG(9)
(1 分)
由 8 得出了矛盾,根据归谬法说明原推理正确(1 分)
3.(6 分) 指出下面推理证明过程中的错误, 并给出正确的证明.
用谓词演算的推理规则证明:
x(Q ( x) R ( x)) x(Q ( x) Z ( x)) x( R ( x) Z ( x))
证: (1) x(Q ( x) R ( x)) (2) Q (a ) R (a ) (3) x(Q ( x) Z ( x)) (4) (5)

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p,q的小项是(C)。

A。

p∧┐p∧qB。

┐p∨qC。

┐p∧qD。

┐p∨p∨q2.命题“虽然今天下雪了,但是路不滑”可符号化为(D)。

A。

p→┐qB。

p∨┐qC。

p∧qD。

p∧┐q3.只有语句“1+1=10”是命题(A)。

A。

1+1=10B。

x+y=10___<0D。

x mod 3=24.下列等值式不正确的是(C)。

A。

┐(x)A(x)┐AB。

(x)(B→A(x))B→(x)A(x)C。

(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D。

(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 5.量词x的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(C)。

A。

(x)Q(x,z)→(x)(y)R(x,y,z))B。

Q(x,z)→(y)R(x,y,z)C。

Q(x,z)→(x)(y)R(x,y,z)D。

Q(x,z)6.设A={a,b,c,d},A上的等价关系R={。

}∪IA则对应于R的A的划分是(D)。

A。

{{a},{b,c},{d}}B。

{{a,b},{c},{d}}C。

{{a},{b},{c},{d}}D。

{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是(A)。

A。

{Ø,{Ø}}∈BB。

{{Ø,Ø}}∈BC。

{{Ø},{{Ø}}}∈BD。

{Ø,{{Ø}}}∈B8.集合相对补运算中,不正确的等式是(A)。

A。

(X-Y)-Z=X-(Y∩Z)B。

(X-Y)-Z=(X-Z)-YC。

(X-Y)-Z=(X-Z)-(Y-Z)D。

(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,不可结合的定义的运算是(D)。

A。

a*b=min(a,b)B。

a*b=a+bC。

a*b=GCD(a,b) (a,b的最大公约数)D。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={3,4,5},则A∩B的元素个数为:A. 0B. 1C. 2D. 3答案:B2. 函数f: X→Y是一个双射,当且仅当:A. f是单射且满射B. f是单射C. f是满射D. f是双射答案:A3. 命题p: "x是偶数",命题q: "x是3的倍数",下列逻辑运算中,表示"x是6的倍数"的是:A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案:A4. 有向图G中,若存在从顶点u到顶点v的有向路径,则称顶点u可达顶点v。

若G中任意两个顶点都相互可达,则称G为:A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案:A5. 在二进制数系统中,下列哪个数的值最大?A. 1010B. 1100C. 1110D. 1101答案:C6. 布尔代数中,逻辑或运算符表示为:A. ∧B. ∨C. ¬D. →答案:B7. 有限自动机中,状态q0是初始状态,状态q1是接受状态。

若存在从q0到q1的ε-转移,则该自动机:A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案:C8. 命题逻辑中,若命题p和q都为真,则p∧q的真值是:A. 真B. 假C. 可能为真,也可能为假D. 无法确定答案:A9. 集合{1,2,3}的子集个数为:A. 4B. 6C. 7D. 8答案:D10. 若关系R在集合A上是自反的,则对于A中的任意元素a,有:A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案:A二、填空题(每题3分,共15分)1. 集合A={1,2,3}的幂集包含__个元素。

答案:82. 若函数f: X→Y是满射,则对于Y中的任意元素y,至少存在X中的一个元素x,使得f(x)=__。

离散数学试卷及答案

离散数学试卷及答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。

2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。

3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。

4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。

6.设A={1,2,3,4},A 上关系图为则 R 2 = 。

7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。

8.图的补图为 。

9.设A={a ,b ,c ,d} ,A 上二元运算如下:那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。

10.下图所示的偏序集中,是格的为 。

二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。

2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

3、设A={1,2,3},则A 上的二元关系有()个。

A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。

4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。

5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下t st spR=∈=则P(A)/ R=()<A∧>)(||||}s({t,,|A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}}6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“⊆”的哈斯图为()7、下列函数是双射的为()A.f : I→E , f (x) = 2x ;B.f : N→N⨯N, f (n) = <n , n+1> ;C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。

离散数学课后习题答案(第一章)

离散数学课后习题答案(第一章)

1-1,1-2(1)指出下列哪些语句是命题,那些不是命题,如果是命题,指出它的真值。

a)离散数学是计算机科学系的一门必修课。

是命题,真值为T。

b)计算机有空吗?不是命题。

c)明天我去看电影。

是命题,真值要根据具体情况确定。

d)请勿随地吐痰。

不是命题。

e)不存在最大的质数。

是命题,真值为T。

f)如果我掌握了英语,法语,那么学习其他欧洲语言就容易多了。

是命题,真值为T。

g)9+5≤12.是命题,真值为F。

h)X=3.不是命题。

i)我们要努力学习。

不是命题。

(2)举例说明原子命题和复合命题。

原子命题:我爱北京天安门。

复合命题:如果不是练健美操,我就出外旅游拉。

(3)设P 表示命题“天下雪。

”Q 表示“我将去镇上。

”R 表示命题“我有时间。

”以符号形式写出下列命题a)如果天不下雪和我有时间,那么我将去镇上。

(┓P ∧R)→Q b)我将去镇上,仅当我有时间时。

Q→R c)天不下雪。

┓P d)天下雪,那么我不去镇上。

P→┓Q(4)用汉语写出一些句子,对应下列每一个命题。

a)()Q R P ∧¬�Q:我将去参加舞会。

R:我有时间。

P:天下雨。

Q ↔(R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。

b)R Q∧R:我在看电视。

Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。

c)()()Q R R Q →∧→Q:一个数是奇数。

R:一个数不能被2除。

(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。

(5)将下列命题符号化。

a)王强身体很好,成绩也很好。

设P:王强身体很好。

Q:王强成绩很好。

P∧Qb)小李一边看书,一边听音乐。

设P:小李看书。

Q:小李听音乐。

P∧Qc)气候很好或很热。

设P:气候很好。

Q:气候很热。

P∨Qd)如果a 和b 是偶数,则a b +是偶数。

设P:a 和b 是偶数。

Q:a+b 是偶数。

P→Qe)四边形ABCD 是平行四边形,当且仅当它的对边平行。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。

离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。

下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。

1. 集合论题目(1) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。

答案:A∪B={1,2,3,4,5,6,7}(2) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。

答案:A∩B={3,4,5}(3) 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。

答案:A-B={1,2}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。

答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。

答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。

答案:是永真式。

(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。

请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。

答案:是真命题。

4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。

(完整版)离散数学试题及答案,推荐文档

(完整版)离散数学试题及答案,推荐文档
二、选择题
1 设集合 A={2,{a},3,4},B = {{a},3,4,1},E 为全集,则下列命题正确的是( )。 (A){2}A (B){a}A (C){{a}}BE (D){{a},1,3,4}B.
2 设集合 A={1,2,3},A 上的关系 R={(1,1),(2,2),(2,3),(3,2),(3,3)},则 R 不具备( ).
11 设 A,B,R 是三个集合,其中 R 是实数集,A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A={2, 3, 4, 5, 6},R 是 A 上的整除,则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x),则 G 的前束范式是__________________________
8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
__________________________,_____________________________,
__________________________.
9. 设集合 A={1,2,3,4}, A 上的关系 R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1R2 =
__________________________________________________________.

011001[离散数学(1)] 天津大学考试题库及答案

011001[离散数学(1)]  天津大学考试题库及答案

1 / 6离散数学(1)复习题一、填空题1、集合S={n 100 | n ∈N}的基数为( 0ℵ )。

2、设R 是集合A 上的二元关系,则R 是对称的,当且仅当其关系矩阵( 为对称矩阵 )。

3、集合P={Ф,{a}}的幂集ρ(P)=( {Ф,{Ф},{a}, {Ф,{a}} } )。

4、设A={1,2,7,8},B={i │i ∈N 且i 2<50},则A —B=( {8} )。

5、设(A ,≤)是一个有界格,只要满足( 每个元素均有补元 ),它也是有补格。

6、设S 为非空有限集,代数系统(ρ(S),Y ,I )中,ρ(S)对Y 的零元为( S ),ρ(S)对I 的单位元为( Ф )。

7、重言式的否定式是( 矛盾 )。

8、设A=φ,B={φ,{φ}},则B -A=( {}{}φφ, )。

9、集合A={1,2,…,10}上的关系R={(x ,y )│x+y=10且x 、y ∈A},则R 的性质为( 对称的 )。

10、有界格(P ,∧,∨)对于“∧”运算的零元为( 0 )。

11、设P :张三可以做这件事,Q :李四可以做这件事。

则命题“张三或李四可以做这件事”符号化为( P Q ∨ )。

12、设M={x| f 1(x )=0},N={x| f 2(x )=0},则方程f 1(x )·f 2(x )=0的答案为( M N U )。

13、设 |A|=m ,|B|=n ,则 |ρ(A ×B) | 等于( 2m n ⨯ )。

二、计算与证明题1、设A={0,1},B={a ,b},求:(1)A ×B ;(2)B ×A答:(1)()()()(){}0,,0,,1,,1,A B a b a b ⨯=(2)()()()(){},0,,0,,1,,1B A a b a b ⨯=2、(1)叙述幂集的定义;(2)求集合P={Ф,{a}}的幂集ρ(P).。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学经典测试题及答案

离散数学经典测试题及答案

离散数学经典测试题及答案第一题: 命题逻辑与真值表根据下列命题符号表示的逻辑表达式,填写真值表。

1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)答案1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)第二题: 数学归纳法证明使用数学归纳法证明下列等式对于所有\(n \geq 1\)成立。

\(\sum_{i=1}^{n}(2i-1) = n^2\)证明1. 基础步骤:当\(n=1\)时,左边等式为\(1\), 右边等式为\(1^2 = 1\), 成立。

2. 归纳假设:假设当\(n=k\)时等式成立,即\(\sum_{i=1}^{k}(2i-1) = k^2\)。

3. 归纳步骤:考虑\(n=k+1\)的情况,- 左边等式为\(\sum_{i=1}^{k+1}(2i-1) = \sum_{i=1}^{k}(2i-1) + (2(k+1)-1)\)- 右边等式为\((k+1)^2 = k^2 + 2k + 1\)现在我们可以利用归纳假设,将左边等式展开:\(\sum_{i=1}^{k}(2i-1) + (2(k+1)-1) = k^2 + 2k + 1\)然后,化简左边的部分可以得到:\(k^2 + (2k - 1) + (2(k+1) - 1) = k^2 + 2k + 1\)这个等式成立,证明完毕。

第三题: 集合论给定两个集合A和B,证明下列恒等式成立:\(A \cup (B - A) = A \cup B\)证明我们可以使用集合论的定义来证明这个恒等式。

1. 证明\(A \cup (B - A) \subseteq A \cup B\)- 对于任意\(x \in A \cup (B - A)\),有两种情况:- 如果\(x \in A\),则\(x \in A \cup B\),因为\(A \subseteq A \cupB\)。

离散数学试题及答案1

离散数学试题及答案1

离散数学总分:100 考试时间:100分钟一、单项选择题1、一个无向图G是一个二元组〈V,E〉,V代表(正确答案:B,答题答案:)A、边集B、顶点集C、环D、路径2、最佳前缀码可由()算法求出(正确答案:A,答题答案:)A、HuffmanB、PERTC、DijkstraD、Kruskal3、带权为2、3、5、7、8、9的最优树T,权W(T)=()(正确答案:B,答题答案:)A、82B、83C、84D、854、设n阶无向连通图G有m条边,则()(正确答案:A,答题答案:)A、m≥n-1B、m≤n-1C、m=n-1D、m≥n5、经过图中每条边一次且仅一次并且行遍图中每个顶点的通路(回路),称为()(正确答案:A,答题答案:)A、欧拉通路B、简单通路C、初级通路D、哈密尔顿通路6、入度为0的顶点称为()(正确答案:B,答题答案:)A、树根B、树叶C、边D、顶点7、按中序行遍法,其行遍结果为((dce)bf)a(gih),则按后序行遍法其结果为()(正确答案:A,答题答案:)A、a(b(cde) )(igh)fB、a(b(cde) f)(igh)C、((dec)fb)(ghi) aD、(b(cde) f)(igh)a8、设T=〈V,E〉是n阶非平凡树,则T中至少有()片树叶.(正确答案:C,答题答案:)A、1B、2C、3D、49、设有向简单图D的度数列为2,2,3,3,入度列为0,0,2,3,D的出度列为().(正确答案:B,答题答案:)A、2,2,1,0B、2,2,3,3C、0,0,2,3D、2,2,5,610、设G=〈V,E〉是n阶无向简单图,若G中任何顶点都与其余的n-1个顶点相邻,则称G为n阶()(正确答案:A,答题答案:)A、无向图B、无向完全图C、完全图D、有向简单图二、多项选择题1、简单图为()(正确答案:AB,答题答案:)A、不含平行边B、不含环C、不含顶点D、不含单边2、下面给出的符号串集合中,哪些是前缀码?(正确答案:ABD,答题答案:)A、B1={0,10,110,1111}B、B2={1,01,001,000}C、B3={1,11,101,001,0011}D、B4={b,c,aa,ac,aba,abb,abc }3、树的行遍法有()(正确答案:ABC,答题答案:)A、中序B、前序C、后序D、顺序4、无向图G为欧拉图,则()(正确答案:ABC,答题答案:)A、G是连通的B、G中无奇度顶点C、所有顶点的入度等于出度D、奇数个顶点5、无向图G具有欧拉通路,当且仅当G是()(正确答案:AB,答题答案:)A、连通图B、有零个或两个奇度顶点C、回路D、奇数个顶点6、根据边是否有方向,图可分为()(正确答案:CD,答题答案:)A、连通图B、树C、有向图D、无向图7、两图同构,则()(正确答案:ABC,答题答案:)A、顶点个数相同B、边的条数相同C、每个顶点的度相同D、有多重边8、特殊的图有()(正确答案:ABCD,答题答案:)A、二部图B、欧拉图C、哈密尔顿图D、平面图9、下列各组数中,哪些能够成无向图的度数列?(正确答案:ABC,答题答案:)A、1,1,1,2,3B、2,2,2,2,2C、3,3,3,3D、1,2,3,4,510、若图G中任意两个结点u和v,都有从u到v和从v到u的通路,则称G是()(正确答案:A,答题答案:)A、强连通图B、弱连通图C、单向连通图D、连通图三、判断题1、强连通图一定是单向连通图。

离散数学(1-4章)自测题(答案)

离散数学(1-4章)自测题(答案)

《离散数学》题库答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(1)P↔(4)QP→⌝P⌝Q→⌝(2)QP⌝→(3)Q5.答:(1)6.答:2不是偶数且-3不是负数。

7.答:(2)8.答:⌝P ,Q→P9.答:P(x)∨∃yR(y)10.答:⌝∀x(R(x)→Q(x))11、a、(P→Q)∧R解:(P→Q)∧R⇔(⌝P∨Q )∧R⇔(⌝P∧R)∨(Q∧R) (析取范式)⇔(⌝P∧(Q∨⌝Q)∧R)∨((⌝P∨P)∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧R)∨(P∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(P∧Q∧R)⇔m3∨ m1∨m7 (主析取范式)⇔m1∨ m3∨m7⇔M0∧M2∧M4∧M5∧M6 (主合取范式)b、Q→(P∨⌝R)解:Q→(P∨⌝R)⇔⌝Q∨P∨⌝R⇔M5(主合取范式)⇔ m0∨ m1∨ m2∨m3∨ m4∨m6 ∨m7 (主析取范式)c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式)12、a、P→Q,⌝Q∨R,⌝R,⌝S∨P=>⌝S证明:(1) ⌝R 前提(2) ⌝Q∨R 前提(3)⌝Q (1),(2)析取三段论(4) P→Q 前提(5)⌝P (3),(4)拒取式(6)⌝S∨P 前提(7) ⌝S (5),(6)析取三段论b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理c、A,A→B, A→C, B→(D→⌝C) => ⌝D证明:(1) A 前提(2) A→B 前提(3) B (1),(2) 假言推理(4) A→C 前提(5) C (1),(4) 假言推理(6) B→(D→⌝C) 前提(7) D→⌝C (3),(6) 假言推理(8)⌝D (5),(7) 拒取式d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确13.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学第一部分测试题 一、 填空题
1.当p,q,r 分别取1,0,1时,(p→q) (p→r)的真值为 假,或0
2.设P :他富有,Q :他幸福,“他既不富有也不幸福” 的符号化为 ┐ P ∧┐ Q
3.“所有的人都长着黑头发”用谓词表达式符号化为 M(x):x 为人,F(x): x 长着黑头发, x(M(x)→F(x))
4.如果6大于4,则4大于5用谓词表达式符号化为 G(x,y): x ﹥y ,G(6,4) →G(4,5)
二、 选择题
1.2x+3<4( C )
A.是命题也是复合命题
B.是命题但不是复合命题
C.不是命题
D.以上都不对
2. 下列语句是命题的有( D )
A. 什么时候开会呀?
B. 请快开门!
C. x+y>10。

D. 苹果树和梨树都是落叶乔木。

3.设p 表示命题“天下大雨”,q 表示命题“他乘公共汽车上班”,r 表示命题“他骑自行车上班”。

则命题“如果天不下大雨,他乘公共汽车上班或者骑自行车上班。

”符号化为( B )
A .(⌝p ∧q) →r
B .⌝p →(q ∨r )
C .⌝p ∧(q →r )
D .p →(q ∧r )
三、 计算题
1.求(p ∨q) →r 的主析取范式
解 本公式含有三个命题变项,所以极小项均含有三个文字。

7
5310)
()()()()()()()()()()()
)()(()()()()()(m m m m m r q p r q p r q p r q p r q p r q p r q p r q p r q p r q p r q p r q q p p r r q p r
q p r
q p r
q p ∨∨∨∨⇔∧∧∨∧⌝∧∨∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔∧∧∨∧⌝∧∨∧∧⌝∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔∧∨⌝∧∨⌝∨∨⌝∧⌝∧⌝⇔∨⌝∧⌝⇔∨∨⌝⇔→∨
2.求公式的主合取范式:()()R Q Q P ∧→∨
证明:()()()()P Q Q R P Q Q R ∨→∧⇔⌝∨∨∧
()()P Q Q R ⇔⌝∧⌝∨∧
()()()()()P Q Q P P Q R ⇔⌝∧⌝∨∧⌝∨∧∧
()()()()()()R Q P P R R Q P ∧∧∨⌝∨∨⌝∧⌝∧⌝⇔
()()()()R Q P R Q P R Q P R Q P ∧∧∨∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔
四、 证明题
1.用等演算法证明下面等值式。

(1)(┐p ∨q)∧(p→r)(p→(q ∧r))
(┐p∨q)∧(p→r)
(┐p∨q)∧(┐p∨r) (蕴涵等值式)
┐p∨(q∧r) (分配律) p→(q∧r) (蕴涵等值式)
2.前提:p→(q→r),s→p ,q ; 结论:s→r
证明:用附加前提证明法
①s 附加前提引入
②s→p 前提引入
③p ①②假言推理
④p→(q→r ) 前提引入
⑤q→r ③④假言推理
⑥q 前提引入
⑦r ⑤⑥假言推理
3.前提:p ∨q, p→r, q→s
结论:r ∨s
证明:
①┐(r∨s) 结论否定引入
②p∨q 前提引入
③p→r 前提引入
④q→s 前提引入
⑤r∨s ②③④构造性二难
⑥┐(r∨s)∧(r∨s)①⑤合取
⑥为矛盾式,所以推理正确。

五、应用题
明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书。

所以,如果我看书,则明天是雨天。

令p:明天是晴天,q:明天是雨天,r:我看电影,s:我看书。

前提:p∨q, p→r, r→┐s
结论:s→q
证明:
①s 附加前提引入
②r→┐s 前提引入
③┐r ①②拒取式
④p→r 前提引入
⑤┐p ③④拒取式
⑥p∨q前提引入
⑦q ⑤⑥析取三段论。

相关文档
最新文档