2017离散数学问题详解1--5)(2)

06任务_0001试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 命题公式的析取式是( ).A.B.C.D.2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 下列公式成立的为( ).A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QD. ⌝P∧(P∨Q)⇒Q4. 下列公式中( )为永真式.A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)5. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.6. 命题公式(P∨Q)→R的析取式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R7. 命题公式(P∨Q)的合取式是( ).B. (P∧Q)∨(P∨Q)C. (P∨Q)D. ⌝(⌝P∧⌝Q)8. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是( ).A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命题公式P→Q的主合取式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q10. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q06任务_0002试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 命题公式(P∨Q)→Q为( )A. 矛盾式B. 可满足式C. 重言式D. 合取式2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 命题公式的析取式是( ).A.B.C.D.4. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q5. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是( ).A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 06. 在谓词公式(∀x)(A(x)→B(x)∨C(x,y))中,().A. x,y都是约束变元B. x,y都是自由变元C. x是约束变元,y都是自由变元D. x是自由变元,y都是约束变元7. 命题公式P→Q的主合取式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q8. 设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为().A. ⌝(x)(A(x)∧⌝B(x))B. (∀x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. (x)(A(x)∧B(x))9. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.10. 命题公式(P∨Q)→R的析取式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R06任务_0003试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.2. 下列公式成立的为( ).A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q3. 下列公式( )为重言式.A. ⌝P∧⌝Q↔P∨QB. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C. (P→(⌝Q→P))↔(⌝P→(P→Q))D. (⌝P∨(P∧Q)) ↔Q4. 命题公式(P∨Q)→R的析取式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R5. 命题公式P→Q的主合取式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q6. 在谓词公式(∀x)(A(x)→B(x)∨C(x,y))中,().A. x,y都是约束变元B. x,y都是自由变元C. x是约束变元,y都是自由变元D. x是自由变元,y都是约束变元7. 下列公式中( )为永真式.A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)8. 设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为().A. ┐(∀x)(A(x)→B(x))B. ⌝(x)(A(x)∧B(x))C. (∀x)(A(x)∍B(x))D. ⌝(x)(A(x)∧⌝B(x))9. 设个体域D={a, b, c},那么谓词公式消去量词后的等值式为.A. (A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(b))B. (A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(b))C. (A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(b))D. (A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(b))10. 前提条件的有效结论是( ).A. PB. ⌝PC. QD. ⌝Q06任务_0004试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 下列公式成立的为( ).A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q2. 命题公式(P∨Q)→R的析取式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R3. 设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为().A. ⌝(x)(A(x)∧⌝B(x))B. (∀x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. (x)(A(x)∧B(x))4. 下列公式( )为重言式.A. ⌝P∧⌝Q↔P∨QB. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C. (P→(⌝Q→P))↔(⌝P→(P→Q))D. (⌝P∨(P∧Q)) ↔Q5. 表达式中的辖域是( ).A. P(x, y)B. P(x, y)∨Q(z)C. R(x, y)D. P(x, y)∧R(x, y)6. 命题公式(P∨Q)的合取式是( ).A. (P∧Q)B. (P∧Q)∨(P∨Q)C. (P∨Q)D. ⌝(⌝P∧⌝Q)7. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q8. 在谓词公式(∀x)(A(x)→B(x)∨C(x,y))中,().A. x,y都是约束变元B. x,y都是自由变元C. x是约束变元,y都是自由变元D. x是自由变元,y都是约束变元9. 命题公式(P∨Q)→Q为( )A. 矛盾式B. 可满足式C. 重言式D. 合取式10. 设个体域D={a, b, c},那么谓词公式消去量词后的等值式为.A. (A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(b))B. (A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(b))C. (A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(b))D. (A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(b))06任务_0005试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 命题公式P→Q的主合取式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q2. 设个体域D是整数集合,则命题"x$y (x×y = y)的真值是().A. TB. FC. 不确定D. 以上说法都不是3. 命题公式的析取式是( ).A.B.C.D.4. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.5. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=06. 命题公式(P∨Q)→R的析取式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R7. 下列公式成立的为( ).A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q8. 设个体域D={a, b, c},那么谓词公式消去量词后的等值式为.A. (A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(b))B. (A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(b))C. (A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(b))D. (A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(b))9. 下列公式中( )为永真式.A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)10. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q。

合集下载

《离散数学》试题及答案详解

《离散数学》试题及答案详解

一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A — B=________{3}____________;ρ(A) - ρ(B)=_____{{3},{1,3},{2,3},{1,2,3}}_______ 。

2. 2. 设有限集合A, |A|= n,则|ρ(A×A)|= __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}_________________ .3.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)},R1 = {(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)}__________________。

《离散数学》题库及问题详解

《离散数学》题库及问题详解

《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( A )(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)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z(考察定义在公式∀x A和∃x A中,称x为指导变元,A为量词的辖域。

在∀x A和∃x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y,x)和∃z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)是中华人民国的首都。

(2) 师大是一座工厂。

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

(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是(命题必须满足是述句,不能是疑问句或者祈使句。

)6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。

《离散数学》试题带答案(二)

《离散数学》试题带答案(二)

《离散数学》试题带答案试卷九试题与答案一、 填空 30% (每空 3分)1、 选择合适的论域和谓词表达集合A=“直角坐标系中,单位元(不包括单位圆周)的点集”则A= 。

2、 集合A={Φ,{Φ}}的幂集P (A) = 。

3、 设A={1,2,3,4},A 上二元关系R={<1,2>,<2,1>,<2,3>,<3,4>}画出R的关系图。

4、 设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>},则B A ⋃= 。

B A = 。

5、 设|A|=3,则A 上有 个二元关系。

6、 A={1,2,3}上关系R= 时,R 既是对称的又是反对称的。

7、 偏序集><≤R A ,的哈斯图为,则≤R = 。

8、 设|X|=n ,|Y|=m 则(1)从X 到Y 有 个不同的函数。

(2)当n , m 满足 时,存在双射有 个不同的双射。

9、 2是有理数的真值为 。

10、Q :我将去上海,R :我有时间,公式)()(Q R R Q →∧→的自然语言为 。

11、公式)()(Q P P Q ∧⌝∧→的 主合取范式是 。

12、 若} ,, , {21m S S S S =是集合A 的一个分划,则它应满足 。

二、 选择 20% (每小题 2分)1、 设全集为I ,下列相等的集合是( )。

A 、} |{是偶数或奇数x x A =;B 、)}2( |{y x I y y x B =∧∈∃=;C 、)}12( |{+=∧∈∃=y x I y y x C ;D 、},4,4,3,3,2,2,1,1,0|{ ----=x D 。

2、 设S={N ,Q ,R},下列命题正确的是( )。

A 、S S N N ∈∈∈2 ,2则; B 、S N S Q Q N ⊂∈⊂则 ,; C 、R N R Q Q N ⊂⊂⊂则 ,; D 、S N S N ⋂⊂Φ⊂Φ⊂Φ则 ,。

离散数学答案第二章习题解答

离散数学答案第二章习题解答

习题与解答1. 将下列命题符号化:(1) 所有的火车都比某些汽车快。

(2) 任何金属都可以溶解在某种液体中。

(3) 至少有一种金属可以溶解在所有液体中。

(4) 每个人都有自己喜欢的职业。

(5) 有些职业是所有的人都喜欢的。

解 (1) 取论域为所有交通工具的集合。

令x x T :)(是火车, x x C :)(是汽车, x y x F :),(比y 跑得快。

“所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧∃→∀。

(2) 取论域为所有物质的集合。

令x x M :)(是金属, x x L :)(是液体, x y x D :),(可以溶解在y 中。

“任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧∃→∀。

(3) 论域和谓词与(2)同。

“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →∀∧∃。

(4) 取论域为所有事物的集合。

令x x M :)(是人, x x J :)(是职业, x y x L :),(喜欢y 。

“每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧∃→∀(5)论域和谓词与(4)同。

“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →∀∧∃。

2. 取论域为正整数集,用函数+(加法),•(乘法)和谓词<,=将下列命题符号化:(1) 没有既是奇数,又是偶数的正整数。

(2) 任何两个正整数都有最小公倍数。

(3) 没有最大的素数。

(4) 并非所有的素数都不是偶数。

解 先引进一些谓词如下:x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =•∃。

x x J :)(是奇数,)(x J 可表示为)2(x v v =•⌝∃。

2017离散数学答案1--5)(2)

2017离散数学答案1--5)(2)

06任务_0001试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 命题公式的析取范式是( ).A.B.C.D.2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 下列公式成立的为( ).A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q4. 下列公式中( )为永真式.A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)5. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.6. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R7. 命题公式(P∨Q)的合取范式是( ).A. (P∧Q)B. (P∧Q)∨(P∨Q)C. (P∨Q)D. ⌝(⌝P∧⌝Q)8. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是( ).A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命题公式P→Q的主合取范式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q10. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q06任务_0002试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 命题公式(P∨Q)→Q为( )A. 矛盾式B. 可满足式C. 重言式D. 合取范式2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ).A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 命题公式的析取范式是( ).A.B.C.D.4. 下列等价公式成立的为( ).A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q5. 设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是( ).A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 06. 在谓词公式(∀x)(A(x)→B(x)∨C(x,y))中,().A. x,y都是约束变元B. x,y都是自由变元C. x是约束变元,y都是自由变元D. x是自由变元,y都是约束变元7. 命题公式P→Q的主合取范式是( ).A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q8. 设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为().A. ⌝(x)(A(x)∧⌝B(x))B. (∀x)(A(x)∧B(x))C. ⌝(∀x)(A(x)→B(x))D. (x)(A(x)∧B(x))9. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).A.B.C.D.10. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R06任务_0003试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

离散数学17

离散数学17
基本要求 深刻理解与支配集、点覆盖集、边覆盖集、点独立集、边
独立集(匹配)、点着色、边着色、面着色、色数等概念 会求阶数 n 较小或特殊图的 0, 0, 0, 1, 1 会用二部图中匹配的理论解简单问题 理解并记住地图面着色与它的对偶图点着色之间的关系 会用点色数及边色数解决一些实际问题.
路径 (7) M的交错圈——由M与EM中的边交替出现构成的G中圈
上图中,只有第一个图存在完美匹配
可增广路径及交错圈
(1)
(2)
(3)
设红色边在匹配M中,绿色边不在M中,则图(1)中的两条路 径均为可增广的交错路径;(2)中的全不是可增广的交错路 径;(3)中是一个交错圈. 不难看出,可增广交错路径中,不在M中的边比在M中的边 多一条. 交错圈一定为偶圈.
立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大点独立集中的元素个数,记为0
(1)
(2)
(3)
在图中,点独立数依次为2, 2, 3.
极大独立集与极小支配集
定理18.1 设G=<V,E>中无孤立点,则G的极大点独立集都是 极小支配集.
证明线索: (1) 设V*为G的极大点独立集,证明它也是支配集.
上图中各图的匹配数依次为3, 3, 4.
关于匹配中的其他概念
定义18.6 设M为G中一个匹配. (1) vi 与vj 被M匹配——(vi,vj)M (2) v为M饱和点——有M中边与v关联 (3) v为M非饱和点——无M中边与v关联 (4) M为完美匹配——G中无M非饱和点 (5) M的交错路径——从M与EM中交替取边构成的G中路径 (6) M的可增广交错路径——起、终点都是M非饱和点的交错
解 用二部图中的匹配理论解本题方便. 令G=<V1,V2,E>,其中V1={s, g, x},s, g, x分别表示上海、广 州和香港. V2={a, b, c, d, e}, E={(u,v) | uV1, vV2, v想去u}. G如图所示.

吉林大学离散数学课后习题问题详解

第一章集合论基础§ 1.1基本要求1.掌握集合、子集、超集、空集、幕集、集合族的概念。

懂得两个集合间相等和包含关系的泄义和性质,能够利用泄义证明两个集合相等。

熟悉常用的集合表示方法。

2.掌握集合的基本运算:并、交、余、差、直乘积、对称差的左义以及集合运算满足的基本算律,能够利用它们来证明更复杂的集合等式。

3.掌握关系、二元关系、空关系、全域关系、相等关系、逆关系的概念以及关系的性质:自反性、对称性、反对称性、传递性。

会做关系的乘积。

了解关系的闭包运算:自反闭包、对称闭包、传递闭包。

4.掌握等价关系、等价类、商集的概念,了解等价关系和划分的在联系。

5.掌握部分序关系、部分序集、全序关系、全序集的概念以及部分序集中的特殊元素:最大元、最小元、极大元、极小元、上确界、小确界的左义。

能画岀有限部分序集的Hasse 图,并根据图讨论部分序集的某些性质。

6.掌握映射、映像、1-1映射等概念,会做映射的乘枳。

了解可数集合的槪念,掌握可数集合的判定方法。

7.了解关系在数据库中的应用(数据的增、删、改)以及划分在计算机中的应用。

§ 1.2主要解题方法1.2.1证明集合的包含关系方法一.用泄义来证明集合的包含关系是最常用也是最基本的一种方法。

要证明ACB,首先任取xeA,再演绎地证出xeB成立。

由于我们选择的元素x是属于A的任何一个,而非特指的一个,故知给出的演绎证明对A中含有的每一个元素都成立。

当A是无限集时,因为我们不能对xwA,逐一地证明xeB成立,所以证明时的假设“x是任取的” 就特别重要。

例121设A, B, C, D是任意四个非空集合,若ACC, BCD,则AxBcCxDo证明:任取(x, y) e AxBt 往证(x, y) e CxD°由(x, y) e AxB 知,xe A, K ye Bo 又由AcC, BcD 知,xeC,且ye D,因此,(Xt y) e CxDo 故,AxBcCxDo方法二.还有一种证明集合包含关系的方法,基于集合的交和并运算的两个基本性质ACB<=> AnB=A <=> AuB=B以及一些已经证岀的集合等式。

考研数学离散数学常见题型解题技巧分享

考研数学离散数学常见题型解题技巧分享离散数学是考研数学中的一个重要知识点,常见的离散数学题型包括集合论、关系和函数、图论等。

解题技巧的掌握对于考生来说至关重要,下面将分享一些常见离散数学题型的解题技巧。

一、集合论题型1. 幂集的计算技巧在计算幂集的过程中,可以利用二进制数的特点,将集合中的元素与二进制数的位置对应起来。

例如一个集合A={a, b, c},则它的幂集的个数为2^n,其中n为集合A的元素个数。

可以将幂集的个数展示为二进制数的个数形式,从而便于计算。

2. 集合间关系的判断在判断两个集合的关系时,可以分别列出这两个集合的元素,然后进行对比。

如果两个集合的所有元素都相同,则它们是相等集;如果一个集合A的元素都是集合B的元素,则A是B的子集;反之,如果B的元素都是A的元素,则B是A的子集。

二、关系和函数题型1. 关系的性质判断在判断一个关系的性质时,可以利用以下几个常见的关系性质:- 自反性:如果对于集合A中的每一个元素a,都满足条件R(a, a),则称关系R是自反的。

- 对称性:如果对于集合A中的任意两个元素a和b,则当满足条件R(a, b)时,R(b, a)也成立,则称关系R是对称的。

- 传递性:如果对于集合A中的任意三个元素a、b和c,并且当满足条件R(a, b)和R(b, c)时,R(a, c)也成立,则称关系R是传递的。

2. 函数的性质判断在判断一个函数的性质时,可以利用以下几个常见的函数性质:- 单射性:如果函数f的每一个元素在定义域中唯一对应一个值,则称函数f是单射的。

- 满射性:如果函数f的值域等于定义域,则称函数f是满射的。

- 双射性:如果函数f既是单射又是满射,即每一个元素在定义域中唯一对应一个值,并且值域等于定义域,则称函数f是双射的。

三、图论题型1. 图的遍历技巧在遍历图的过程中,可以利用深度优先搜索(DFS)和广度优先搜索(BFS)两种常用的算法。

DFS以深度为优先原则进行搜索,而BFS 以广度为优先原则进行搜索。

2017离散数学答案(1--5)

2017离散数学答案(1--5)02任务_0001试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

)1. 设集合A = {1, a },则P(A) = ( ).A. {{1}, {a}}B. {,{1}, {a}}C. {{1}, {a}, {1, a }}D. {,{1}, {a}, {1, a }}2. 集合A={1, 2, 3, 4}上的关系R={<x,y>|x=y且x, y A},则R的性质为().A. 不是自反的B. 不是对称的C. 传递的D. 反自反3. 若集合A={ a,{a},{1,2}},则下列表述正确的是( ).A. {a,{a}}AB. {1,2}AC. {a}AD. A4.设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1,3>,<2, 2>,<3, 2>},h = {<1, 3>,<2, 1>,<3, 1>},则h =().A. f◦gB. g◦fC. f◦fD. g◦g5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的()闭包.A. 自反B. 传递C. 对称D. 自反和传递6. 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( ).A. A B,且A BB. B A,且A BC. A B,且A BD. A B,且A B7. 设集合A={1,2,3,4,5},偏序关系≤是A上的整除关系,则偏序集<A,≤>上的元素5是集合A的().A. 最大元B. 最小元C. 极大元D. 极小元8. 若集合A的元素个数为10,则其幂集的元素个数为().A. 1024B. 10C. 100D. 19. 如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个.A. 0B. 2C. 1D. 310. 设集合A={a},则A的幂集为( ).A. {{a}}B. {a,{a}}C. {,{a}}D. {,a}02任务_0002试卷总分:100 测试时间:0单项选择题一、单项选择题(共10 道试题,共100 分。

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

习题一1.下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明.答:此命题是简单命题,其真值为 1.(2)5 是无理数.答:此命题是简单命题,其真值为 1.(3)3 是素数或 4 是素数.答:是命题,但不是简单命题,其真值为1.(4)2x+ <3 5 答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2 与3 是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的面积等于半径的平方乘以π.答:此命题是简单命题,其真值为 1.(11)只有6 是偶数,3 才能是2 的倍数.答:是命题,但不是简单命题,其真值为0.(12)8 是偶数的充分必要条件是8 能被3 整除.答:是命题,但不是简单命题,其真值为0.(13)2008 年元旦下大雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四大发明.(2)p: 是无理数.(7)p:刘红与魏新是同学.(10)p:圆的面积等于半径的平方乘以π.(13)p:2008 年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(1)5 是有理数.答:否定式:5 是无理数. p:5 是有理数.q:5 是无理数.其否定式q 的真值为1.(2)25 不是无理数.答:否定式:25 是有理数. p:25 不是无理数. q:25 是有理数. 其否定式q 的真值为1.(3)2.5 是自然数.答:否定式:2.5 不是自然数. p:2.5 是自然数. q:2.5 不是自然数. 其否定式q 的真值为1.(4)ln1 是整数.答:否定式:ln1 不是整数. p:ln1 是整数. q:ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值.(1)2 与5 都是素数答:p:2 是素数,q:5 是素数,符号化为p q∧ ,其真值为 1.(2)不但π是无理数,而且自然对数的底e 也是无理数.答:p:π 是无理数,q:自然对数的底e 是无理数,符号化为p q∧ ,其真值为1.(3)虽然2 是最小的素数,但2 不是最小的自然数.答:p:2 是最小的素数,q:2 是最小的自然数,符号化为p q∧¬ ,其真值为1.(4)3 是偶素数.答:p:3 是素数,q:3 是偶数,符号化为p q∧ ,其真值为0.(5)4 既不是素数,也不是偶数.答:p:4 是素数,q:4 是偶数,符号化为¬ ∧¬p q,其真值为0.5.将下列命题符号化,并指出真值.(1)2 或3 是偶数.(2)2 或4 是偶数.(3)3 或5 是偶数.(4)3 不是偶数或4 不是偶数.(5)3 不是素数或4 不是偶数.答: 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.6.将下列命题符号化.(1)小丽只能从筐里拿一个苹果或一个梨.答:p:小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨,符号化为: p q∨ .(2)这学期,刘晓月只能选学英语或日语中的一门外语课.答:p:刘晓月选学英语,q:刘晓月选学日语,符号化为: (¬ ∧ ∨ ∧¬p q)(p q) .7.设p:王冬生于1971 年,q:王冬生于1972 年,说明命题“王冬生于1971 年或1972年”既可以化答:列出两种符号化的真值表:p q0 0 0 00 1 1 11 0 1 11 1 0 1根据真值表,可以判断出,只有当p 与q 同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值., 就有;(1)只要, 则;(2)如果, 才有;(3)只有, 才有;(4)除非, 否则;(5)除非(6)仅当.答:设p: , 则: ; 设q: , 则: .符号化真值(1) 1(2) 1(3)0(4)0(5)0(6) 1 :俄罗斯位于南半球,q:亚洲人口最多,将下面命题用自然语言表述(1);(2);;(3);(4);(5);(6);(7).答:根据题意,p 为假命题,q 为真命题.自然语言真值(1)只要俄罗斯位于南半球,亚洲人口就最多 1 (2)只要亚洲人口最多,俄罗斯就位于南半球0 (3)只要俄罗斯不位于南半球,亚洲人口就最多 1 (4)只要俄罗斯位于南半球,亚洲人口就不是最多 1 (5)只要亚洲人口不是最多,俄罗斯就位于南半球 1 (6)只要俄罗斯不位于南半球,亚洲人口就不是最多0 (7)只要亚洲人口不是最多,俄罗斯就不位于南半球 1(1);(2);(3);(4).答:根据题意,p 为真命题,q 为假命题.自然语言真值(1)9 是 3 的倍数当且仅当英语与土耳其相邻0 (2)9 是 3 的倍数当且仅当英语与土耳其不相邻 1 (3)9 不是3 的倍数当且仅当英语与土耳其相邻 1(4) 9 不是 3 的倍数当且仅当英语与土耳其不相邻11. 将下列命题符号化,并给出各命题的真值: (1) 若 2+2=4,则地球是静止不动的; (2) 若 2+2=4,则地球是运动不止的; (3) 若地球上没有树木,则人类不能生存;(4) 若地球上没有水,则 是无理数.12. (1)2+2=4 当且仅当 3+3=6;(2)2+2=4 的充要条件是 3+3 6;(3)2+2 4 与 3+3=6 互为充要条件;(4)若 2+2 4,则 3+3 6,反之亦然.答:设 p:2+2=4,q:3+3=6.符号化真值 (1)1(2)(3)(4)113. 将下列命题符号化,并讨论各命题的真值: (1) 若今天是星期一,则明天是星期二; (2) 只有今天是星期一,明天才是星期二;命题 1命题 2 符号化 真值 (1) p:2+2=4 q:地球是静止不动的(2) p:2+2=4 q:地球是静止不动的1 (3) p:地球上有树木 q:人类能生存1(4)p:地球上有树木q:人类能生存1(3)今天是星期一当且仅当明天是星期二;(4)若今天是星期一,则明天是星期三.答:设p:今天是星期一,q:明天是星期二,r:明天是星期三.将下列命题符号化:(1)刘晓月跑得快,跳得高;(2)老王是山东人或者河北人;(3)因为天气冷,所以我穿了羽绒服;(4)王欢与李乐组成一个小组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他一面吃饭,一面听音乐;(8)如果天下大雨,他就乘班车上班;(9)只有天下大雨,他才乘班车上班;(10)除非天下大雨,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2 与4 都是素数,这是不对的;(13)“2 或 4 是素数,这是不对的”是不对的.答:(6) p:王强学过法语q:刘威学过法语-(7) p:他吃饭q:他听音乐-(8) p:天下大雨q:他乘车上班-(9) p:天下大雨q:他乘车上班-(10) p:天下大雨q:他乘车上班-(11) p:下雪q:路滑r:他迟到了(12) p:2 是素数q:4 是素数-(13) p:2 是素数q:4 是素数-15.设p:2+3=5.q:大熊猫产在中国.r:太阳从西方升起. 求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q 真值为1,r 真值为0.(1)0,(2)0,(3)0,(4)116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下面一段论述是否为真:“ 是无理数.并且,如果3 是无理数,则也是无理数.另外,只有6 能被2 整除,6 才能被4 整除.”解:p: 是无理数q: 3 是无理数r:是无理数s: 6 能被2 整除t:6 能被 4 整除符号化为: ,该式为重言式,所以论述为真。

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