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

一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2},则A — B={3};ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2。
设有限集合A,|A| = n, 则|ρ(A×A)| = 22n。
3。
设集合A = {a,b},B = {1,2},则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2),(b,1)},其中双射的是α3,α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合,A= {1,2,4}, B = {3,4},则从A⋂B={4};A⋃B={1,2,3,4};A-B={1,2}.7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性,对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1,0,0), (1,0, 1),(1,1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)},R2 = {(2,1),(3,2),(4,3)},则R1•R2 ={(1,3),(2,2),(3,1)} ,R2•R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3).10。
设有限集A, B,|A| = m,|B|= n, 则||ρ(A⨯B)|.11设A,B,R是三个集合,其中R是实数集,A = {x |—1≤x≤1, x∈R}, B = {x |0≤x < 2,x∈R},则A-B = -1<=x〈0 ,B-A = {x |1 < x < 2,x∈R},A∩B ={x |0≤x≤1,x∈R},。
离散数学试题(A卷答案)

离散数学试题(A 卷答案)一、(10分)求(P ↓Q )→(P ∧⌝(Q ∨⌝R ))的主析取范式 解:(P ↓Q )→(P ∧⌝(Q ∨⌝R ))⇔⌝(⌝( P ∨Q ))∨(P ∧⌝Q ∧R ))⇔(P ∨Q )∨(P ∧⌝Q ∧R ))⇔(P ∨Q ∨P )∧(P ∨Q ∨⌝Q )∧(P ∨Q ∨R ) ⇔(P ∨Q )∧(P ∨Q ∨R )⇔(P ∨Q ∨(R ∧⌝R ))∧(P ∨Q ∨R ) ⇔(P ∨Q ∨R )∧(P ∨Q ∨⌝R )∧(P ∨Q ∨R ) ⇔0M ∧1M⇔2m ∨3m ∨4m ∨5m ∨6m ∨7m二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。
乙说:王教授不是上海人,是苏州人。
丙说:王教授既不是上海人,也不是杭州人。
王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。
试判断王教授是哪里人?解 设设P :王教授是苏州人;Q :王教授是上海人;R :王教授是杭州人。
则根据题意应有: 甲:⌝P ∧Q 乙:⌝Q ∧P 丙:⌝Q ∧⌝R王教授只可能是其中一个城市的人或者3个城市都不是。
所以,丙至少说对了一半。
因此,可得甲或乙必有一人全错了。
又因为,若甲全错了,则有⌝Q ∧P ,因此,乙全对。
同理,乙全错则甲全对。
所以丙必是一对一错。
故王教授的话符号化为:((⌝P ∧Q )∧((Q ∧⌝R )∨(⌝Q ∧R )))∨((⌝Q ∧P )∧(⌝Q ∧R ))⇔(⌝P ∧Q ∧Q ∧⌝R )∨(⌝P ∧Q ∧⌝Q ∧R )∨(⌝Q ∧P ∧⌝Q ∧R ) ⇔(⌝P ∧Q ∧⌝R )∨(P ∧⌝Q ∧R ) ⇔⌝P ∧Q ∧⌝R ⇔T因此,王教授是上海人。
三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。
证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。
离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)离散数学考试试题(A卷及答案)⼀、(10分)判断下列公式的类型(永真式、永假式、可满⾜式)?1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R)3)((?P∨Q)→R)→((P∧Q)∨R)解:1)永真式;2)永假式;3)可满⾜式。
⼆、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。
解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4))((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))(0∨0)∧(0∨1)1∧1?0三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的⼆元关系数是多少?A到B的函数数是多少?解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的⼆元关系有2mn个。
因为|BA|=|B||A|=mn,所以A到B的函数mn个。
四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。
解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个⼉童到公园游乐场,他们在那⾥可以骑旋转⽊马,坐滑⾏铁道,乘宇宙飞船,已知其中20⼈这三种东西都乘过,其中55⼈⾄少乘坐过其中的两种。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学试题(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 .。
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为整数集,+,*分别为整数加法和乘法。
离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题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)=__。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、填空题(每小题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:30
1
2. 求群〈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 .。