离散数学模拟试卷(中文)

合集下载

离散数学模拟试题

离散数学模拟试题

离散数学模拟试题填空题30分1. 数理逻辑研究的中⼼问题是推理,命题必须具备:其⼀,语句是_______;其⼆,语句有_______。

命题的真值就是命题的逻辑取值。

若⼀个命题是真命题,其真值为____ ;若⼀个命题是假命题,其真值为___ 。

2. 基本的逻辑联结词包括 ____、____、____、____、____。

含有n 个命题变项的公式A 共有____个赋值。

n 个命题变项只能⽣成____个真值不同的公式。

3. 在⼀阶逻辑中,简单命题被分解成_______和_______。

命题中常出现的量词有_______和_______。

4. 集合是⼀些事物汇集到⼀起组成的⼀个整体,不含任何元素的集合叫做_____,它是所有集合的⼀个⼦集。

设集合}b ,a { A ,它的全体⼦集构成的集合叫做A的_____,P (A )=_______________________________________________。

5. ⼏个集合之间的关系和运算可以⽤⽂⽒图给与形象的描述。

⽤公式表⽰下列阴影部分的集合1=_________________,2=_________________1 .2 .6. ⼀个⾮空集合,且它的元素都是有序对或者集合是空集,则称该集合为⼀个⼆元关系。

任何集合都有三个特殊的⼆元关系________、________、________。

7.关系的运算中R 的逆关系R -1=____________,关系的性质有_____________________________。

如果}a a,,c a,,b ,a {><><><=F ,},c b,,b ,c ,b b,,c c,,a a,,b ,a {><><><><><><=H ,则F?H=____________________________ 8.图论中所说的图是描述事物之间关系的⼀种⼿段,许多事物之间的关系可抽象成点及它们之间的连线,集合论中⼆元关系的关系图就是简单的图。

《离散数学》试题及答案

《离散数学》试题及答案

《离散数学》试题及答案一、选择题(每题5分,共25分)1. 下列关系中,哪个是等价关系?()A. 小于等于(≤)B. 大于等于(≥)C. 整除(|)D. 模2同余(≡)答案:D2. 下列哪个图是完全图?()A. 无向图B. 有向图C. 简单图D. n阶完全图答案:D3. 设A和B为集合,若A∪B=A,则下列哪个结论成立?()A. A⊆BB. B⊆AC. A=BD. A∩B=∅答案:B4. 下列哪个命题是永真命题?()A. (p→q)∧(q→p)B. (p∧q)→(p∨q)C. (p→q)∧(p→¬q)D. (p∧¬q)→(p→q)答案:B5. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的最小生成树的边数是()。

A. 4B. 5C. 6D. 7答案:B二、填空题(每题5分,共25分)6. 设A={1,2,3,4,5},B={3,4,5,6,7},则A∩B=_________。

答案:{3,4,5}7. 设图G的顶点集V={a,b,c,d},边集E={e1,e2,e3,e4,e5},其中e1=(a,b),e2=(a,c),e3=(b,d),e4=(c,d),e5=(d,a),则G的邻接矩阵为_________。

答案:[0 1 1 0 0; 1 0 0 1 0; 1 0 0 1 0; 0 1 1 0 1;0 0 0 1 0]8. 设p为真命题,q为假命题,则(p∧q)∨(¬p∧¬q)的值为_________。

答案:真9. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的度数序列为(3,3,3,3,3,3),则G的边数是_________。

答案:1510. 下列命题中,与“若p,则q”互为逆否命题的是_________。

离散数学模拟题及答案

离散数学模拟题及答案

一、填空1.不能再分解的命题称为____________,至少包含一个联结词的命题称为____________。

2.一个命题公式A(P, Q, R)为真的所有真值指派是000, 001, 010, 100,则其主析取范式是__________________,其主合取范式是_________________。

3.设A={a,b,c},B={b,c,d,e},C={b,c},则( A ⋃ ⊕=____________。

4.幂集P(P(∅)) =________________。

5.设A为任意集合,请填入适当运算符,使式子A________A=∅;A________A’=∅成立。

6.设A={0,1,2,3,6},R={〈x,y〉|x≠y∧(x,y∈A)∧y≡x(mod 3)},则D(R)=____________,R(R)=____________。

7.称集合S是给定非空集合A的覆盖:若S={S1,S2,…,S n},其中S i⊆A,S i≠Ø,i=1,2,…,n,且______ _____;进一步若_____ _______,则S是集合A的划分。

8.两个重言式的析取是____ ____式,一个重言式和一个永假式的合取式是式。

9.公式┐(P∨Q) ←→(P∧Q)的主析取范式是。

10. 已知Π={{a}{b,c}}是A={a,b,c}的一个划分,由Π决定的A上的一个等价关系是。

二、证明及求解1.求命题公式(P→Q)→(Q∨P)的主析取范式。

2.推理证明题1)⌝P∨Q,⌝Q∨R,R→S⇒P→S。

2) (∀x)(P(x)→Q(y)∧R(x)),(∃x)P(x)⇒Q(y)∧(∃x)(P(x)∧R(x))x)},S={〈x,y〉|x,y∈A∧(x=y+2)}。

3.设A={0,1,2,3},R={〈x,y〉|x,y∈A∧(y=x+1∨y=2试求R S R。

4.证明:R是传递的⇔R*R⊆R。

5.设R是A上的二元关系,S={<a, b>| 存在c∈A,使<a, c>∈R,且<c, b>∈R}。

离散数学第五版--模拟试题--及答案

离散数学第五版--模拟试题--及答案

离散数学第五版--模拟试题--及答案《离散数学》模拟试题3⼀、填空题(每⼩题2分,共20分)1. 已知集合A ={φ,1,2},则A得幂集合p(A)=_____ _。

2. 设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =___ ___,A∩B =____ __,A-B =___ ___,~A∩~B =____ ____。

3. 设A,B是两个集合,其中A= {1, 2, 3}, B= {1, 2},则A-B =____ ___,ρ(A)-ρ(B)=_____ _ _。

4. 已知命题公式RQPG→∧=)(,则G的析取范式为。

5. 设P:2+2=4,Q:3是奇数;将命题“2+2=4,当且仅当3是奇数。

”符号化,其真值为。

⼆、单项选择题(选择⼀个正确答案的代号填⼊括号中,每⼩题4分,共16分。

)1. 设A、B是两个集合,A={1,3,4},B={1,2},则A-B为().A.{1}B. {1, 3}C. {3,4}D. {1,2}2. 下列式⼦中正确的有()。

A. φ=0B. φ∈{φ}C. φ∈{a,b}D. φ∈φ3. 设集合X={x, y},则ρ(X)=()。

A. {{x},{y}}B. {φ,{x},{y}}C. {φ,{x},{y},{x, y}}D. {{x},{y},{x, y}}4. 设集合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,3),(3,2)},则R不具备().三、计算题(共50分)1. (6分)设全集E=N,有下列⼦集:A={1,2,8,10},B={n|n2<50 ,n∈N},C={n|n可以被3整除,且n<20 ,n∈N},D={n|2i,i<6且i、n∈N},求下列集合:(1)A∪(C∩D) (2)A∩(B∪(C∩D))(3)B-(A∩C) (4)(~A∩B) ∪D2. (6分)设集合A={a, b, c},A上⼆元关系R1,R2,R3分别为:R1=A×A,R2 ={(a,a),(b,b)},R3 ={(a,a)},试分别⽤定义和矩阵运算求R1·R2 ,22R,R1·R2 ·R3 , (R1·R2 ·R3 )-1 。

离散数学考试模拟试题及详细参考答案共四套

离散数学考试模拟试题及详细参考答案共四套

离散模拟答案11命题符号化(共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)a)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 gd eb ca图17.已知有限集S={a 1,a2,…,an},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N;P(N);R,R×R,{o,1}(写出即可)(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。

离散数学模拟练习题

离散数学模拟练习题

离散数学练习题一、选择题1、G是一棵根树,则(A )。

A、G一定是连通的B、G一定是强连通的C、G只有一个顶点的出度为0D、G只有一个顶点的入度为12、下面哪个语句不是命题(C )。

A、中国将成功举办2008年奥运会B、一亿年前地球发生了大灾难C、我说的不是真话D、哈密顿图是连通的3、设R是实数集合,在上定义二元运算*:a,b∈R,a*b=a+b-ab,则下面的论断中正确的是(C )。

A、0是*的零元B、1是*的幺元C、0是*的幺元D、*没有等幂元4、设G是群,当G有(D )个元素时,不能肯定G是交换群。

A.4B.5C.6D.75、无向完全图K3的不同构的生成子图有( D )个。

A. 6B.5C. 4D. 36、在自然数N上定义的二元运算∙,满足结合律的是( C )。

A.a∙b=a-bB. a∙b=a+2bC. a∙b=max{a,b}D. a∙b=∣a-b∣7、设集合A={{1,2,3},{4,5},{6,7,8}},则下列各式为真的是( D )。

A.1∈AB.{{4,5}}⊂AC. {1,2,3}⊆AD.∅∈A8、由5个结点可构成的根树中,其叉数m最多为( D )。

A.2B.3C.5D. 49、设集合A={1,2,3,…,10},下面定义的哪种运算关于集合A是不封闭的?(D )A、x*y=max{x,y}B、x*y=min{x,y}C、x*y=GCD(x,y),即x,y的最大公约数D、x*y=LCM(x,y),即x,y的最小公倍数10、仅有一个孤立结点的图称为( B )。

A.零图B.平凡图C.补图D.子图11. 下列各组数中,哪个可以构成无向图的度数列(B )。

A.1,1,1,2,2B.2,2,2,2,3C.1,2,2,4,6D.2,3,3,312. *是定义在Z上的二元运算,y*=∈+,,则*的幺元和零元分别是(D )。

∀,xyyxxZyx-A.不存在,0B.0,1C.1,不存在D.不存在,不存在 13. 设N N N f ,:→为自然数,且⎪⎩⎪⎨⎧=为偶数若为奇数若x xx x f 21)(则})0({)0(f f 和分别是(B )。

《离散数学》考试试卷(试卷库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. 下列代数系统中,其中*是加法运算,()不是群。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、单项选择题(每题2分,共20分)1. 在集合论中,空集的表示符号是()。

A. {0}B. ∅C. {}D. Ø答案:B2. 如果A和B是两个集合,那么A∩B表示()。

A. A和B的并集B. A和B的交集C. A和B的差集D. A和B的补集答案:B3. 命题逻辑中,p ∧ q的真值表中,当p和q都为假时,p ∧ q的值为()。

A. 真B. 假C. 不确定D. 无定义答案:B4. 在图论中,如果一个图中的任意两个顶点都由一条边相连,则称这个图为()。

A. 连通图B. 无向图C. 完全图D. 有向图答案:C5. 布尔代数中,逻辑或运算符表示为()。

A. ∧B. ∨C. ¬D. →答案:B6. 一个关系R是从集合A到集合B的二元关系,如果对于A中的每个元素x,B中都存在唯一的元素y与之对应,则称R为()。

A. 单射B. 满射C. 双射D. 单满射答案:C7. 在命题逻辑中,如果p是假命题,那么¬p的值为()。

A. 真B. 假C. 不确定D. 无定义答案:A8. 一个有向图是无环的,那么它一定是()。

A. 有向无环图B. 无向无环图C. 有向有环图D. 无向有环图答案:A9. 在集合论中,如果集合A是集合B的子集,那么A⊆B表示()。

A. A包含于BB. A是B的真子集C. A是B的超集D. A与B相等答案:A10. 命题逻辑中,p → q的真值表中,当p为真,q为假时,p → q 的值为()。

A. 真B. 假C. 不确定D. 无定义答案:B二、多项选择题(每题3分,共15分)1. 在集合论中,以下哪些符号表示的是集合的并集()。

A. ∪B. ∩C. ⊆D. ⊂答案:A2. 在图论中,以下哪些说法是正确的()。

A. 有向图可以是无环的B. 无向图可以是无环的C. 有向图一定是连通的D. 无向图一定是连通的答案:A B3. 在命题逻辑中,以下哪些符号表示的是逻辑与()。

离散数学模拟试卷和答案

离散数学模拟试卷和答案

北京语言大学网络教育学院《离散数学》模拟试卷一注意:1.试卷保密,考生不得将试卷带出考场或撕页,否则成绩作废。

请监考老师负责监督。

2.请各位考生注意考试纪律,考试作弊全部成绩以零分计算。

3.本试卷满分100分,答题时间为90分钟。

4.本试卷分为试题卷和答题卷,所有答案必须答在答题卷上,答在试题卷上不给分。

一、【单项选择题】(本大题共15小题,每小题3分,共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在答题卷相应题号处。

1、在由3个元素组成的集合上,可以有 ( ) 种不同的关系。

[A] 3[B] 8[C]9[D]272、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则( )。

[A] 3,8 [B]{}3 [C]{}8 [D]{}3,83、若X 是Y 的子集,则一定有( )。

[A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X4、下列关系中是等价关系的是( )。

[A]不等关系 [B]空关系 [C]全关系 [D]偏序关系5、对于一个从集合A 到集合B 的映射,下列表述中错误的是( )。

[A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象6、设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为( )。

[A]p→q [B]q→p [C]┐q→┐p [D]┐p→q7、设A={a,b,c},则A 到A 的双射共有( )。

[A]3个 [B]6个 [C]8个 [D]9个8、一个连通图G具有以下何种条件时,能一笔画出:即从某结点出发,经过图中每边仅一次回到该结点()。

[A] G没有奇数度结点 [B] G有1个奇数度结点[C] G有2个奇数度结点[D] G没有或有2个奇数度结点9、设〈G,*〉是群,且|G|>1,则下列命题不成立的是()。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1}B. {2,3}C. {1,2,3}D. {2,3,4}答案:B2. 命题“若x>0,则x^2>0”的逆否命题是:A. 若x≤0,则x^2≤0B. 若x^2≤0,则x≤0C. 若x^2>0,则x>0D. 若x^2≤0,则x≤0答案:B3. 函数f: X→Y是单射的,当且仅当:A. 对于任意x1≠x2,有f(x1)=f(x2)B. 对于任意x1≠x2,有f(x1)≠f(x2)C. 对于任意y∈Y,存在唯一的x∈X,使得f(x)=yD. 对于任意y∈Y,存在x∈X,使得f(x)=y答案:B4. 有限集合A的子集个数为2^n,其中n是集合A的元素个数,则n 等于:A. 0B. 1C. 2D. 3答案:C5. 逻辑运算符“与”用符号表示为:A. ∧B. ∨C. →D. ¬答案:A6. 命题逻辑中,命题p和q的析取(逻辑或)的真值表中,当p为真,q为假时,p∨q的值为:A. 真B. 假C. 可能真,可能假D. 不确定答案:A7. 以下哪个选项表示的是等价关系:A. 自反性B. 对称性C. 传递性D. 自反性、对称性和传递性答案:D8. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称该图为:A. 连通图B. 完全图C. 无向图D. 有向图答案:B9. 以下哪个选项是图的顶点的度的定义:A. 与该顶点相连的边的数量B. 与该顶点相连的顶点的数量C. 该顶点发出的边的数量D. 该顶点接收的边的数量答案:A10. 在布尔代数中,逻辑运算符“异或”用符号表示为:A. ⊕B. ∧C. ∨D. ¬答案:A二、填空题(每题2分,共20分)1. 集合{1,2,3}的补集在全集U={1,2,3,4,5}中表示为________。

答案:{4,5}2. 命题“若x>0,则x^2>0”的逆命题是“若________,则x>0”。

离散数学模拟试题、课后习题(附解析)超强集合

离散数学模拟试题、课后习题(附解析)超强集合

,即
r
2e 。而 ver 2 故 k
2 ver ve
k (v 2) 。 (8 分) k 2 k (v 2) ②彼得森图为 k 5, e 15, v 10 ,这样 e 不成立, k 2 2e 即得 k e
所以彼得森图非平面图。 (3 分)
二、 逻辑推演 16% 1、 证明: ①A ② A B ③ A B C D ④C D ⑤D ⑥D E ⑦D E F ⑧F ⑨A F 2、证明 ① xP( x) ② P (c ) ③ x( P ( x) Q( x)) ④ P (c ) Q ( c ) P(附加前提) US① P US③
五、计算 18%
1、设集合 A={a,b,c,d}上的关系 R={<a , b > ,< b , a > ,< b, c > , < c , d >}用矩阵运算求出 R 的传递闭包 t (R)。 (9 分)
4
离散数学模拟习题与解析 (1).doc
2、如下图所示的赋权图表示某七个城市 v1 , v 2 , , v7 及预先算出它们之间的一些直接通信线 路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。 (9分)
R { a, b , c, d | a, b S S , c, d S S , a d b c} 则 由
S S 上一个划分共有(
则公式 xyP( y, x) 真值为
2、 设S={a 1 ,a 2 ,…,a 8 },B i 是S的子集,则由B 31 所表达的子集是 。 3、 设 A={2 , 3 , 4 , 5 , 6} 上 的 二 元 关 系 R { x, y | x y x是质数} , 则 R=

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。

答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。

若命题P和Q等价,则记作P⇔Q。

蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。

若命题P蕴含Q,则记作P→Q。

2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。

答案:设x属于A∩B,即x同时属于A和B。

根据并集的定义,若元素属于A或B,则它属于A∪B。

因此,x属于A∪B。

由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。

3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。

在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。

4. 描述有限自动机的组成部分及其功能。

答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。

输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。

5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。

在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。

确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。

从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。

重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。

离散数学考试题目及答案

离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题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)离散数学模拟题二 (3)离散数学模拟题三 (7)离散数学模拟题四 (9)离散数学模拟题五 (12)离散数学模拟题六 (16)离散数学模拟题七 (18)离散数学模拟题八 (21)离散数学模拟题九 (24)离散数学模拟题十 (25)离散数学模拟题十一 (27)离散数学模拟题十二 (33)离散数学模拟题十三 (34)离散数学模拟题十四 (37)离散数学模拟题十五 (42)离散数学模拟题十六 (50)离散数学模拟题一一、判断题(共12分,每小题1分)( ) 1、(⌝p∨⌝q)→(p→⌝q)不是重言式。

( )2、在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。

( ) 3、命题函数是命题。

( ) 4、设A,B,C是Q的子集,则有A⨯(B⊕C)≠(A⨯B)⊕(A⨯C)。

( )5、设A、B为集合,若B≠Φ,则A-B包含于A。

( ) 6、若R为集合A上的非对称关系,则R2亦然。

( )7、存在一种建立在某个集合上的关系,它可以是对称的、反对称的、自反的、反自反和可传递的。

( )8、设〈G,*〉是群,对于G中的任意元素a,b有:(a ⋅ b)-1=b-1 ⋅ a-1。

( )9、在一个代数系统中,某个元素有多个左逆元,就不可能有右逆元。

( )10、设是非连通平面图G的对偶图中的顶点数,边数和面数,则它们之间不满足欧拉公式;( )11、设无向图G具有割点,则G中一定不存在汉密尔顿回路;( )12、有向图G是单侧连通;(G)二、求出下列命题公式的主析取范式和主合取范式。

(10分)(P→(Q∧R))∧(⌝P→(⌝Q∧R))三、逻辑推证(10分)(1)⌝(P→Q)→⌝ (R∨S),((Q→P) ∨⌝R) ,⌝(R→P) ⇒ P→Q四、用谓词推理理论来论证下述推证(10分)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。

有的人不爱骑自行车,因而有的人不爱步行。

离散数学课程模拟题附标准答案

离散数学课程模拟题附标准答案

《离散数学》期末考试考点及模拟题答案一、考试题型及分值各种题型所占的比例:填空题10%,判断题10%,选择题20%,其它题型60%新出试卷按照如下各种题型所占的比例:填空题20%,判断题15%,选择题30%,其它题型35%二、考点1.命题逻辑熟练掌握命题及其表示;掌握常用联结词(「、八、V、f、)的使用;熟练掌握命题公式的符号化;熟练掌握使用真值表判别命题等价的方法;掌握使用等价公式判别命题等价的方法;掌握重言式与蕴含式的概念及其判别方法;了解其他联结词的使用;了解对偶的概念;掌握求命题范式的方法;熟练掌握命题演算推理的基本理论.2.谓词逻辑熟练掌握谓词的概念及其表示;熟练掌握量词的使用;掌握使用谓词公式翻译命题的方法;掌握变元的约束;掌握谓词演算中等价式与蕴含式的判别;了解前束范式的求法;熟练掌握谓词演算推理的基本理论.3.集合与关系熟练掌握集合的概念和表示法;掌握集合的基本运算;掌握序偶与笛卡尔积的概念;熟练掌握关系及其表示;掌握关系的基本性质;了解复合关系和逆关系的概念;掌握关系的闭包运算;了解集合的划分和覆盖;掌握等价关系与等价类的概念;了解相容关系的概念;掌握各种序关系的概念.4.函数熟练掌握函数的概念;掌握逆函数和复合函数的概念;了解基数的概念;了解可数集与不可数集;了解基数的比较.5.代数结构掌握代数系统的概念;掌握n元运算及其性质;掌握半群、群与子群的概念;了解阿贝尔群和循环群的概念;了解陪集与拉格朗日定理;了解同构与同态的概念;了解环与域的概念.6.图论掌握图的基本概念;掌握路与回路的概念;熟练掌握图的矩阵表示;掌握欧拉图和哈密顿图的概念;掌握平面图的概念;了解对偶图与着色;熟练掌握树与生成树的概念;了解根树及其应用.(一)参考教材与网上资料复习(二)随堂练习或作业题在在新出试卷里有较大比例提高三、模拟试卷附后(请参考学习资料,找到或者做出解答)一、考试对象计算机学科中计算机科学与技术、软件工程等专业本科生二、考试的性质、目的离散数学是随着计算机科学的发展而逐渐形成的一门学科,是近代数学的一个分支在计算机科学中,它主要应用于数据结构、操作系统、编译原理、数据库理论、形式语言与自动机、程序理论、编码理论、人工智能、数字系统逻辑设计等方面它是计算机科学各专业重要的专业基础课.本课程教学的目标是:①使学生掌握离散数学的基本理论和基本知识,为学习有关课程以及今后工作打好基础.②培养和提高学生的抽象思维与逻辑推理能力.四、考试方式及时间:考试方式:闭卷考试时间:120分钟五、课程综合评定办法1期末闭卷考试:占总成绩60%.2、平时成绩(作业、考勤情况等):占总成绩40%3、试题难易程度:基础试题:中等难度试题:较难试题:难度较大的试题 =4: 3: 2: 1六、考试教材《离散数学》左孝凌、李为^、刘永才编著,上海科学技术文献出版社附:模拟试卷华南理工大学网络教育学院2012 - 2013学年度第一学期期末考试《离散数学》试卷(模拟卷)教学中心:专业层次:学号:姓名:座号:注意事项:1.本试卷共五大题,满分100分,考试时间120分钟,闭卷;2.考前请将以上各项信息填写清楚;3.所有答案直接做在试卷上,做在草稿纸上无效;4.考试结束,试卷、草稿纸一并交回.一.判断题(每题2分,共10分)1、设A, B都是合式公式,则A A B F「B也是合式公式.(J)2. P f Q o「P v Q ,(v)3、对谓词公式(V x) (P (y) V Q (x,y)) △R (x,y)中的自由变元进行代入后得到公lllllll !lllll式(V x) (P (z) V Q (x,z)) △R (x,y) . (x)4.对任意集合 A、B、C,有(A—B) —C = (A—C) - (B—C). (j)5. 一个结点到另一个结点可达或相互可达. (X )二.单项选择题(每题2分,共20分)1.设:。

(完整word版)离散数学模拟试题讲解

(完整word版)离散数学模拟试题讲解

1离散数学模拟试题Ⅰ一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分1.设}16{2<=x x x A 是整数且,下面哪个命题为假( A )。

A 、A ⊆}4,2,1,0{;B 、A ⊆---}1,2,3{;C 、A ⊆Φ;D 、A x x x ⊆<}4{是整数且。

2.设}}{,{,ΦΦ=Φ=B A ,则B -A 是( C )。

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

3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。

A 、b ,c ; B 、a ,b ; C 、b ; D 、a ,b ,c 。

4.设f 和g 都是X 上的双射函数,则1)(-g f 为( C )。

A 、11--g f ; B 、1)(-f g ; C 、11--f g ; D 、1-f g 。

5.下面集合( B )关于减法运算是封闭的。

A 、N ;B 、}2{I x x ∈;C 、}12{I x x ∈+;D 、}{是质数x x 。

6.具有如下定义的代数系统>*<,G ,( D )不构成群。

f2A 、G={1,10},*是模11乘 ;B 、G={1,3,4,5,9},*是模11乘 ;C 、G=Q (有理数集),*是普通加法;D 、G=Q (有理数集),*是普通乘法。

7.设},32{I n m G n m ∈⨯=,*为普通乘法。

则代数系统>*<,G 的幺元为( B )。

A 、不存在 ;B 、0032⨯=e ;C 、32⨯=e ;D 、1132--⨯=e 。

8.下面集合( C )关于整除关系构成格。

A 、{2,3,6,12,24,36} ;B 、{1,2,3,4,6,8,12} ;C 、{1,2,3,5,6,15,30} ;D 、{3,6,9,12}。

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

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

《离散数学》考试试卷(试卷库14卷)及答案第 1 页/共 4 页《离散数学》考试试卷(试卷库14卷)试题总分: 100 分考试时限:120 分钟⼀、选择题(每题2分,共20分)1. 下述命题公式中,是重⾔式的为( )(A ))()(q p q p ∨→∧(B )q p ∨))()((p q q p →∨→?(C )q q p ∧→?)((D )q q p →?∧)(2. 对任意集合A,B,C,下列结论正确的是()(A )若A ?B,B ∈C,则A ?C ;(B )若A ∈B,BC,则A ?C ;(C )若A ?B,B ∈C,则A ∈C ;(D )若A ∈B,B ?C,则A ∈C ; 3. 设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系, ,则由R 产⽣的S S ?上⼀个划分共有( )个分块。

(A )4(B )5(C )6(D )94. 下列偏序集( )能构成格5. 连通图G 是⼀棵树当且仅当G 中( )(A )有些边是割边(B )每条边都是割边(C )所有边都不是割边(D )图中存在⼀条欧拉路径6. 有n 个结点)3(≥n ,m 条边的连通简单图是平⾯图的必要条件( )(A ) 63-≤n m(B )63-≤m n (C )63-≥n m (D ) 63-≥m n7. 设P,Q 的真值为0,R,S 的真值为1,则下⾯命题公式中真值为1的是()(A )R →P (B )Q ∧S (C )P S (D )Q ∨R 8. 在图G=中,结点总度数与边数的关系是()(A )deg()2||i v E =(B )deg()||i v E =(C )deg()2||iv Vv E ∈=∑(D )deg()||iv Vv E ∈=∑9. 设有33盏灯,拟公⽤⼀个电源,则⾄少需有五插头的接线板数()(A )7(B )8(C )9(D )14 10. 设集合A 上有四个元素,则A 上的不同的等价关系的个数为()(A )11 (B )14 (C )17(D )15⼆、填空题(每题2分,共20分)1. 设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则R= 。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

离散数学模拟题一套及答案

离散数学模拟题一套及答案

离散数学考试(试题及答案)一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派?(1)若A去,则C和D中要去1个人;(2)B和C不能都去;(3)若C去,则D留下。

解设A:A去工作;B:B去工作;C:C去工作;D:D去工作。

则根据题意应有:A C D,(B∧C),C D必须同时成立。

因此(A C D)∧(B∧C)∧(C D)(A∨(C∧D)∨(C∧D))∧(B∨C)∧(C∨D)(A∨(C∧D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D))(A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D)∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D∧C∧D)∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D∧C∧D)F∨F∨(A∧C)∨F∨F∨(C∧D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F(A∧C)∨(B∧C∧D)∨(C∧D∧B)∨(C∧D)(A∧C)∨(B∧C∧D)∨(C∧D)T故有三种派法:B∧D,A∧C,A∧D。

二、(15分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。

解:论域:所有人的集合。

S(x):x是专家;W(x):x是工人;Y(x):x是青年人;则推理化形式为:∀x (S(x)∧W(x)),∃x Y(x)∃x(S(x)∧Y(x))下面给出证明:(1)∃x Y(x) P(2)Y(c) T(1),ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3),US(5)S( c) T(4),I(6)S( c)∧Y(c) T(2)(5),I(7)∃x(S(x)∧Y(x)) T(6) ,EG三、(10分)设A、B和C是三个集合,则A B⌝(B A)。

证明:A B x(x∈A→x∈B)∧x(x∈B∧x A)x(x A∨x∈B)∧x(x∈B∧x A) ⌝x(x∈A∧x B)∧⌝x(x B∨x∈A)⌝x(x∈A∧x B)∨⌝x(x∈A∨x B)⌝(x(x∈A∧x B)∧x(x∈A∨x B))⌝(x(x∈A∧x B)∧x(x∈B→x∈A))⌝(B A)。

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

目录离散数学模拟题一 (1)离散数学模拟题二 (3)离散数学模拟题三 (7)离散数学模拟题四 (9)离散数学模拟题五 (12)离散数学模拟题六 (16)离散数学模拟题七 (18)离散数学模拟题八 (21)离散数学模拟题九 (24)离散数学模拟题十 (25)离散数学模拟题十一 (27)离散数学模拟题十二 (33)离散数学模拟题十三 (34)离散数学模拟题十四 (37)离散数学模拟题十五 (42)离散数学模拟题十六 (50)离散数学模拟题一一、判断题(共12分,每小题1分)( ) 1、(⌝p∨⌝q)→(p→⌝q)不是重言式。

( )2、在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。

( ) 3、命题函数是命题。

( ) 4、设A,B,C是Q的子集,则有A⨯(B⊕C)≠(A⨯B)⊕(A⨯C)。

( )5、设A、B为集合,若B≠Φ,则A-B包含于A。

( ) 6、若R为集合A上的非对称关系,则R2亦然。

( )7、存在一种建立在某个集合上的关系,它可以是对称的、反对称的、自反的、反自反和可传递的。

( )8、设〈G,*〉是群,对于G中的任意元素a,b有:(a ⋅ b)-1=b-1 ⋅ a-1。

( )9、在一个代数系统中,某个元素有多个左逆元,就不可能有右逆元。

( )10、设是非连通平面图G的对偶图中的顶点数,边数和面数,则它们之间不满足欧拉公式;( )11、设无向图G具有割点,则G中一定不存在汉密尔顿回路;( )12、有向图G是单侧连通;(G)二、求出下列命题公式的主析取范式和主合取范式。

(10分)(P→(Q∧R))∧(⌝P→(⌝Q∧R))三、逻辑推证(10分)(1)⌝(P→Q)→⌝ (R∨S),((Q→P) ∨⌝R) ,⌝(R→P) ⇒ P→Q四、用谓词推理理论来论证下述推证(10分)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。

有的人不爱骑自行车,因而有的人不爱步行。

设M(x): x 是人; Q(x); x 喜欢步行S(x); x 喜欢乘汽车 ; R(x); x 喜欢骑自行车五、某班级有学生四十名,共有三门选修课可供选择,选修课课程名称分别为A 、B 、C ,其中有15名学生选A 课程,有10名学生选B 课程,6名学生选C 课程,而且其中有5名学生三门课程都选。

问至少有多少学生三门选修课一门也没选?(10分)六、设R 是一个等价关系,设:,{><=b a S 对某一个c ,有},,,R b c R c a >∈<>∈<且,证明:S 也是一个等价关系。

(10分)七、 已知有如图的偏序关系,并求出其子集A={b,c, d, e,}的极大元、极小元、最大元、最小元、上确界、下确界。

(10分)f gedc八、设G={(a,b )︱a ,b ∈R ,b ≠0},定义运算(a ,b )*(c,d)=(bc+a ,bd)求证:<G ,*>是一个群。

(10分)九、求图中A到其余各顶点的最短路径,并写出它们的权。

(10分)B 7 C1 2A 2 5 3 D6E 1 F十、设有一组数1,2,2,3,4,6,7,9,12,求相应的最优树。

并写出W(T)。

(8分)离散数学模拟题二一、判断题(共10分,每小题1分)( ) 1、“谋事在人,成事在天。

”这句话是命题;( )2、对任意的命题公式CBA,,, 若CBCA∧⇔∧, 则BA⇔;( ) 3、(x)(P(x)→Q(x))(x)P(x)→(x)Q(x);( ) 4、对于任意集合A,B,A⊆B当且仅当A-B=∅;( )5、设x,y是集合A的两种不同划分,则x⊕y也是集合A的一种划分;( ) 6、空集上的空关系,是对称的、反对称的、自反的、反自反和可传递的;( )7、若偏序集〈A,≤〉,A中的所有元素都能排成a1≤ a2≤ a3≤……的形式,则偏序集〈A,≤〉是一个全序集,并只存在一条反链( )8、设(S,*)是一个有单位元的半群,若对任意a∈S,a有左逆元u和右逆元v,则u=v;( )9、非连通平面图G的补图中的顶点数,边数和面数,它们之间不满足欧拉公式;( )10、设有无向图G1,G2,G1是G2的子图,则G1的最小生成树是G2最小生成树的子图。

二、选择题(共16分,每小题2分)1、 设P :我将去市里,Q :我有时间。

命题“我将去市里,仅当我有时间时”符号化为( ) Q P Q P Q P P Q ⌝∨⌝↔→→)D ()C ()B ()A (2、设个体域为整数,则下列式子中正确的是( )(A))0y x (y x =+∃∀ (B) )0y x (y x =+∀∀(C) )0y x (y x =+∀∃ (D) )0y x (y x =+∃⌝∃3、设A,B,C 为任意集合下列命题为真的是( )(A)如果A ⋃B =A ⋃C ,则B =C (B) 如果A -B =∅,则A =B(C) A ⊕A=A (D) ∅是∅的子集4、给定A={1、2、3}上的关系R={<1, 1>, <2, 2>, <1, 3>, <3, 1>, <2, 3>},则:() (A)R 是自反的且传递(B)R 不反自反且不对称(C) R 是反对称且不对称(D) R 不自反且传递5、设A 是非空集合,P(A)是A 的幂集,则代数结构< P(A),∩>的单位元是( )(A) P(A) (B)A (C)Φ (D){Φ}6、下图中不是平面图的是( )7、下列图是欧拉图为( )8、设G是由5个顶点组成的完全图,则从G中至少删去多少条边可以得到树()(A)4 (B)5 (C)6 (D)10三、求出下列命题公式的主析取范式和主合取范式。

(8分)(P→(Q→R))∧((⌝Q∨P) ∧R)四、逻辑推证(8分)(1)⌝(P→Q)→⌝ (R∨S),((Q→P) ∨⌝R) ,⌝(R→P) ⇒ P→Q五、某学院04级数学系共有学生120名,其中65人选学德语,45人选学法语,12人选学俄语,8人三门语言都选学。

问至少有多少学生三种语言一种也没选学?(8分)六、用谓词推理理论来论证下述推证(10分)每个旅客或者坐头等舱或者坐二等舱,每个旅客当且仅当他富裕时坐头等舱,并非所有的旅客都富裕,旅客汪明不富裕。

所以汪明做二等舱。

七、设{A1,A2…….An}是集合G的一个划分。

定义G上的二元关系R,使<x,y>∈当且仅当x,y属于该划分的同一份块中,求证:这样定义的R是G上的等价关系。

(10分)八、已知有如图的偏序关系,求出(1)序关系集合R(2)其子集A={b,c, d, e,}的极大元、极小元、最大元、最小元、上确界、下确界。

(10分)九、给定代数系统(G,*), 二元运算见下表.证明(G,+,*)是群。

(5分)十、G是有n-1条边的图(n是G的顶点数)。

证明:如果G中无圈,那么G是一棵树。

(5分)十、已知关于人员a,b,c,d,e,f和g的下述事实:a说英语;b说英语和西班牙语;c说英语,意大利语和俄语;d说日语和西班牙语;e说德语和意大利语;f说法语,日语和俄语;g说法语和德语。

试问:上述7人中是否任意两人都能交谈?(如有必要,可由其余5人中所组成的译员链帮忙)(5分)十、设有一组数1,2,2,3,4,6,7,9,10,求相应的最优树。

并写出W(T)。

(5分)离散数学模拟题三一、判断题(共12分,每小题1分)( ) 1、(⌝p∨⌝q)→(p→⌝q)不是重言式。

( )2、在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。

( ) 3、命题函数是命题。

( ) 4、设A,B,C是Q的子集,则有A⨯(B⊕C)≠(A⨯B)⊕(A⨯C)。

( )5、设A、B为集合,若B≠Φ,则A-B包含于A。

( ) 6、若R为集合A上的非对称关系,则R2亦然。

( )7、存在一种建立在某个集合上的关系,它可以是对称的、反对称的、自反的、反自反和可传递的。

( )8、设〈G,*〉是群,对于G中的任意元素a,b有:(a ⋅ b)-1=b-1 ⋅ a-1。

( )9、在一个代数系统中,某个元素有多个左逆元,就不可能有右逆元。

( )10、设是非连通平面图G的对偶图中的顶点数,边数和面数,则它们之间不满足欧拉公式;( )11、设无向图G具有割点,则G中一定不存在汉密尔顿回路;( )12、有向图G是单侧连通;(G)二、求出下列命题公式的主析取范式和主合取范式。

(10分)(P→(Q∧R))∧(⌝P→(⌝Q∧R))三、逻辑推证(10分)(1)⌝(P →Q )→⌝ (R ∨S),((Q →P) ∨⌝R) ,⌝(R →P) ⇒ P →Q四、用谓词推理理论来论证下述推证(10分)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。

有的人不爱骑自行车,因而有的人不爱步行 。

设M(x): x 是人; Q(x); x 喜欢步行S(x); x 喜欢乘汽车 ; R(x); x 喜欢骑自行车五、某班级有学生四十名,共有三门选修课可供选择,选修课课程名称分别为A 、B 、C ,其中有15名学生选A 课程,有10名学生选B 课程,6名学生选C 课程,而且其中有5名学生三门课程都选。

问至少有多少学生三门选修课一门也没选?(10分)六、设R 是一个等价关系,设:,{><=b a S 对某一个c ,有},,,R b c R c a >∈<>∈<且,证明:S 也是一个等价关系。

(10分)七、 已知有如图的偏序关系,并求出其子集A={b,c, d, e,}的极大元、极小元、最大元、最小元、上确界、下确界。

(10分)f gedcba八、设G={(a,b )︱a ,b ∈R ,b ≠0},定义运算(a ,b )*(c,d)=(bc+a ,bd)求证:<G ,*>是一个群。

(10分)九、求图中A 到其余各顶点的最短路径,并写出它们的权。

(10分)十、设有一组数1,2,2,3,4,6,7,9,12,求相应的最优树。

并写出W (T )。

(8分)离散数学模拟题四一、判断题(共10分,每小题1分)( ) 1、“如果我能上天,我就把月亮染成绿色。

”这句话是命题;( )2、(⌝p ∨⌝q )→(p →⌝q)不是重言式;( ) 3、(∀x)(P(x)→Q(x))(x)P(x)→(x)Q(x);( ) 4、设A 、B 为集合,若B ≠Φ,则A-B 包含于A ;( )5、一个集合的交叉划分必然是该集合的一种覆盖;( ) 6、全域关系是对称的、反对称的、自反的、反自反和可传递的;( )7、若偏序集〈A ,≤〉,A 中的所有元素都能排成a1≤ a2≤ a3≤ ……的形式,则偏序集〈A ,≤〉是一个良序集;( )8、设(S,*)是一个有单位元的半群,则*运算满足消去率;( )9、设无向图G 具有割点,则G 中一定不存在汉密尔顿回路;( )10、平凡图也是一棵树;二、选择题(共12分,每小题2分)1、 设P :我将去市里,Q :我有时间。

相关文档
最新文档