离散数学模拟习题与解析 (16)

合集下载

《离散数学》复习题及答案

《离散数学》复习题及答案

页眉内容《离散数学》试题及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答:(1),(4)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答:(2),(3),(4),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。

(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。

(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)PP⌝P→⌝↔(4)QQ→⌝(2)QP⌝→(3)Q8、设个体域为整数集,则下列公式的意义是( )。

(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

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

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

离散数学练习题(含答案)题目1. 对于集合 $A={1,2,3,...,10}$ 和 $B={n|n是偶数,2<n<8}$,求 $A \cap B$ 的元素。

2. 存在三个可识别的状态A,B,C。

置换群 $S_3$ 作用在状态集上。

定义四个动作:$α: A → C, β: A → B, γ: C→ A, δ: B→ C$。

确定式子,描述 $\{α,β,γ,δ\}$ 的乘法表。

3. 证明 $\forall n \in \mathbb{N}$,合数的个数不小于$n$。

4. 给定一个无向带权图,图中每个节点编号分别是$1,2,...,n$,证明下列结论:a. 如果从节点$i$到$j$只有一条权值最小的路径,则这条路径的任意子路径都是最短路径。

b. 如果从节点$i$到$j$有两条或两条以上权值相等的路径,则从$i$到$j$的最短路径可能不唯一。

答案1. $A \cap B = \{2,4,6\}$。

2. 乘法表:3. 对于任意$n$,我们可以选择$n+1$个连续的自然数$k+1,k+2,...,k+n,k+n+1$中的$n$个数,其中$k \in \mathbb{Z}$。

这$n$个数构成的$n$个正整数均为合数,因为它们都至少有一个小于它自身的因子,所以不是质数。

所以合数的个数不小于任意$n$。

4.a. 根据题意,从$i$到$j$只有一条权值最小的路径,即这条最短路径已被确定。

如果从这条路径中任意取出一段子路径,假设这段子路径不是这个节点到$j$的最短路径,那么存在其他从$i$到$j$的路径比这段子路径更优,又因为这条路径是最短路径,所以这段子路径也一定不优于最短路径,矛盾。

所以从这条路径中任意取出的子路径都是最短路径。

b. 如果从节点$i$到$j$有多条权值相等的路径,则这些路径权值都是最短路径的权值。

因为所有最短路径的权值相等,所以这些路径的权值就是最短路径的权值。

所以从$i$到$j$的最短路径可能不唯一。

离散数学习题解答

离散数学习题解答

离散数学习题答案习题一1. 判断下列句子是否为命题?若是命题说明是真命题还是假命题。

(1)3是正数吗?(2)x+1=0。

(3)请穿上外衣。

(4)2+1=0。

(5)任一个实数的平方都是正实数。

(6)不存在最大素数。

(7)明天我去看电影。

(8)9+5≤12。

(9)实践出真知。

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

解:(1)、(2)、(3)不是命题。

(4)、(8)是假命题。

(5)、(6)、(9)、(10)是真命题。

(7)是命题,只是现在无法确定真值。

2. 设P表示命题“天下雪”,Q表示命题“我将去书店”,R表示命题“我有时间”,以符号形式写出下列命题。

(1)如果天不下雪并且我有时间,那么我将去书店。

(2)我将去书店,仅当我有时间。

(3)天不下雪。

(4)天下雪,我将不去书店。

解:(1)(┐P∧R)→Q。

(2)Q→R。

(3)┐P。

(4)P→┐Q。

3. 将下列命题符号化。

(1)王皓球打得好,歌也唱得好。

(2)我一边看书,一边听音乐。

(3)老张和老李都是球迷。

(4)只要努力学习,成绩会好的。

(5)只有休息好,才能工作好。

(6)如果a和b是偶数,那么a+b也是偶数。

(7)我们不能既游泳又跑步。

(8)我反悔,仅当太阳从西边出来。

(9)如果f(x)在点x0处可导,则f(x)在点x0处可微。

反之亦然。

(10)如果张老师和李老师都不讲这门课,那么王老师就讲这门课。

(11)四边形ABCD是平行四边形,当且仅当ABCD的对边平行。

(12)或者你没有给我写信,或者信在途中丢失了。

解:(1)P:王皓球打得好,Q:王皓歌唱得好。

原命题可符号化:P∧Q。

(2)P:我看书,Q:我听音乐。

原命题可符号化:P∧Q。

(3)P:老张是球迷,Q:老李是球迷。

原命题可符号化:P∧Q。

(4)P:努力学习,Q:成绩会好。

原命题可符号化:P→Q。

(5)P:休息好,Q:工作好。

原命题可符号化:Q→P。

(6)P:a是偶数,Q:b是偶数,R:a+b是偶数。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,子集{1, 2}的补集是()。

A. {3, 4}B. {1, 3, 4}C. {2, 3, 4}D. {1, 2, 3, 4}答案:A2. 命题“若x > 0,则x² > 0”的逆否命题是()。

A. 若x² ≤ 0,则x ≤ 0B. 若x² > 0,则x > 0C. 若x ≤ 0,则x² ≤ 0D. 若x² ≤ 0,则x < 0答案:C3. 函数f(x) = x² + 2x + 1的值域是()。

A. {x | x ≥ 0}B. {x | x ≥ 1}C. {x | x ≥ 2}D. {x | x ≥ -1}答案:B4. 以下哪个图是无向图()。

A. 有向图B. 无向图C. 有向树D. 无向树答案:B5. 以下哪个图是二分图()。

A. 完全图B. 非完全图C. 任意两个顶点都相连的图D. 任意两个顶点都不相连的图答案:C6. 以下哪个是哈密顿回路()。

A. 经过每个顶点恰好一次的回路B. 经过每个顶点至少一次的回路C. 经过每个顶点恰好两次的回路D. 经过每个顶点至少两次的回路答案:A7. 以下哪个是欧拉回路()。

A. 经过每条边恰好一次的回路B. 经过每条边至少一次的回路C. 经过每条边恰好两次的回路D. 经过每条边至少两次的回路答案:A8. 以下哪个是二进制数()。

A. 1010B. 1020C. 1102D. 1120答案:A9. 以下哪个是格雷码()。

A. 0101B. 1010C. 1100D. 1110答案:B10. 以下哪个是素数()。

A. 4B. 6C. 7D. 8答案:C二、填空题(每题2分,共20分)11. 集合{1, 2, 3}与{2, 3, 4}的交集是______。

答案:{2, 3}12. 命题“若x > 0,则x² > 0”的逆命题是:若x² > 0,则______。

《离散数学》题库及答案

《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。

答:某,y,某,z5、判断下列语句是不是命题。

若是,给出命题的真值。

((1)北京是中华人民共和国的首都。

(2)陕西师大是一座工厂。

),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。

(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。

(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。

(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

离散数学(第二版)课后全部习题答案详解

离散数学(第二版)课后全部习题答案详解
答 : p: 2 是偶数, q:3 是偶数, r:3 是素数, s:4 是偶数 , t:5 是偶数
(1)符号化 : p q∨ ,其真值为 1. (2)符号化: p r ∨ ,其真值为 1.
(3)符号化: r t ∨ ,其真值为 0. (4)符号化: ? ∨?q s,其真值为 1. (5)符号化: ? ∨?r s,其真值为 0.
(p 1 0 1 1
0 0 0 0
1 1 1 1
0 0 1 1 1
1
0
1
1
1
1
此式为可满足式
(6)
p
q
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
此式为重言式
(7)
p
q
0
0
0
0
0
0
0
0
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
1
0
0
1
1
0
r
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
r
s
0
0
1
0
1
0
1
0
0
1
1
1
0
0
( 1) 5 是有理数 .
答:否定式: 5 是无理数 . p: 5 是有理数 .q: 5 是无理数 .其否定式 q 的真值

离散数学复习题及答案

离散数学复习题及答案1. 命题逻辑中,若命题P和Q都是真命题,那么命题“P或Q”的真值是什么?答案:真2. 在集合论中,空集的表示符号是什么?答案:∅3. 什么是二元关系?答案:二元关系是指从集合A到集合B的笛卡尔积A×B的一个子集。

4. 什么是图的邻接矩阵?答案:图的邻接矩阵是一个方阵,其行和列分别代表图中的顶点,矩阵中的元素表示顶点之间的边的存在与否。

5. 什么是有向图?答案:有向图是一种图,其中的边有方向,即从一个顶点指向另一个顶点。

6. 什么是无环图?答案:无环图是一种不包含任何环的图。

7. 什么是完全图?答案:完全图是一种图,其中每一对不同的顶点之间都恰好有一条边相连。

8. 什么是二分图?答案:二分图是一种图,其顶点可以被分成两个不相交的集合,使得每条边的两个端点分别属于这两个集合。

9. 什么是图的连通性?答案:图的连通性是指图中任意两个顶点之间是否存在路径。

10. 什么是图的强连通性?答案:图的强连通性是指图中每个顶点都可以通过有向路径到达其他任何顶点。

11. 什么是图的欧拉路径?答案:图的欧拉路径是一条经过图中每条边恰好一次的路径。

12. 什么是图的哈密顿路径?答案:图的哈密顿路径是一条经过图中每个顶点恰好一次的路径。

13. 什么是归纳推理?答案:归纳推理是一种从特殊到一般的推理方法,即从个别事实或实例中推导出一般性结论。

14. 什么是演绎推理?答案:演绎推理是一种从一般到特殊的推理方法,即从一般性前提出发,通过逻辑推导出特殊性结论。

15. 什么是归纳证明?答案:归纳证明是一种数学证明方法,通常用于证明与自然数有关的命题,其基本思想是证明对于所有自然数都成立的命题。

16. 什么是递归?答案:递归是一种在函数定义中调用自身的方法,用于解决可以分解为相似子问题的问题。

17. 什么是分治算法?答案:分治算法是一种算法设计范式,它将一个复杂的问题分解成若干个相同或相似的子问题,递归地解决子问题,然后将子问题的解合并以解决原问题。

《离散数学》部分习题答案

第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为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⇔117.判断下面一段论述是否为真:“π是无理数。

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

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

”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q) ⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p) ⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1) (2) 主合取范式为: ⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1 ⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。

离散数学习题答案解析

离散数学习题答案解析(总16页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--离散数学习题答案习题一及答案:(P14-15)14、将下列命题符号化:(5)李辛与李末是兄弟解:设p:李辛与李末是兄弟,则命题符号化的结果是p(6)王强与刘威都学过法语∧解:设p:王强学过法语;q:刘威学过法语;则命题符号化的结果是p q(9)只有天下大雨,他才乘班车上班→解:设p:天下大雨;q:他乘班车上班;则命题符号化的结果是q p (11)下雪路滑,他迟到了解:设p:下雪;q:路滑;r:他迟到了;则命题符号化的结果是()∧→p q r 15、设p:2+3=5.q:大熊猫产在中国.r:太阳从西方升起.求下列复合命题的真值:(4)()(())∧∧⌝↔⌝∨⌝→p q r p q r解:p=1,q=1,r=0,∧∧⌝⇔∧∧⌝⇔,p q r()(110)1p q r⌝∨⌝→⇔⌝∨⌝→⇔→⇔(())((11)0)(00)1∴∧∧⌝↔⌝∨⌝→⇔↔⇔()(())111p q r p q r19、用真值表判断下列公式的类型:(2)()→⌝→⌝p p q解:列出公式的真值表,如下所示:由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。

20、求下列公式的成真赋值: (4)()p q q ⌝∨→解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩ 所以公式的成真赋值有:01,10,11。

习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ⌝→∧∧解:原式()p q q r ⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨,此即公式的主析取范式, 所以成真赋值为011,111。

*6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨⌝∨解:原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔,此即公式的主合取范式, 所以成假赋值为100。

离散数学习题+答案

1. (单选题) 一棵无向树的顶点数n与边数m关系是。

( B)(本题2.0分)A、n =mB、m=n-1C、n =m -1D、不能确定2. (单选题) 设G是有n个结点m条边的连通平面图,且有k个面,则k等于。

( A)(本题2.0分)A、m-n+2B、n-m-2C、n+m-2D、m+n+2。

3. (单选题) 有n个结点的树,其结点度数之和是(A )。

(本题2.0分)A、2n-2B、n-2C、n-1D、2n。

4. (单选题) A={a,b},B={c},则A B=(D )。

(本题2.0分)A、{a}B、{b}C、{a,c}D、{a,b,c}。

5. (单选题) 设A={a, b},则P (A)= (D )。

(本题2.0分)A、{a}B、{{a},{b}}C、{{a},{b},{a,b}}D、{,{a},{b},{a,b}6. (单选题) 公式yP(y)∧x(R(x)→Q(x))中,y约束出现了次(B )。

(本题2.0分)B、 1.0C、 2.0D、3。

7. (单选题) 设A={a},B={0,1},求A×B=(A )。

(本题2.0分)A、{<a,0 style="box-sizing: border-box;">,<a,1 style="box-sizing:border-box;">}B、{<a,0 style="box-sizing: border-box;">}C、{,<a,1 style="box-sizing: border-box;">}D、{<0,a >,<1,a >}8. (单选题) 下图中结点V3的出度是(B )。

(本题2.0分)B、 1.0C、 2.0D、 3.09. (单选题) 下面给出的集合中,哪一个不是前缀码( C)。

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

一、 判断正误 20% (每小题 2分)1、设A ,B , C 是任意三个集合。

(1)若A ∈B 且B ⊆C ,则A ∈C 。

( ) (2)若A ⊆B 且B ∈C ,则A ∈C 。

( )(3)若A ∈B 且B ⊄C ,则A ∉C 。

( )(4)A )()()(C A B A C B ⋃⊕⋃=⊕⋃。

( ) (5)(A ⊕B)⨯C=(A ⨯C) ⊕ (B ⨯C)。

( ) 2、可能有某种关系,既是对称的,又是反对称的。

( )3、若平面图共有v 个结点,e 条边和r 个面,则v-e+r=2。

( ) 4、任何有向图中各结点入度之和等于边数。

( )5、代数系统中一个元素若有左逆元,则该元素一定也有右逆元。

( ) 6、任何一个循环群必定是阿贝尔群。

( )二、 8%将谓词公式)()())()()()((y R y y Q y x P x ∀→∀∨∃化为前束析取范式与前束合取范式。

三、 8%设集合A={a,b,c,d,e}上的关系R={<a,b>,<b,c>,<b,d>,<d,e>}写出它的关系矩阵和关系图,并用矩阵运算方法求出R的传递闭包。

四、10%设<G,*>是一个群,证明:若对任意的G b a ∈,,都有333)*(*b a b a =,444)*(*b a b a =,555)*(*b a b a =, 则<G,*>是一个阿贝尔群。

五、8%根据库拉托夫斯基定理,证明下图为非平面图,要求用两种证法。

法(1)是找出与K3,3在2度结点内同构的子图。

法(2)是找出与K 5在2度结点内同构的子图。

六、10%证明:每个结点的度数至少为2的图必包含一个回路。

七、12%用CP规则证明:1、Q S P PR R Q S ⌝→⇒⌝∨⌝→∧,,)(2、)()()()())()()((x Q x x P x x Q x P x ∃→∃⇒→∀八、12%用推理规则证明下式:前提: )()(,)()(,))())()((()()(x Q x x P x x R x Q x P x x P x ∃∃→∨∀→∃ 结论:))()()()((y R x P y x ∧∃∃九、12%若集合X={(0,2),(1,2),(2,4),(3,4),(5,6),……}}|,,,{12212211y x y x y x y x R +=+>><><<=1、 证明R 是X 上的等价关系。

2、 求出X 关于R 的商集。

一、填空 20%(每小题2分)二、8%前束合取范式前束析取范式))()(())()()(()()(())())()()(()()(()()())(()()(()()())(()()(()()())()(()()(()()())(()((()()())(()()(((z R y Q z R x P z y x z Ry Q x P z y x z R z y Q y x P x y R y y Q y x P x y R y y Q y x P x y R y y yQ x xP y R y y yQ x P x ∨⌝∧∨⌝∀∃∀⇔∨⌝∧⌝∀∃∀⇔∀∨⌝∃∧⌝∀⇔∀∨⌝∃∧⌝∀⇔∀∨∀⌝∧∃⌝⇔∀∨∀∨∃⌝⇔∀→∀∨∃三、8%关系矩阵:⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0010000000000110000010RM关系图:传递闭包: 511)(=∞===i ii iRRR t⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛==0000000000000001000001100000001000000000011000001000000100000000001100000102RRRMMM⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛==00000000000000000000100000000010000000000110000010000000000000000100000110023RRRMMM534000000000000000000000000000100000000001100000100000000000000000010000RRRRM MMM=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛== ⎪⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=++++∴001000000000111001111054321RRRRRMMMMMt (R)={< a , b > , < a, c> , < a, d> , < a ,e > , < b , c > , < b , d > , < b , e > , < d , e > }。

四、10%证明:对<G ,*>中任意元素a 和b ab b a ba b b a b a b b a b b a b b a b a a b b a a b a b b a ba ab b a a b a b b a a b ba b a b a a b b a b a ba b a ba b b a abb a a b a b a ***)*()*(*)*(****)*(***)*()*(*)*(***)*()*(*)*()*(*)*(*)*(*)*(*:)*(**)*(**)*(*,)*(*333443333332244444334445553334442221311331333==================∴=----故由于即同样可得即因此可得由可得由同理,即所以<G ,*>是阿贝尔群五、8%法一:法二:六、10%证明:设L是图G中最长路的一条,设其长度为m,这条路的一个端点设为a,考察G 中与a关联的那些边,这些边中任何一条边的另一端必在L上,否则,将这个结点加进L中就得一条更长的路。

若G中每个结点度数至少为2,则a也要关联于一条不在L上的边e,若e是环,则e 本身就是回路,否则,边e的另一端点b(与a不同的点)在L上,而连通L中a到b的子路与边e组成一个回路。

七、12%(每小题6分) 1、 ①P ⌝ P ②P R ∨⌝ P ③R ⌝T ①②I ④R Q S →∧)( P⑤)(R S R ∧⌝→⌝ T ④E ⑥)(Q S ∧⌝ T ③⑤I ⑦Q S ⌝∨⌝ T ⑥E ⑧S P(附加前提) ⑨Q ⌝ T ⑦⑧I⑩Q S ⌝→ CP2、①)()(x P x ∃ P ( 附加前提) ②)(e PES ① ③))()()((x Q x P x →∀ P ④)()(e Q e P → US ③⑤)(e Q T ②④I ⑥)()(x Q x ∃EG ⑤ ⑦)()()()(x Q x x P x ∃→∃ CP八、12%⑪))())()()((()()(x R x Q x P x x P x →∨∀→∃ P ⑫)()(x P x ∃P ⑬))())()()(((x R x Q x P x →∨∀ T ⑪⑫I⑭)(e P ES ⑫ ⑮)()(x Q x ∃ P ⑯)(d QES ⑮ ⑰)())()((d R d Q d P →∨ US ⑬⑱)()(d P d Q ∨ T ⑯I ⑲)(d R T ⑰⑱I ⑳)()(d R e P ∧ T ⑭⑲I⑴))()()((y R e P y ∧∃ EG ⑳ ⑵))()()()((y R x P y x ∧∃∃ EG ⑴九、12%(1)自反性:R y x y x y x y x X y x >∈<+=+∈∀),(),,(,,),(故由于 (2) 对称性:时当R y x y x X y x y x >∈<∈∀),(),,(,),(),,(22112211 R y x y x y x y x y x y x >∈<+=++=+),(),,(112221121221有亦即(3)传递性:,),(),,(),,(332211X y x y x y x ∈∀时当R y x y x R y x y x >∈<>∈<),(),,(,),(),,(33222211R y x y x y x y x y x y x y x y x >∈<+=+⎩⎨⎧+=++=+),(),,(3311133123321221故相加化简得即由等价关系的定义知R 是X 上的等价关系。

2、X/R={[<0,2>]R ,[<1,2>]R }。

相关文档
最新文档