离散数学考试试题(B卷及答案)

合集下载

安徽大学-离散数学期末试卷及答案

安徽大学-离散数学期末试卷及答案

安徽大学《离散数学》期末考试试卷(B 卷)(时间120分钟)开课院(系、部) 姓名 学号 .一、选择题(每小题2分,共20分)1.设522:=⨯P ,:Q 雪是黑的,842:=⨯R ,:S 太阳从东方升起,下列命题中真值为T 的是( ) A 、R Q P ∧→; B 、S P R ∧→;C 、R Q S ∧→;D 、)()(S Q R P ∧∨∧。

2.下列命题公式中,为重言式的是( )A 、)(R Q P ∨→;B 、)()(Q P R P →∧∨;C 、)()(R Q Q P ∨↔∨;D 、))()(())((R P Q P R Q P →→→→→→。

3.设x x L :)(是演员,x x J :)(是老师,x y x A :),(钦佩y ,命题“所有演员都钦佩某些老师”符号化为( )A 、)),()((y x A x L x →∀;B 、))),()(()((y x A y J y x L x ∧∃→∀;C 、)),()()((y x A y J x L y x ∧∧∃∀;D 、)),()()((y x A y J x L y x →∧∃∀。

4.设}{φ=A , ))((A B ρρ=,以下各小题中不正确的有( )A 、B ∈}}{{φ; B 、B ∈}}}{{,{φφ ;C 、B ⊆}}}{{,{φφ;D 、B ⊆}}}{,{},{{φφφ。

5.设φ=A , }}{,{φφ=B ,则A B -是( )。

A 、 }}{{φ; B 、}{φ ; C 、 }}{,{φφ; D 、 φ。

6.设},,{c b a A =,R ,S ,T 是集合)(A ρ上的二元关系。

其中,}|,{y x y x R ⊂><=,}|,{φ=><=y x y x S ,}|,{A y x y x T =><= 。

下列哪些命题为真?( ) I.R 是反自反、反对称和传递的 II.S 是反自反和对称的 III.T 是反自反和对称的A 、仅I ;B 、仅II ;C 、I 和II ;D 、全真。

离散数学期末考试复习题及参考答案

离散数学期末考试复习题及参考答案
A. B. C. D.
参考答案: B
6、 设 A. 代数系统 B. 半群 C. 群
,*为普通乘法,则<S,*>是( )
D. 都不是
参考答案: A
7、 设S={0,1},*为普通乘法,则< S , * >是( ) A. 半群,但不是独异点 B. 只是独异点,但不是群 C. 群 D. 环,但不是群
参考答案: B
A. B. C. D.
参考答案: B
3、 命题“有的人喜欢所有的花”的逻辑符号化为( ) 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y
A. B. C. D.
参考答案: D
4、 下列等价式成立的有( )
A. B. C. D.
参考答案: D
5、 下列公式是重言式的有( )
5、 ( )设S={1,2},则S在普通加法和乘法运算下都不封闭。 参考答案: 正确
8、 谓词公式
中的x是( )
A. 自由变元
B. 约束变元
C. 既是自由变元又是约束变元
D. 既不是自由变元又不是约束变元
参考答案: C
9、 设
是一个有界格,如果它也是有补格,只要满足( )
A. 每个元素都至少有一个补元
B. 每个元素都有多个补元
C. 每个元素都无补元
D. 每个元素都有一个补元
参考答案: A
10、 一棵无向树T有4度、3度、2度的分枝点各1个,其余顶点均为树叶,则T中有( )片树叶
A. 3 B. 4 C. 5 D. 6
参考答案: C
11、 设
A. {{1,2}} B. {1,2 } C. {1} D. {2}
参考答案: A
,则有( )

离散数学期末考试试题及答案

离散数学期末考试试题及答案

离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。

证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。

(完整版)离散数学题目及答案

(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。

C.2是偶数。

D.铅球是方的。

2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。

离散数学期末考试题(附答案和含解析3)

离散数学期末考试题(附答案和含解析3)

一、单项选择题2.设集合A={1,2,3},下列关系R 中不.是等价关系的是( D ) A.R={<1,1>,<2,2>,<3,3>}; B.R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>};C. R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};D. R={<1,1>,<2,2>,<3,3>,<1,2 >}.3.在公式(x ∀)F (x ,y )→(∃ y )G (x ,y )中变元x 是( B )A .自由变元;(前面无∀或∃量词)B .既是自由变元,又是约束变元;C .约束变元;(前面有∀或∃量词)D .既不是自由变元,又不是约束变元.4.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是( C )A .1∈A ;B .{1,2,3}⊆A ;C .{{4,5}}⊆A ;D .∈A. 5.设论域为{l ,2},及公式)()(x A x ∃等价的是( A )A.A (1)∨A (2);B. A (1)→A (2);C.A (1)∧A (2);D. A (2)→A (1).6.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是( B )A.13 ;B.14 ;C.16 ;D.17 .//设一度结点数为n,则有:5×3+2×2+n=2[(5+2+n)-1]解得:n=7, 所以这棵树的结点数为:m=5+2+7=14.7.设A 是偶数集合,下列说法正确的是( A )A .<A ,+>是群;B .<A ,×>是群;C .<A ,÷>是群;D .<A ,+>, <A ,×>,<A ,÷>都不是群。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念不是布尔代数的基本运算?A. 与B. 或C. 非D. 模答案:D2. 集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A3. 命题逻辑中,下列哪个符号表示“蕴含”关系?A. ∧B. ∨C. →D. ↔答案:C4. 关系R在集合A上是自反的,意味着什么?A. 对于所有a∈A,(a, a)∈RB. 对于所有a∈A,(a, a)∉RC. 对于所有a∈A,(a, b)∈RD. 对于所有a∈A,(a, b)∉R答案:A二、填空题(每题5分,共20分)1. 一个集合的基数是集合中元素的________。

答案:数量2. 在有向图中,如果存在一条从顶点u到顶点v的路径,则称顶点v 是顶点u的________。

答案:可达的3. 一个图是连通的,当且仅当图中任意两个顶点都是________。

答案:连通的4. 在命题逻辑中,一个命题的否定是________。

答案:它的对立命题三、简答题(每题10分,共30分)1. 请解释什么是图的哈密顿回路。

答案:哈密顿回路是一个图中的闭合回路,它恰好访问图中的每个顶点一次。

2. 描述一下什么是二元关系,并给出一个例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是数字集合上的一个二元关系。

3. 什么是图的生成树?答案:图的生成树是图的一个子图,它包含图中的所有顶点,并且是一棵树,即它是连通的且没有环。

四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4,5},计算它的幂集。

答案:幂集P(A)={∅, {1}, {2}, {3}, {4}, {5}, {1,2}, {1,3}, {1,4}, {1,5}, {2,3}, {2,4}, {2,5}, {3,4}, {3,5}, {4,5},{1,2,3}, {1,2,4}, {1,2,5}, {1,3,4}, {1,3,5}, {1,4,5}, {2,3,4}, {2,3,5}, {2,4,5}, {3,4,5}, {1,2,3,4}, {1,2,3,5}, {1,2,4,5}, {1,3,4,5}, {2,3,4,5}, {1,2,3,4,5}, A}。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

东华大学《离散数学》2021-2022学年第一学期期末试卷B卷(B)

东华大学《离散数学》2021-2022学年第一学期期末试卷B卷(B)

东 华 大 学 试 卷2021-2022学年第 1 学期 课号课程名称 离散数学 (期末; 闭卷) 适用班级(或年级、专业)1、对任意两个集合B A 和,证明 ()()A B A B A =⋂⋃-2、构造下面命题推理的证明如果我学习,那么我数学不会不及格;如果我不热衷于玩游戏机,那么我将学习;但我数学不及格,因此我热衷与玩游戏机。

二 、计算(本大题共4小题,第1小题5分,第2、3、4小题各10分,总计35分) 1、画一个有一条欧拉回路和一条汉密顿回路的图。

2、设()(){}212,,,个体域为为,整除为<x x Q y x y x P ,求公式: ()()()()()x Q y x P y x →∃∀,的真值。

3、一棵树有2n 个结点度数为2 ,3n 个结点度数为3,… ,k n 个结点度数为k ,问它有几个度数为1的结点。

4、设集合{}A d c b a A ,,,,=上的关系 {}d c c b a b b a R ,,,,,,,=,求出它的自反闭包,对称闭包和传递闭包。

三、设{}15,9,5,3=A 上的整除关系{}212121,,,a a A a a a a R 整除∈=,R 是否为A 上的偏序关系?若是,则:1、画出R 的哈斯图;2、求A 的极大值和A 的极小值。

(本大题10分)四、用推导法求公式()()R Q P →→的主析取范式和主合取范式。

(本大题10分) 五、设自然数集N 上的关系R 定义为:{}I m n n N n n n n R m ∈=∈=,2/,,,212121,证明:R 是N 上的等价关系。

(本大题10分)六、设+R R 和分别是实数集和正实数集,+和×分别是普通加法和乘法,定义函数+→R R f :为r r f 10)(=,证明 ),(),(⨯++R R f 到是从的同构映射。

(本大题10分)七、设I 是整数集合,+是普通加法,试证明>+<,I 是一个群。

离散数学试题(2016)_B(答案)-推荐下载

离散数学试题(2016)_B(答案)-推荐下载

第1页 共6页第2页 共 6页一、填空题(每小题3分,共15分)1.设F (x ):x 是苹果,H (x ,y ):x 与y 完全相同,L (x ,y ):x =y ,则命题“没有完全相同的苹果”的符号化(利用全称量词)为∀x ∀y (F (x )∧F (y )∧⌝L (x ,y )→⌝H (x ,y )).2.命题“设L 是有补格,在L 中求补元运算‘′’是L 中的一元运算”的真值是 0 .3.设G ={e ,a ,b ,c }是Klein 四元群,H =〈a 〉是G 的子群,则商群G /H ={〈a 〉,{b ,c }}={{e ,a },{b ,c }}.4.设群G =〈P ({a ,b ,c }),⊕〉,其中⊕为集合的对称差运算,则由集合{a ,b }生成的子群〈{a ,b }〉 ={∅,{a ,b }}.5.已知n 阶无向简单图G 有m 条边,则G 的补图有n (n -1)/2-m 条边.二、选择题(每小题3分,共15分)1.命题“只要别人有困难(p ),小王就会帮助他(q ),除非困难已经解决了(r )”的符号化为 【B 】A .⌝(p ∧r )→q .B .(⌝r ∧p )→q .C .⌝r →(p ∧q ).D .⌝r →(q → p ).2.设N 为自然数集合,“≤”为通常意义上的小于等于关系,则偏序集〈N ,≤〉是 【C 】A .有界格.B .有补格.C .分配格.D .布尔代数.3.设n (n ≥3) 阶无向图G =〈V ,E 〉是哈密尔顿图,则下列结论中不成立的是 【D 】A .∀V 1⊂V ,p (G -V 1)≤|V 1|.B .|E |≥n .C .无1度顶点.D .δ(G )≥n /2.4.设A ={a ,b ,c },在A 上可以定义 个二元运算,其中有 个是可交换的,有 个是幂等的. 【A 】A .39,36,36.B .39,36,33.C .36,36,33.D .39,36,39.5.下列图中是欧拉图的有【C 】A .K 4,3.B .K 6.C .K 5.D .K 3,3.三、计算与简答题(每小题10分,共50分)1.利用等值演算方法求命题公式(p ∨q ) → (q →p )的主合取范式;利用该主合取范式求公式的主析取范式,并指出该公式的成真赋值和成假赋值.(p ∨q ) → (q →p ) ⇔⌝(p ∨q )∨(⌝q ∨p ) ⇔(⌝p ∧⌝q )∨(⌝q ∨p )⇔(⌝p ∨⌝q ∨p )∧(⌝q ∨⌝q ∨p ) ⇔⌝q ∨p ⇔p ∨⌝q哈尔滨工程大学试卷考试科目:离散数学(061121,061131)考试时间: 2008.07.09 9:00-11:00题号一二三四五总分分数评卷人第5页 共6页第6页 共 6页=(a ∧b )∨((a ∨c )∧(b’ ∨c’ ∨c ))=(a ∧b )∨(a ∨c )=(a ∨(a ∨c ))∧(b ∨a ∨c )=(a ∨c )∧(a ∨c ∨b )=a ∨c四、证明题(共20分)1.在自然推理系统中,构造推理证明:前提:∀x (F (x )∨G (x ))结论:⌝∀xF (x )→ ∃xG (x )证明:(1) ⌝∀xF (x ) 附加前提引入(2) ∃x ⌝F (x ) (1)置换(3) ⌝F (c )(2)EI 规则(4) ∀x (F (x )∨G (x )) 前提引入(5) F (c )∨G (c ) (4)UI 规则(6) G (c )) (3)(5)析取三段论(7) ∃xG (x )(6)EG 规则2.设代数系统〈A ,*〉是独异点,e 是其单位元.若∀a ∈A ,有a *a =e ,证明:〈A ,*〉是Abel 群.证明:由于对∀a ∈A ,有a *a =e ,因此,A 中任意元素a 都有逆元,且a=a -1.又〈A ,*〉是有单位元的独异点,从而〈A ,*〉是群.∀a ,b ∈A ,有a *b ∈A ,且a=a -1,b=b -1,(a *b )-1=a *b .又(a *b )-1=b -1*a -1=b *a ,因此 a *b =b *a ,即〈A ,*〉是Abel 群.3.证明:若无向图G 为欧拉图,则G 无桥.证明:(1)假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’一定不连通(G ’至少含有两个连通分支).由于G 为欧拉图,因此它是连通图,且有经过每条边一次且仅一次的回路,这条回路必经过G 的所有顶点.从而存在顶点v 1,v 2,…,v s ,使得uv 1v 2…v s vu 是G 的一条回路.从G 中删去边e =(u ,v )后,所得图G ’仍有从u 到v 的通路uv 1v 2…v s v ,这样G ’仍是连通图.矛盾.因此,G 中一定无桥.(2)由于G 为欧拉图,其每个顶点的度数均为偶数.假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’至少有两个连通分支.而且,顶点u ,v 的度数都是奇数,这与每个连通分支为图矛盾(与握手定理矛盾),因此,G 中一定无桥.。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、填空题1设集合A,B,其中A={1,2,3},B= {1,2}, 则A - B=____________________;(A) —(B)=__________________________ .2. 设有限集合A,|A|= n,则|(A×A)|= __________________________.3.设集合A = {a, b}, B = {1, 2},则从A到B的所有映射是_______________________________________, 其中双射的是__________________________。

4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是_________________________________________________________________________________________.5。

设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A B=_________________________;A B=_________________________;A-B=_____________________ .7。

设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________,________________________,_______________________________。

8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________,__________________________.9。

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)

国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)一、单项选择题(每小题3分,本题共16分)若集合A = {1,2,3,4},则下列表述不正确的是( ).A.{2,3)€AB.AU{1,2,3,4}C. <1,2,3,4)QAD. 16A2.若无向图G的结点度数之和为20,则G的边数为( ).A.10B. 20C. 30D. 53.无向图G是棵树,结点数为10,则G的边数为( ).A. 5B. 10C.9D. 114.设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为( )•A.Vx)(A(x)-*B(x»B.(3x)(A(x)AB(x))C.(Vx)(A(x)AB(x»D.-«(3x)(A(x)A -B(x»5.下面的推理正确的是( ).A.(l)(Vx)F(x)->G(x) 前提引入(2)F(>-)-*G(y) US(1).B.(1)( 3 x)F(x)-*G(x) 前提引入(2)F(y)-*G(y) US(1),C.(l)(3x)(F(x)->G(x»前提引入(2)F(y)-*G(x) ES(1).D.(l)(3x)(F(x)-*G(x)) 前提引入(2)F(y)-*G(y) ESQ).二、填空题(每小题3分,本题共15分)6.设A = {1,2),H = {1,2,3},则A到B上不同的函数个数为________________ .7.有&个结点的无向完全图的边数为 ____________ .8.若无向图G中存在欧拉路但不存在欧拉回路,则G的奇数度数的结点有________ 个.9.设G是有10个结点的无向连通图,结点的度数之和为30,则从G中删去条边后使之变成树.10.设个体域£> = {1,2,3,4},则谓词公式(*)人(了)消去量词后的等值式为三、逻辑公式翻译(每小题6分,本息共12分)11.将语句“昨天下甬“翻译成命题公式.12.将语句“小王今天上午或者去看电彩或者去打球”翻译成命JS公式.四、判断说明题(判断各题正误,并说明理由.每小题7分,本黑共14分)13.存在集合A与B,使得A6B与AUB同时成立.14.完全图K<是平面图.五、计算题(每小题12分,本题共36分)15.设偏序集VA,R>的哈斯图如下,B为A的子集,其中B = 试(1)写出R的关系表达式;(2)画出关系R的关系图;(3)求出B的最大元、极大元、上界.16.设图G — <V,E>,V={vj f v it v t,Vi»v s)»(v2, v3)»(v3»vs)}»试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形,17.求P TQ代R)的合取范式与主合取范式.六、证明题(本题共8分)18.设A.B是任意集合,试证明:若AXA=BXB,^ A = B.M答杖松标准(仅辩者)一、单项选择题(每小题3分,本题共15分)1. A2. A3. C4.B5. D二、填空题(每小题3分,本题共]5分)6.97.”3 — 1)/2(或庆)8.210. A(l) VA(2) V A(3) V A(4)三、 逻辑公式翻译(每小题6分,本题共】2分)H,设P :昨天下雨. 则命题公式为:P ,12. 设P :小王今天上午去看电影 Q :小王今天上午去打球 则命题公式为:r (PiQ ). 或者(rPAQ )V 〈PA rQ )四、 判断说明题(每小题7分,本题共14分)13. 正确.例:设 A = {a} t H — {a,{a}) 则有且ACI3.说明:举出符合条件的例均给分. 14. 正确.完全图K 〈是平面图, 如K,可以如下图示嵌入平面.(7分)五、计算题(每小题12分,本题共36分)15. (l )R = {Va ,a>,Vb,Q>,Vc,c>,Vd,d>・Va0>・Va ・c>,V&,d>,VQ,d >}. (4 分)(2)关系图(8分)(3)集合B 无最大元,极大元为6与c.无上界. 16, 解: (1)关系图(2分) (6分)(2分)(6分)(3分) (517. P TQAR) 5PV(QAR) 0(rPVQ 〉A(rPVR)合取范式<=>(-PVQ)V(K A rR)A(rPVR) 0("VQ)V(& A rR)A(" VR)V(QA -Q)D(rPVQVR)A(rPVQVA("VR VQ) A(-、PVR V -Q) c=>(-PVQV7?)A(-'PVQV-R)A(-PV-QVR) 主合取范式 六、证明题(本意共8分)18. 证明:V2(2)邻接矩阵bioir 101001001 1 00 0(6分)(3) deg(vi)=,3deg(v t )—2 <ieg(v 3)~2 deg顷)=1 deg(v s )=2 (4) 补图(9分)(】2分)(2分) (5分)(7分〉设x€A,则Vx,x>€AXA,(1 分)因AXA = BXB,故V X,X>€BXB,则有xGB, (3 分)因此AGB. (5分)设xQB,则Vx,x>€BXB,(6 分)因AXA-BXB,故Vx,x>eAXA,则有因此BWA. (7 分)故得A=B. (8分)。

离散数学期末考试试题及答案

离散数学期末考试试题及答案

离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。

证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。

(完整word版)离散数学试卷及参考答案()

(完整word版)离散数学试卷及参考答案()

一、填空题:(每空1分,本大题共15分)1.给定命题公式A 、B ,若 ,则称A 和B 是逻辑相等的。

2.命题公式)(Q P →⌝的主析取范式为 ,主合取范式的编码表示为 。

3.设E 为全集, ,称为A 的绝对补,记作~A ,且~(~A )= ,~E = ,~Φ= 。

4.设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =,}},{},,{},{{2c a b a a S =,}},{},{{3c b a S =,}},,{{4c b a S =}}{},{},{{5c b a S =,}},{},{{6c a a S =则A 的覆盖有 ,A 的划分有 。

5.设S 是非空有限集,代数系统<(S ),,>中,(S)对的幺元为 ,零元为 。

(S )对的幺元为 ,零元为 .6.若>=<E V G ,为汉密尔顿图,则对于结点集V 的每个非空子集S ,均有W(G-S) S 成立,其中W (G —S)是 。

二、单项选择题:(每小题1分,本大题共10分)1.下面命题公式( )不是重言式。

A 、)(Q P Q ∨→;B 、P Q P →∧)(;C 、)()(Q P Q P ∨⌝∧⌝∧⌝;D 、)()(Q P Q P ∨⌝↔→。

2.命题“没有不犯错误的人”符号化为( )。

设x x M :)(是人,x x P :)(犯错误。

A 、))()((x P x M x ∧∀; B 、)))()(((x P x M x ⌝→∃⌝;C 、)))()(((x P x M x ∧∃⌝;D 、)))()(((x P x M x ⌝∧∃⌝。

3.设}{Φ=A ,B =((A )),下列各式中哪个是错误的( )。

A 、B ⊆Φ; B 、B ⊆Φ}{,C 、B ∈Φ}}{{;D 、⊆ΦΦ}}{,{(A )。

4.对自然数集合N ,哪种运算不是可结合的,运算定义为任N b a ∈,( ).A 、),min(b a b a =*;B 、b a b a 2+=*;C 、3++=*b a b a ;D 、)3(mod ,b a b a =*。

《离散数学》试卷及答案精选全文完整版

《离散数学》试卷及答案精选全文完整版
解 设谓词Q(x):x是勤奋的;
H(x):x是身体健康的;
S(x):x是科学家
C(x):x是事业获得成功的人
置换规则。
3、设集合|A|=101,S ,且|S|为奇数,则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项,则mi的对偶式不一定是(填“是”/“不是”/“不一定是” ) G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}; (2) a=3; (3) 函数f(x)为f(2)=2,f(3)=3; (4) 谓词:F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时,G(i,j):=1;当i≠j时,G(i,j):=0;其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有(a+bi)R(u+vi)
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中,构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的,每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以,存在着事业获得成功的人。”(15分)
2.设A={1,2,3…10},定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10},试讨论R关于关系的五个方面的性质并说明理由(5分)
解答:R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题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)。

离散数学期末考试试题及答案

离散数学期末考试试题及答案

离散数学期末考试试题及答案一、选择题(每题4分,共40分)1.下列哪一个不是集合操作? A. 并 B. 交 C. 补 D. 叉积正确答案:D2.下列哪一个不是真命题? A. 1 + 1 = 2 B. 所有的猫都会飞 C. 所有的数都是整数 D. 狗是哺乳动物正确答案:B3.设A = {1, 2, 3},B = {3, 4, 5},则A ∩ B的结果是:A. {1, 2}B. {3}C. {1, 3}D. {4, 5}正确答案:B4.设A = {1, 2, 3},B = {3, 4, 5},则A × B的结果是:A. {(1, 3), (2, 4), (3, 5)}B. {(1, 1), (2, 2), (3, 3)}C. {(3, 3), (3,4), (3, 5)} D. {(3, 1), (3, 2), (3, 3)}正确答案:A5.若n为正整数,则n是偶数的充要条件是: A. n可以被2整除 B. n除以2的余数为1 C. n大于2 D. n的绝对值是偶数正确答案:A6.若A = {1, 2, 3, 4},B = {3, 4, 5},则A - B的结果是:A. {1, 2}B. {3}C. {1, 3, 4}D. {4, 5}正确答案:A7.已知命题P和命题Q,下列哪个是它们的逻辑等价式?A. P ∧ (P ∨ Q) = P B. P ∧ (P ∨ Q) = Q C. P ∨ (P ∨ Q) = P D. P ∨ (P ∨ Q) = Q正确答案:A8.设n为奇数,则n + n的结果是: A. 2n B. n^2 C.n(n+1) D. n(n-1)正确答案:C9.已知集合A = {1, 2, 3, 4},B = {4, 5, 6},C = {6, 7, 8},则(A ∩ B)∩ C的结果是: A. {1, 2, 3} B. {4} C. {6} D. 空集正确答案:D10.若命题P为真,则下列哪个推理是正确的? A. 如果P为真,则Q为真(反证法) B. P与Q都为真(析取引理)C. P蕴含Q(推理法则) D. P等价于Q(假设法)正确答案:A二、解答题(每题10分,共60分)1.证明:任取集合A和B,有(A ∪ B) - B = A - B解答:运用集合的基本运算性质:对任意元素x,x∈ (A ∪ B) - B,即x ∈ (A ∪ B)且x ∉ B。

安徽大学 离散数学 期末试卷06-07(2)

安徽大学 离散数学 期末试卷06-07(2)

安徽大学2006—2007学年第 二 学期 《 离散数学 》考试试卷(B 卷)(时间120分钟)院/系 专业 姓名 学号题 号 一 二 三 四 五 六 七 总分得分一、选择题(每小题2分,共20分)1.在自然数集合N 上,下列运算中可结合的是( ) A. b a b a -=*; B. ),max(*b a b a =; C. b a b a 2*+=; D. b a b a -=*。

2.R 为实数集,运算*定义为:R b a ∈,,||*b a b a ⋅=,则代数系统<R,*>是( ) A. 半群; B. 独异点; C. 群; D. 阿贝尔群。

3.下列代数系统中,哪个是独异点( )A. <R,ο>,其中22b a b a +=ο;B. <R,ο>,其中333b a b a +=ο;C. <I,max>,其中max 为求两数中较大数;D. <I +,GCD>,其中GCD 为最大公约数。

(R :实数集,I :整数集,I +:正整数集)4.下列集合对于指定运算,构成群的为( )A. 非负整数集关于数的加法运算;B. 整数集关于数的减法运算;C. 正实数关于数的除法运算;D. 一元实系数多项式集合关于多项式加法。

5.下面哪个集合关于指定运算构成整环( ) A. },|2{3Z b a b a ∈+,关于数的加法和乘法; B. {n 阶实数矩阵},关于矩阵的加法和乘法; C. },|2{Z b a b a ∈+,关于数的加法和乘法;D. },|{Z b a a b b a ∈⎪⎪⎭⎫ ⎝⎛,关于矩阵的加法和乘法。

6.下面给出了一些偏序集的哈斯图,其中哪个不是格( )A.;B.;C.;D.。

7. 下面哈斯图(图1-7)表示的格中哪个元素无补元( )? A. a ; B. c ; C. e ; D. f 。

得分图1-78.给定平面图G如图1-8所示,则G中面的个数及面的总次数分别为()A. 4,20 ;B. 4,22 ;C. 5,22 ;D. 5,24 。

计算机学院 离散数学(上)B卷和参考答案及评分标准

计算机学院 离散数学(上)B卷和参考答案及评分标准

《离散数学(上)》考试试卷(B 卷)(时间120分钟)院/系 专业 姓名 学号一、单选题(每小题2分,共20分)1. 若P :他聪明;Q :他用功;则“他虽聪明,但不用功”,可符号化为( )A.P ∨QB.P ∧┐QC.P →┐QD.P ∨┐Q2. 设个体域为{,}D a b =,(,)(,)0F a a F a b ==,(,)(,)1F b a F b b ==,则下列公式为真的是( )A. (,)x yF x y ∃∀;B. (,)x yF x y ∀∃;C.(,)x yF x y ∀∀;D.(,)x yF x y ∃∃¬。

3. 设B 是不含变元x 的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B 4. 对任意集合C B A ,,,下列各式中一定成立的是( )A.)()()(C A B A C B A ⋃⊕⋃=⊕⋃;B. )()()(C A B A C B A ⋃⋂⊕=⋂⊕;C. )()()(C A B A C B A ⋃⊗⋃=⊗⋃;D. )()(C B A C B A ⨯⨯=⨯⨯。

5. 设A={a,b,c},A 上二元关系R={〈a,a 〉,〈b,b 〉,〈a,c 〉},则关系R 的对称闭包S(R)是( )A.R ∪I AB.RC.R ∪{〈c,a 〉}D.R ∩I A6. 设X={a,b,c},Ix 是X 上恒等关系,要使I x ∪{〈a,b 〉,〈b,c 〉,〈c,a 〉,〈b,a 〉}∪R 为X 上的等价关系,R 应取( )A. {〈c,a 〉,〈a,c 〉}B.{〈c,b 〉,〈b,a 〉}C. {〈c,a 〉,〈b,a 〉}D.{〈a,c 〉,〈c,b 〉} 7. 下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅8. 以下命题公式中,为永假式的是( )A.p →(p ∨q ∨r)B.(p →┐p)→┐pC.┐(q →q)∧pD.┐(q ∨┐p)→(p ∧┐p) 9. 设1π和2π是非空集合A 的划分,则下列集合一定是A 的划分的是( )A.12ππ B.12ππ C.12ππ- D.1211()ππππ-10. 设N 和R 分别为自然数和实数集合,则下列集合中与其他集合的基数不同的集合是( )A.RB.NN C.()N ρ D.nN (n N ∈)二、判断题(每小题2分,共10分。

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

离散数学考试试题(B 卷及答案)一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。

设F 表示灯亮。

(1)写出F 在全功能联结词组{↑}中的命题公式。

(2)写出F 的主析取范式与主合取范式。

解 (1)设A :开关A 关闭;B :开关B 关闭;C :开关C 关闭;F =(A ∧C )∨(B ∧C )。

在全功能联结词组{↑}中:⌝A ⇔⌝(A ∧A )⇔A ↑AA ∧C ⇔⌝⌝( A ∧C )⇔⌝( A ↑C )⇔(A ↑C )↑(A ↑C )A ∨B ⇔⌝(⌝A ∧⌝B )⇔⌝(( A ↑A )∧(B ↑B ))⇔( A ↑A )↑(B ↑B )所以F ⇔((A ↑C )↑(A ↑C ))∨((B ↑C )↑(B ↑C ))⇔(((A ↑C )↑(A ↑C ))↑((A ↑C )↑(A ↑C )))↑(((B ↑C )↑(B ↑C ))↑((B ↑C )↑(B ↑C )))(2)F ⇔(A ∧C )∨(B ∧C )⇔(A ∧(B ∨⌝B )∧C )∨((A ∨⌝A )∧B ∧C )⇔(A ∧B ∧C )∨(A ∧⌝B ∧C )∨(A ∧B ∧C )∨(⌝A ∧B ∧C )⇔3m ∨5m ∨7m 主析取范式⇔0M ∧1M ∧2M ∧4M ∧6M 主合取范式二、(10分)判断下列公式是否是永真式?(1)(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))。

(2)(∀xA (x )→∀xB (x ))→∀x (A (x )→B (x )))。

解 (1)(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))⇔(⌝∃xA (x )∨∃xB (x ))→∃x (A (x )→B (x ))⇔⌝(⌝∃xA (x )∨∃xB (x ))∨∃x (⌝A (x )∨B (x ))⇔(∃xA (x )∧⌝∃xB (x ))∨∃x ⌝A (x )∨∃xB (x )⇔(∃xA (x )∨∃x ⌝A (x )∨∃xB (x ))∧(⌝∃xB (x )∨∃x ⌝A (x )∨∃xB (x ))⇔∃x (A (x )∨⌝A (x ))∨∃xB (x )⇔T所以,(∃xA (x )→∃xB (x ))→∃x (A (x )→B (x ))为永真式。

(2)设论域为{1,2},令A (1)=T ;A (2)=F ;B (1)=F ;B (2)=T 。

则∀xA (x )为假,∀xB (x )也为假,从而∀xA (x )→∀xB (x )为真;而由于A (1)→B (1)为假,所以∀x (A (x )→B (x ))也为假,因此公式(∀xA (x )→∀xB (x ))→∀x (A (x )→B (x ))为假。

该公式不是永真式。

三、(15分)设X 为集合,A =P (X )-{∅}-{X }且A ≠∅,若|X |=n ,问(1)偏序集<A ,⊆>是否有最大元?(2)偏序集<A ,⊆>是否有最小元?(3)偏序集<A ,⊆>中极大元和极小元的一般形式是什么?并说明理由。

解 偏序集<A ,⊆>不存在最大元和最小元,因为n >2。

考察P (X )的哈斯图,最底层的顶点是空集,记作第0层,由底向上,第一层是单元集,第二层是二元集,…,由|X |=n ,则第n -1层是X 的n -1元子集,第n 层是X 。

偏序集<A ,⊆>与偏序集<P (X ),⊆>相比,恰好缺少第0层和第n 层。

因此<A ,⊆>的极小元就是X 的所有单元集,即{x },x ∈X ;而极大元恰好是比X 少一个元素,即X -{x },x ∈X 。

四、(10分)设A ={1,2,3,4,5},R 是A 上的二元关系,且R ={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>},求r (R )、s (R )和t (R )。

解 r (R )=R ∪I A ={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s (R )=R ∪R -1={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<1,2>,<4,2>,<4,3>} R 2={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}R 3={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<5,4>}R 4={<2,2>,<2,4>,<3,4>,<4,4>,<5,1>,<5,5>,<5,4>}=R 2t (R )=∞=1i R i ={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>,<2,2>,<5,1>,<5,4>,<5,5>}。

五、(10分)设函数g :A →B ,f :B →C ,(1)若f g 是满射,则f 是满射。

(2)若f g 是单射,则g 是单射。

证明 因为g :A →B ,f :B →C ,由定理5.5知,f g 为A 到C 的函数。

(1)对任意的z ∈C ,因f g 是满射,则存在x ∈A 使f g (x )=z ,即f (g (x ))=z 。

由g :A →B 可知g (x )∈B ,于是有y =g (x )∈B ,使得f (y )=z 。

因此,f 是满射。

(2)对任意的x 1、x 2∈A ,若x 1≠x 2,则由f g 是单射得f g (x 1)≠f g (x 2),于是f (g (x 1))≠f (g (x 2)),必有g (x 1)≠g (x 2)。

所以,g 是单射。

六、(10分)有幺元且满足消去律的有限半群一定是群。

证明 设<G ,*>是一个有幺元且满足消去律的有限半群,要证<G ,*>是群,只需证明G 的任一元素a 可逆。

考虑a ,a 2,…,a k ,…。

因为G 只有有限个元素,所以存在k >l ,使得a k =a l 。

令m =k -l ,有a l *e =a l *a m ,其中e 是幺元。

由消去率得a m =e 。

于是,当m =1时,a =e ,而e 是可逆的;当m >1时,a *a m -1=a m -1*a =e 。

从而a 是可逆的,其逆元是a m -1。

总之,a 是可逆的。

七、(20分)有向图G 如图所示,试求:(1)求G 的邻接矩阵A 。

(2)求出A 2、A 3和A 4,v 1到v 4长度为1、2、3和4的路有多少?(3)求出A T A 和AA T ,说明A T A 和AA T 中的第(2,2)元素和第(2,3)元素的意义。

(4)求出可达矩阵P 。

(5)求出强分图。

解 (1)求G 的邻接矩阵为: (2)由于⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=11001110102011102A ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=10202120221021203A ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=22103230314032304A 所以v 1到v 4长度为1、2、3和4的路的个数分别为1、1、2、3。

(3)由于⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=3120110021300000A A T ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=1201121201211212T AA 再由定理10.19可知,所以A T A 的第(2,2)元素为3,表明那些边以2v 为终结点且具有不同始结点的数目为3,其第(2,3)元素为0,表明那些边既以2v 为终结点又以3v 为终结点,并且具有相同始结点的数目为0。

AA T 中的第(2,2)元素为2,表明那些边以2v 为始结点且具有不同终结点的数目为2,其第(2,3)元素为1,表明那些边既以2v 为始结点又以3v 为始结点,并且具有相同终结点的数目为1。

(4)因为=+++=4324A A A A B ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛0010101011001010+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1100111010201110+⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1020212022102120+=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛2210323031403230⎪⎪⎪⎪⎪⎭⎫ ⎝⎛4340747074701470,所以求可达矩阵为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=1110111011101110P 。

(5)因为=∧T P P ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1110111011101110∧⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1111111111110000=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1110111011100000,所以{1v },{2v ,3v ,4v }构成G 的强分图。

0010101011001010A。

相关文档
最新文档