2006年4月全国自考离散数学试题试卷真题

合集下载

《离散数学》考试试卷(试卷库20卷)及答案

《离散数学》考试试卷(试卷库20卷)及答案

《离散数学》考试试卷(试卷库20卷)及答案第 1 页/共 4 页《离散数学》考试试卷(试卷库20卷)试题总分: 100 分考试时限:120 分钟、选择题(每题2分,共20分)1. 设论域为全总个体域,M(x):x 是人,Mortal(x):x 是要死的,则“人总是要死的”谓词公式表示为( )(A ))()(x Mortal x M → (B ))()(x Mortal x M ∧(C )))()((x Mortal x M x →?(D )))()((x Mortal x M x ∧?2. 判断下列命题哪个正确?( )(A )若A∪B=A∪C,则B =C (B ){a,b}={b,a}(C )P(A∩B)≠P(A)∩P (B)(P(S)表示S 的幂集)(D )若A 为非空集,则A ≠A∪A 成立3. 集合},2{N n x x A n∈==对( )运算封闭(A )乘法(B )减法(C )加法(D )y x -4. 设≤><,N 是偏序格,其中N 是自然数集合,“≤”是普通的数间“小于等于”关系,则N b a ∈?,有=∨b a ( )(A )a(B )b(C )min(a ,b)(D ) max(a ,b)5. 有向图D=,则41v v 到长度为2的通路有( )条(A )0 (B )1 (C )2 (D )36. 设无向图G 有18条边且每个顶点的度数都是3,则图G 有( )个顶点(A )10 (B )4 (C )8 (D )127. 下面哪一种图不一定是树?()(A )无回路的连通图(B )有n 个结点n-1条边的连通图(C )每对结点间都有通路的图(D )连通但删去一条边则不连通的图 8. 设P :我将去镇上,Q :我有时间。

命题“我将去镇上,仅当我有时间”符号化为()(A )P →Q (B )Q →P (C )P Q (D )Q P ?∨? 9. 下列代数系统中,其中*是加法运算,()不是群。

2006级《离散数学AI》期末考试试题(B卷)

2006级《离散数学AI》期末考试试题(B卷)

2006级《离散数学I》期末考试试题(B卷)一、简答题【本大题共20小题,每小题2分,共40分】(1)设集合A={a,b,c,d},B={b,d},求ρ(A-B)。

(2)设集合A={a,b,c},A上的关系R={(a,a),(a,b),(b,a),(b,b)},试给出R所满足的性质(自反性、反自反性、对称性、反对称性、传递性)。

应的等价关系R c。

(4)右图是部分序集(A,R)的hasse图,请写出集合A和关系R。

(5)映射的乘积满足交换律吗?若不满足,请举反例说明。

(6)可数无穷多个有限集合的并集是可数集合吗?有限多个可数无穷集合的笛卡尔积是可数集合吗?(7)给出命题公式G=(P∨Q)→R和H=⌝Q∨R的真值表,试判断G蕴涵H吗?(8)写出弄假极大项⌝P∨Q∨R的解释和满足极小项⌝P∧Q∧⌝R的解释。

(9)假设公式(P∧Q) →⌝R的真值为0,求(⌝P∨R)→Q的真值。

(10)命题公式(P→Q)∧(R→Q)与(P∨R)→Q等价吗?(11)设I是如下一个解释:D={a,b}, f(a) f(b) P(a) P(b) Q(a,a) Q(a,b) Q(b,a) Q(b,b)b a 1 0 0 1 1 0试确定公式G=∃xP(x)→∀yQ(f(y),y)在I下的真值。

(12)设谓词公式G=∀xP(x)∨∀yQ(y),H=∀x(P(x)∨Q(x)),则G蕴涵H吗?H蕴涵G吗?(13)图G是有限连通图,则其支撑子图一定是连通图吗?其支撑树一定是连通图吗?(14)设有限权图G=(P,L),u0∈G,从u0到G中其它各点的最短路经过的所有边组成的集合为L0,则G0=(P,L0)为图G的一个子图,请问G0是支撑子图吗?G0是树吗?(15)对于完全图K n,删除多少条边后才能得到它的一个支撑树?(16)有限图G的闭合图C(G)中存在Hamilton回路,则图G一定是Hamilton图吗?(17)Euler图一定连通吗?若存在不连通的情况,试画出一个不连通的Euler图。

离散数学试题(2006)_C(答案)

离散数学试题(2006)_C(答案)

第2页 共 2页D .∀x (F (x )∧∃y (G (y )∧H (x ,y ))).2. 4阶无向完全图的非同构的生成子图有 【B 】 A .1个. B .2个.C .3个.D .4个. 3. 设代数系统〈A ,*〉是独异点,e 是其单位元,若∀a ∈A ,有a *a =e ,则〈A ,*〉 【B 】A .是群但不是Abel 群.B .是Abel 群.C .不是群.D .不是代数系统.4. 下列图中是哈密尔顿图的有 【C 】A .K 3,4.B .K 2.C .K 4.D .K 1,1.5. 下列图中是欧拉图的有 【D 】A .K 2,3.B .K 4.C .K 3,3.D .K 7.三、 计算与简答题(每小题10分,共40分)1. 利用等值演算法求公式(p ∨q )→(q ↔p )的主析取范式,并给出其成真赋值.(p ∨q )→(q ↔p )⇔⌝(p ∨q )∨((⌝p ∨q )∧(p ∨⌝q )) ⇔(⌝p ∧⌝q )∨((⌝p ∨q )∧(p ∨⌝q ))⇔(⌝p ∧⌝q )∨((⌝p ∧p )∨(⌝p ∧⌝q )∨(p ∧q )∨(q ∧⌝q )) ⇔(⌝p ∧⌝q )∨(p ∧q ) ⇔m 0∨m 3此为公式的主析取范式. 公式的成真赋值为00和11.第4页 共 4页4. 设集合A={a ,b ,c ,d }上的二元关系R={〈a ,b 〉,〈b ,a 〉,〈b ,c 〉,〈c ,b 〉},利用关系矩阵求R 的传递闭包t (R ).解 关系R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0000001001010010R M , ⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=00000101001001012R M ,⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=00000010010100103R M ,⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0000010100100114R M , 因此⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=000011101110111)(R t M ,从而R 的传递闭包 t (R )={〈a ,a 〉,〈a ,b 〉,〈a ,c 〉,〈b ,a 〉,〈b ,b 〉,〈b ,c 〉,〈c ,a 〉,〈c ,b 〉,〈c ,c 〉,〈d ,d 〉}.四、 证明题(共20分)1. 在一阶逻辑中构造下面推理的证明:前提:∀x (F (x )→G (x )),∃x (F (x )∧H (x )). 结论:∃x (G (x )∧H (x )).证明 (1)∃x (F (x )∧H (x )) 前提引入 (2)F (a )∧H (a )) EI 规则 (3)F (a ) (2)化简 (4)H (a ) (2)化简 (5)∀x (F (x )→G (x )) 前提引入 (6)F (a )→G (a ), UI 规则 (7)G (a ) 假言推理 (8)G (a ) ∧H (a ) (7)(4)合取第5页 共6页(9)∃x (G (x )∧H (x )). EG 规则2. 设〈B ,∧,∨,',1,0〉为一布尔代数,证明:∀a ,b ∈B ,有(a ∨b )' = a'∧b'.证明(a ∨b )∧(a'∧b')=(a ∧a'∧b')∨(b ∧a'∧b') =((a ∧a')∧b')∨(a'∧(b ∧b')) =0∨0=0(a ∨b )∨(a'∧b')=(a ∨b ∨a')∧(a ∨b ∨b') =((a ∨a')∨b )∧(a ∨(b ∨b')) =1∧1=1因此,(a ∨b )' = a'∧b'.3. 证明:设e 为无向连通图G 的桥,则e 在G 的每棵生成树中. 证明 假设存在G 的一棵生成树T ,其中不含G 的桥e .这样,在G 中去掉桥e 后仍可得该生成树T .另一方面,由于e 为图G 的桥,在G 中去掉桥e 后,所得图G ′一定不连通,它没有生成树,矛盾.因此,e 在G 的每棵生成树中.。

自考离散数学考试题库及答案

自考离散数学考试题库及答案

自考离散数学考试题库及答案一、选择题1. 在离散数学中,命题逻辑的主要研究对象是什么?A. 命题的真假B. 命题的类型C. 命题的表达D. 命题的证明答案:A2. 有限集合M的基数是指什么?A. M中元素的数量B. M的子集数量C. M的幂集D. M的幂集的基数答案:A3. 以下哪个不是图论中的基本概念?A. 顶点B. 边C. 集合D. 子图答案:C二、填空题4. 在命题逻辑中,德摩根定律表示了________和________之间的逻辑关系。

答案:¬(P ∧ Q);¬P ∨ ¬Q5. 一个集合的幂集是指该集合所有________的集合。

答案:子集6. 在图论中,无向图中的路径是顶点和边的________。

答案:交替序列三、解答题7. 证明:若命题P是真命题,则其否定¬P是假命题。

证明:根据命题逻辑的定义,一个命题要么是真要么是假。

如果P 是真命题,那么根据否定的定义,¬P表示P不是真的,这与P是真命题的事实相矛盾。

因此,¬P必须是假命题。

8. 给定集合A={1, 2, 3},求其幂集及其基数。

解答:集合A的幂集包括A的所有子集,即∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}。

共有2^3=8个子集,所以A的幂集的基数是8。

四、应用题9. 在一个无向图中,定义了两个顶点之间的距离为它们之间的最短路径上的边数。

如果图G中有两个顶点u和v,且它们之间的距离是3,证明存在一个顶点w,使得u和w之间的距离是1,v和w之间的距离是2。

证明:由于u和v之间的距离是3,根据距离的定义,存在一条最短路径连接u和v,这条路径至少包含3条边。

设这条路径为u=w1, w2, w3, w4=v,其中每对相邻的顶点之间存在一条边。

根据题设,我们可以取w2作为w,这样u和w之间的距离是1(因为它们之间有一条边w1w2),而v和w之间的距离是2(因为它们之间有两条边w2w3和w3w4)。

离散数学试题(2006)_A(答案)

离散数学试题(2006)_A(答案)

一、填空题(每小题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.∀V1⊂V,p(G-V1)≤|V1|.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.K4,3.B.K6.C.K5.D.K3,3.三、计算与简答题(每小题8分,共40分)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⇔M1此为公式的主合取范式.该公式的主析取范式是m0∨m2∨m3.公式的成真赋值为00,10,11.公式的成假赋值为01.哈尔滨工程大学试卷考试科目:离散数学(041121,041131-32)考试时间:14:00-16:3012. 求群〈Z 18,⊕18〉的所有生成元和子群,画出〈Z 18,⊕18〉的子群格,指出该子群格的全下界、全上界和有补元,并求其补元. 与18互质的数有1,5,7,11,13,17,因此,1,5,7,11,13,17是群〈Z 18,⊕18〉的生成元.18的因数有1,2,3,6,9,18,因此,群〈Z 18,⊕18〉的子群有 〈1〉=〈Z 18,⊕18〉,〈2〉=〈{0,2,4,6,8,10,12,14,16},⊕18〉, 〈3〉=〈{0,3,6,9,12,15},⊕18〉,〈6〉=〈{0,6,12},⊕18〉, 〈9〉=〈{0,9},⊕18〉,〈18〉=〈{0},⊕18〉. 〈Z 18,⊕18〉的子群格为〈{〈18〉,〈9〉,〈6〉,〈3〉,〈2〉,〈1〉},⊆〉,其哈斯图为 全下界为〈18〉,全上界为〈1〉, 〈18〉’=〈1〉,〈1〉’=〈18〉,〈2〉’=〈9〉,〈9〉’=〈2〉,〈3〉和〈6〉没有补元. 3. 若R 1,R 2均是非空集合A 上的等价关系,那么R 1,R 2的交R 1∩R 2、并R 1∪R 2和复合R 1○ R 2也是A 上的等价关系吗?若是,证明你的结论.R 1∩R 2是A 上的等价关系.事实上, (1) 因R 1,R 2是A 上的自反关系,有I A ⊆R 1,I A ⊆R 2,因此,I A ⊆R 1∩R 2,即R 1∩R 2是A 上的自反关系.(2) 因R 1,R 2是A 上的对称关系,有R 1=R 1-1,R 2=R 2-1,而(R 1∩R 2)-1=R 1-1∩R 2-1=R 1∩R 2,因此,R 1∩R 2是A 上的对称关系.(3) 因R 1,R 2是A 上的传递关系,有R 12⊆R 1,R 22⊆R 2,而(R 1∩R 2)2=(R 1∩R 2)ο(R 1∩R 2)=R 12∩R 22∩R 1οR 2∩R 2οR 1⊆R 12∩R 22⊆R 1∩R 2,因此,R 1∩R 2是A 上的传递关系.4. 设无向连通图G 如下图,求其最小生成树T 及T 的权W (T ),写出G 的对应于T 的基本回路系统和基本割集系统.G 的最小生成树T 如图(以实线表示),权W (T )=11. G 的对应于T 的基本回路系统为{C bd ,C cd ,C de },其中 C bd =bdab ,C cd =cdabc , C de =dead .G 的对应于T 的基本割集系统为{S ab ,S ad ,S ae ,S bc },其中 S ab ={ab ,bd ,cd },S ad ={ad ,bd ,cd ,de }, S ae ={ae ,de },S bc ={bc ,cd }.5. 设〈B,∧,∨,′,0,1〉是布尔代数,a ,b ,c ∈B ,化简公式 (a ∧b )∨(a ∧(b ∧c )’ )∨c .(a ∧b )∨(a ∧(b ∧c )’ )∨c =(a ∧b )∨(a ∧(b’∨c’ ))∨c =(a ∧b )∨((a ∧(b’∨c’ ))∨c ) =(a ∧b )∨((a ∨c )∧(b’ ∨c’ ∨c )) =(a ∧b )∨(a ∨c ) =(a ∨(a ∨c ))∧(b ∨a ∨c ) =(a ∨c )∧(a ∨c ∨b ) =a ∨c〈3〉3四、 证明题(共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 中一定无桥.五、 应用题(10分)今有a ,b ,c ,d ,e ,f 和g 七人,已知a 会讲英语;b 会讲英语和汉语;c 会讲英语、意大利语和俄语;d 会讲汉语和日语;e 会讲德语和意大利语;f 会讲法语、日语和俄语;g 会讲法语和德语,试问:如何将这七个人安排围坐在一张圆桌上,使得每个人都可和他身边的人交谈.以a ,b ,c ,d ,e ,f 和g 七人为顶点,如果两人有共同语言,连接这两个顶点,以此为边做一个图,如右图.在图中如果能找到一条哈密尔顿回路,则将这七个人安排围坐在一张圆桌上,每个人都可和他身边的人交谈.该回路为abdfgeca .。

离散数学自考试题及答案

离散数学自考试题及答案

离散数学自考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个命题是永真命题?A. (p ∧ ¬p) → qB. p ∨ (q ∧ ¬q)C. (p → q) ∧ (q → p)D. ¬(p → ¬p)答案:B3. 函数f: A → B中,如果A中的每个元素都映射到B中的不同元素,则称f为:A. 注入函数B. 满射C. 双射D. 单射答案:C4. 在图论中,下列哪项不是无向图的基本术语?A. 顶点B. 边C. 路径D. 子图答案:D5. 以下哪个算法用于判断一个图是否包含汉密尔顿回路?A. 深度优先搜索B. 广度优先搜索C. 弗洛伊德算法D.Dijkstra算法答案:A6. 命题逻辑中,德摩根定律描述了哪些命题的等价关系?A. ¬(p ∧ q) ≡ ¬p ∨ ¬qB. ¬(p ∨ q) ≡ ¬p ∧ ¬qC. ¬(p → q) ≡ p ∧ ¬qD. 所有以上答案:D7. 在关系数据库中,下列哪个操作用于删除表中的行?A. SELECTB. INSERTC. DELETED. UPDATE答案:C8. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入D. 所有以上答案:D9. 在布尔代数中,下列哪个操作不是基本操作?A. ANDB. ORC. NOTD. XOR答案:D10. 以下哪个是命题逻辑中的有效论证形式?A. 假言三段论B. 假言推理C. 析取三段论D. 所有以上答案:D二、填空题(每题2分,共20分)11. 在集合{1, 2, 3}的幂集中,含有2个元素的子集有_________。

答案:{{1, 2}, {1, 3}, {2, 3}}12. 如果命题P表示“今天是晴天”,命题Q表示“我去公园”,那么(P ∧ Q)表示_________。

自考离散数学考试题及答案

自考离散数学考试题及答案

自考离散数学考试题及答案一、选择题(每题2分,共10分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 有限自动机中的一个状态不包括以下哪个元素?A. 初始状态B. 终止状态C. 转移函数D. 输入符号答案:C3. 在命题逻辑中,德摩根定律描述了哪些命题的等价性?A. (¬P ∧ ¬Q) ↔¬(P ∨ Q)B. (P ∨ Q) ↔¬(¬P ∧ ¬Q)C. (P ∧ Q) ↔¬(P ∨ Q)D. (¬P ∨ ¬Q) ↔¬(P ∧ Q)答案:A4. 以下哪个算法是用于解决图的最短路径问题?A. 欧几里得算法B. 迪杰斯特拉算法C. 快速排序算法D. 弗洛伊德算法答案:B5. 布尔代数中,一个表达式可以有的最大项数是多少?A. nB. 2^nC. n^2D. 2n答案:B二、填空题(每题3分,共15分)6. 在关系数据库中,确保实体完整性的约束称为________。

答案:主键7. 一个有向图中,如果存在从顶点A到顶点B的路径,则称顶点A可以________顶点B。

答案:到达8. 在命题逻辑中,如果命题P和命题Q都为真,则命题P → Q的真值是________。

答案:真9. 一个命题函数的真值表中,如果某一行的P和Q都为假,那么这一行的结果是________。

答案:真10. 在图论中,一个完全图是指图中任意两个顶点都________。

答案:相连三、解答题(共75分)11. (15分)证明:在任何非空集合中,至少存在一个元素不包含于该集合的任何子集中。

答案:略12. (20分)给定一个有向图,描述如何使用拓扑排序算法来对图中的顶点进行排序。

答案:略13. (20分)解释什么是正规表达式,并给出一个例子来说明如何使用它来匹配字符串。

答案:略14. (20分)证明:在任何无向图中,边数最多的生成子图最多有3n/2条边,其中n是顶点的数量。

6自学考试离散数学试题汇编

6自学考试离散数学试题汇编

全国2006年4月高等教育自学考试离散数学试卷课程代码:02324一、单项选择题<本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列命题公式为重言式的是< )A.p→ (p∨q>B.(p∨┐p>→qC.q∧┐q D.p→┐q2.下列语句中不是..命题的只有< )A.这个语句是假的。

B.1+1=1.0C.飞碟来自地球外的星球。

D.凡石头都可练成金。

3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是A.┐p∧qB.┐p→qC.┐p→┐q D.p→┐q4.下列等价式正确的是< )A.┐)))()((∀(⇔y∀∀∃x)x∃A(x(⇔)Axy∃┐A B.AC.┐)Axxx(xB)(x⇔(∧∀∀∨Ax∀xBx∃⇔∀┐A D.)A(x)(()(())))()(5.在公式)yxQyPz∀∃中变元y是< )P∧→x∃yy()))(,(z()())((,A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元6.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是< )A.自反关系B.反自反关系C.对称关系D.传递关系7.设集合X为人的全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b的父亲},S={<a,b>|a,b∈X∧a是b的母亲},那么关系{<a,b>|a,b∈x∧a是b的祖母}的表达式为< )A.R S B.R-1 SC.S R D.R S-18.设A是正整数集,R={(x,y>|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6}>=< )A.O/B.{<3,3>}C.{<3,3>,<6,2>}D.{<3,3>,<6,2>,<9,1>}9.下列式子不正确的是< )A.(A-B>-C=(A-C>-B B.(A-B>-C=A-(B∪C>C.(A-B>-C=(A-C>-(B-C> D.A-(B∪C>=(A-B>∪ C10.下列命题正确的是< )A.{l,2}⊆{{1,2},{l,2,3},1}B.{1,2}⊆{1,{l,2},{l,2,3},2}C.{1,2}⊆{{1},{2},{1,2}}D.{1,2}∈{1,2,{2},{l,2,3}}11.在下列代数系统中,不是环的只有< )A.<Z,+,*>,其中Z为整数集,+,*分别为整数加法和乘法。

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

全国2006年4月高等教育自学考试
离散数学试题
课程代码:02324
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列命题公式为重言式的是()
A.p→(p∨q)B.(p∨┐p)→q
C.q∧┐q D.p→┐q
2.下列语句中不是
..命题的只有()
A.这个语句是假的。

B.1+1=1.0
C.飞碟来自地球外的星球。

D.凡石头都可练成金。

3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是
()A.┐p∧q B.┐p→q
C.┐p→┐q D.p→┐q
4.下列等价式正确的是()
A.┐)
x∃
A

∃┐A
(
)
(x
B.A
(∀

)(

)


y
x
(
y
A
x)
)(
C.┐)
x∃

A
∀┐A
(x
(
)
D.)(
B
x
A
A
x
x

x




x∀
(
)
(
(
)
x
))
)
(x
B
)(
(
)
(
5.在公式),(
P
z
x
y
y
Q

y
∃中变元y是()


x∃
,
(
))
(
)
P
)
y
(
(z
)(
)(
A.自由变元
1
B.约束变元
C.既是自由变元,又是约束变元
D.既不是自由变元,又不是约束变元
6.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是()
A.自反关系B.反自反关系
C.对称关系D.传递关系
7.设集合X为人的全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b 的父亲},S={<a,b>|a,b∈X∧a是b的母亲},那么关系{<a,b>|a,b∈x ∧a是b的祖母}的表达式为()
A.R S B.R-1 S
C.S R D.R S-1
8.设A是正整数集,R={(x,y)|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6})=()
A.O/
B.{<3,3>}
C.{<3,3>,<6,2>}
D.{<3,3>,<6,2>,<9,1>}
9.下列式子不正确的是()
A.(A-B)-C=(A-C)-B B.(A-B)-C=A-(B∪C)
C.(A-B)-C=(A-C)-(B-C) D.A-(B∪C)=(A-B)∪C
10.下列命题正确的是()
A.{l,2}⊆{{1,2},{l,2,3},1}
B.{1,2}⊆{1,{l,2},{l,2,3},2}
C.{1,2}⊆{{1},{2},{1,2}}
2
3
D .{1,2}∈{1,2,{2},{l ,2,3}}
11.在下列代数系统中,不是环的只有( )
A .<Z ,+,*),其中Z 为整数集,+,*分别为整数加法和乘法。

B .(Q ,+,*),其中Q 为有理数集,+,*分别为有理数加法和乘法。

C .<R ,+,*>,其中R 为实数集,+为实数加法,a*b=a+2b 。

D .<M n (R),+,*>,其中M n (R)为实数集n×n 阶矩阵结合,+,*是矩阵加法和
乘法。

12.下列整数集对于整除关系都构成偏序集,而能构成格的是( ) A .{l ,2,3,4,5} B .{1,2,3,6,12} C .{2,3,7}
D .{l ,2,3,7}
13.结点数为奇数且所有结点的度数也为奇数的连通图必定是( ) A .欧拉图 B .汉密尔顿图 C .非平面图
D .不存在的
14.无向图G 是欧拉图当且仅当G 是连通的且( ) A .G 中各顶点的度数均相等 B .G 中各顶点的度数之和为偶数 C .G 中各顶点的度数均为偶数 D .G 中各顶点的度数均为奇数
15.平面图(如下)的三个面的次数分别是(

A .11,3,4
B .11,3,5
C .12,3,6
D .10,4,3
二、填空题(本大题共10小题,每小题2分,共20分)
请在每小题的空格中填上正确答案。

错填、不填均无分。

16.求一个公式的主析取或主合取范式的方法,有_真值法___法和_____等值演
4
算 法。

17.给定谓词合式公式A ,其中一部分公式形式为(x ∀)B(x)或(∃x)B(x),则量词
∀,∃后面所跟的x 称为__作用变元___,而称B 为相应量词的__域__。

18.设X ,U ,V ,Y 都是实数集,f 1:X →U ,且f l (x)→e x ; f 2:U →V ,且f 2(u)
=u (1+u);f 3:V →Y ,且f 3(v)=cosv 。

那么f 3 f 2 f 1的定义域是__x___,而复合函数(f 3 f 2 f 1)(x)= ______________。

19.集合X={a ,b ,c ,d}上二元关系R={<a ,b>,<a ,c>,<a ,d>,<b ,c>,
<b ,d>, <e ,d>},则R 的自反闭包r(R)= ______________,对称闭包s(R)= ______________。

20.已知G=<{l ,-1,i ,-i},·>(其中i=1-,是数的乘法)是群,则-l 的阶是
______________;i 的阶是______________。

21.对代数系统<S ,*>,其中*是S 上的二元运算,若a ,b ∈S ,且对任意的x
∈S ,都有a*x=x*a=x ,b*x=x*b=b ,则称a 为运算“*”的______________,称b 为运算“*”的______________。

22.设<S ,*>是群,则<S ,*>满足结合律和___消去率____;若|S |>l ,S 中
不可能有___零元__。

23.写出如右有向图的一条初级回路:______________,其长度是______________。

24.一个连通 _且__无回路_____的无向图称为树。

25.在简单无向图G=<V ,E>中,如果V 中的每个结点都
与其余的所有结点邻接,则该图称为__完全图___,如果V 有n 个结点,那么它还是___n-1____度正则图。

三、计算题(本大题共5小题,第26、27题各5分,第28、29题各6分,第30
题8分,共30
分)
26.若集合A={a,{b,c}}的幂集为P(A),集合B={ O/,{ O/}}的幂集为P(B),求P(A)∩P(B)。

27.构造命题公式(p→(q∧r))→┐p的真值表。

28.求图G=<V,E>的可达矩阵,其中V={v1,v2,v3,v4}
E={(v1,v2), (v2,v3), (v2,v4), (v3,v2), (v3,v4), (v3,v1), (v4,v1)}
29.求下列公式的主析取范式和主合取范式:(P∧Q)∨(┐P∧R)
30.设A={2,3,4,6,8,12,24},R为A上整除关系,试画<A,R>的哈斯图,并求A中的最大元,最小元,极大元,极小元。

四、证明题(本大题共3小题,第31、32小题各6分,第33题8分,共20分)31.设M是偶数集,+和·是数的加、乘运算,证明<M,+,·>是一个环。

32.设R是集合X上的二元关系,证明R是X上传递关系当且仅当R R R。

33.设G是简单平面图,G有n个顶点m条边,且m<30,证明G中存在一项点v,d(v)≤4。

五、应用题(本大题共2小题,第34题6分,第35题9分,共15分)34.判断下面推理是否正确,并证明你的结论。

如果小王今天家里有事,则他不会来开会。

如果小张今天看到小王,则小王今天来开会了。

小张今天看到小王。

所以小王今天家里没事。

35.有6个村庄V i,i=l,2,…,6欲修建道路使村村可通。

现已有修建方案如下带权无向图所示,其中边表示道路,边上的数字表示修建该道路所需费用,问应选择修建哪些道路可使得任二个村庄之间是可通的且总的修建费用最低?要求写出求解过程,画出符合要求的最低费用的道路网络图并计算其费用。

5
6。

相关文档
最新文档