离散数学试卷
离散数学样卷十二套(含答案)

一、证明下列各题1、 (10分)证明蕴涵式:()P P Q Q ∧→⇒2、(10分)证明:,1111f g f g -⇒-I 为函数为函数。
5、 3、(10分)给定代数结构,N ⨯和{}0,1,⨯,其中N 是自然数集合,⨯是数的乘法。
设{}:0,1f N →,定义为:12,,()0k n n k N f n ⎧=∈=⎨⎩否则试证}01N ⨯≅⨯,,,。
4、(10分)给定代数结构,R *,其中R 是实数集合,对R 中任意元a 和b ,*定义如下:a b a b a b *=++⨯ 试证明:,R *是独异点。
二、求下列各题的解:1、试求下列公式的主析取范式和主合取范式(15分):()()P Q P Q ⌝∨⌝→⌝€2、(15分){}010*********R =设,,,,,,,,,,,,试求(1)、R R *,(2)、{}1R ↑,(3)、{}11R -↑,(4)、{}1R ⎡⎤⎣⎦,(5)、{}11R -⎡⎤⎣⎦3、(15分给定无向图,G V E =,如图,试求: F E DCA B(1) 从A 到D 的所有基本链; (2) 从A 到D 的所有简单链;(3) 长度分别是最小和最大的简单圈; (4) 长度分别是最小和最大的基本圈; (5) 从A 到D 的距离。
4、(15分)给定二部图12,,G E V =,如图 9v 8v 7v 6v 1V1v 2v 3v 4v 5v 2V 试求1V 到2V 的最大匹配一、证明下列各题1、 (10分)证明蕴涵式:()P Q P P Q →⇒→∧2、(10分)证明:()()()A B C A B A C ⨯-=⨯-⨯3、(10分)给定群,G ,则,G 为Abel 群⇔222()()(,())∀∀∈→=a b a b G a b a b4、(10分)给定代数结构,S *,其中S 中元为实数有序对,*定义为 ,,,2a b c d a c b d bd *=+++,试证,S *是可交换独异点。
《离散数学》考试试卷(试卷库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=<V , E>,则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. 下列代数系统<G,*>中,其中*是加法运算,( )不是群。
离散数学期末试卷(4套附答案)

一、单项选择题(每小题3分,共30分)1.下列为两个命题变元p,q的最小项的是( ) A .p∧q∧⎤ pB .⎤ p∨qC .⎤ p∧qD .⎤ p∨p∨q 2.下列句子不是命题的是( ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的D .太好了!3.对于公式(∀x ) (∃y )(P (x )∧Q (y ))→(∃x )R (x ,y ),下列说法正确的是( ) A .y 是自由变元 B .y 是约束变元C .(∃x )的辖域是R(x , y )D .(∀x )的辖域是(∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )4.7.集合A={1,2,…,10}上的关系R={(x ,y )|x +y =10,x ∈A ,y ∈A},则R 的性质是( )A .自反的B .对称的C .传递的、对称的D .反自反的、传递的 5.设论域为{l ,2},与公式)(x xA ∃等价的是( ) A.A (1)∨A (2)B. A (1)→A (2)C.A (1)D. A (2)→A (1)6. 下列关系矩阵所对应的关系具有反自反性的是( ) A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101100001 C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0010101017. 下列运算不满足...交换律的是( ) A .a *b =a+2bB .a *b =min(a ,b )C .a *b =|a -b |D .a *b =2ab8..设A 是奇数集合,下列构成独异点的是( ) A.<A ,+> B.<A ,-> C.<A ,×> D.<A ,÷> 9. 右图的最大入度是( ) A .0 B .1 C .2D .3第9题图拟题学院(系): 高密校区 适用专业: 学年 2学期 离散数学 (B卷) 试题标准答案10. 设有向图D 的节点数大于1,D=(V ,E )是强连通图,当且仅当( ) A. D 中至少有一条通路 B. D 中至少有一条回路C. D 中有通过每个结点至少一次的通路D. D 中有通过每个结点至少一次的回路 二、填空题(每空3分,共30分)1.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。
(完整版)离散数学题目及答案

数理逻辑习题判断题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.飞碟来自地球外的星球。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共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。
离散数学试卷及答案

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是代数系统的有( )A.〈Z,+,/〉B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q,*〉Q是全体有理数集,*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算C.〈Z, 〉,Z是整数集, 定义为x xy=xy,∀x,y∈ZD.〈Z,+〉,Z是整数集,+是数的加法运算7.设A={1,2,3},A上二元关系R的关系图如下:R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设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 A9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈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〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
离散数学考试题及答案

离散数学考试题及答案一、选择题(每题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},请计算它的幂集,并列出所有元素。
离散数学试题及答案解析

离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中,含有3个元素的子集有多少个?A. 4B. 8C. 16D. 32答案:B解析:含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算,其中n为集合的元素个数,k为子集中的元素个数。
在本题中,n=4,k=3,所以C(4, 3) = 4! / [3!(4-3)!] = 4。
2. 下列哪个命题是真命题?A. 所有偶数都是整数。
B. 所有整数都是偶数。
C. 所有整数都是奇数。
D. 所有奇数都是整数。
答案:A解析:偶数是指能被2整除的整数,因此所有偶数都是整数,选项A是真命题。
选项B、C和D都是错误的,因为并非所有整数都是偶数或奇数。
二、填空题1. 逻辑运算符“非”(NOT)的真值表是:当输入为真时,输出为______;当输入为假时,输出为真。
答案:假解析:逻辑运算符“非”(NOT)是一元运算符,它将输入的真值取反。
如果输入为真,则输出为假;如果输入为假,则输出为真。
2. 命题逻辑中,合取词“与”(AND)的真值表是:当两个命题都为真时,输出为真;否则输出为______。
答案:假解析:合取词“与”(AND)是二元运算符,只有当两个命题都为真时,输出才为真;如果其中一个或两个命题为假,则输出为假。
三、简答题1. 解释什么是等价关系,并给出一个例子。
答案:等价关系是定义在集合上的一个二元关系,它满足自反性、对称性和传递性。
例如,考虑整数集合上的“同余”关系。
对于任意整数a,b,如果a和b除以同一个正整数n后余数相同,则称a和b模n同余。
这个关系是自反的(a同余a),对称的(如果a同余b,则b同余a),并且是传递的(如果a同余b且b同余c,则a同余c)。
2. 什么是图的连通性?一个图是连通的需要满足什么条件?答案:图的连通性是指在无向图中,任意两个顶点之间都存在一条路径。
一个图是连通的需要满足以下条件:图中的任意两个顶点v和w,都可以通过图中的边相互到达。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
大学2013—2014学年度第二学期期末考试《离散数学》试卷A第一部分 选择题(共20 分)一、单项选择题(本大题共10小题,每题只有一个正确答案,答对一题得2分共20分) 1、对任意集合A 、B 、和C ,下列论断中正确的是: 【 】A. 若A ∈B ,B ⊆C ,则A ∈CB. 若A ∈B ,B ⊆C ,则A ⊆CC. 若A ⊆B ,B ∈C ,则A ∈CD. 若A ⊆B ,B ∈C ,则A ⊆C2、设A={a,{a}},下列式子中正确的有: 【 】A. {a}∈ρ(A)B. a ∈ρ(A)C. {a}⊆ρ(A)D. 以上都不是3、P :我将去镇上。
Q :我有时间。
命题“我将去镇上,当且仅当我有时间”符号化为:【 】A. P →Q B. Q →P C. P ↔Q D. Q ∨¬P4、命题公式:(P ∧(P →Q ))→Q 是 【 】A .矛盾式 B. 可满足式 C. 重言式 D. 不能确定5、谓词公式)())()((x Q y yR x P x →∃∨∀中,量词x ∀的辖域是: 【 】A. ))()((y yR x P x ∃∨∀B. )(x PC. )(),(x Q x PD. )()(y yR x P ∃∨6、在如下各图中,哪一个是欧拉图? 【 】7、设|V|>1,G= < V , E >是强连通图,当且仅当: 【 】A .G 中至少有一条通路B .G 中至少有一条回路C .G 中有通过每个结点至少一次的通路D .G 中有通过每个结点至少一次的回路8、设}}2,1{},1{,{Φ=S ,则 ρ(S) 有多少个元素? 【 】A .3;B .6;C .7;D .8 ;9、集合A={1,2,3,4,5,6,7,8,9,10}上的关系R={<x, y> | x + y = 10},则R 的性质为:【 】A .自反的;B .对称的;C .传递的、对称的;D .反自反的、传递的10、集合A 上的等价关系R ,其等价类集合{[ a]R | a ∈ A}称为: 【 】A .A 与R 的并集,记作A ∪RB .A 与R 的交集,记作A ∩RC .A 与R 的商集,记作A /RD .A 与R 的差集,记作A - R二、填空题(本大题共10小题,每题2分,共20分)11、已知集合A={φ,{φ}},则A 的幂集为 。
12、已知序偶< x-2,18>=< 9,2x-y >,则x= ; y= 。
13、P 、Q 为两个命题,当且仅当 时,P →Q 的真值为0 14、(¬P ∧Q )∨(¬P ∧¬Q )可化简为: 。
15、设}整除,2被,121{Z x x x x M ∈≤≤=,}整除,3被,121{Z x x x x N ∈≤≤=则 M ∩N= ,M – N=16、个体域为自然数集,P (x ):x 为奇数,Q (x ):x 为偶数,则命题“不存在既是奇数又是偶数的自然数”形式化为: 。
17 、设R 为非空集合A 上的等价关系,其等价类记为〔x 〕R 。
x,y ∈A ,若〈x,y 〉∈R ,则〔x 〕R与〔y 〕R 的关系是__ ___,而若〈x,y 〉∉ R ,则〔x 〕R ∩〔y 〕R =______。
18.K n 为汉米顿图,当且仅当 。
19.设A 、B 为集合,|A|=n ,|B|=m ,则A 到B 的二元关系共有 个,A 上的二元关系共有个。
20.一棵树有两个结点度数为2,一个结点度数为3,三个结点度数为4,它有个度数为1的结点?三、计算题 (本大题共6小题,其中21、22、23三题每题5分,24、25、26三题每题7分,共36分)21、某班有学生50人,有26人在第一次考试中得优,有21人在第二次考试中得优,有14人在两次考试都得优,那么两次考试中都没得优的学生有多少人?22、是否可以分别画出无向简单图,使各点的度与下面给出的序列一致。
如可能,画出符合条件的无向图,如不可能,说明原因。
(1)1,1,2,2,3 (2)1,1,2,2,223、给定个体域D={3,5,7},P (x )解释为“x 是素数”,求公式)(x xP ∀的真值。
24、设集合A={1,2,3},A上关系R={<x , y>|x∈A ∧y∈A∧x +3y<8},关系S={ <2,3>,<4,2>}。
求Dom(R),Ran(R),RοS,R~,r(R)及s(R)25. 求公式q∧(p∨¬q)的析取式、合取式、主析取式,并根据主析取式直接确定公式的弄真指派和弄假指派。
26、对{2,3,6,12}集合上的整除关系画出哈斯图,并对子集{2,3,6}找出最大元素,最小元素,极大元素,极小元素。
四、证明题(3小题,每题5分,共15分。
)27、证明:A\(B∪C)=(A\B)∩(A\C)28、证明逻辑等价式∀x∀y(P(x)∨Q(y))⇔∀x P(x)∨∀y Q(y)。
(方法不限)五、应用题(本大题共1小题,9分)30、有七位客人入席,A只会讲英语;B会讲汉语;C会讲英语、意大利语及俄语;D会讲汉语及日语;E会讲意大利语及德语;F会讲法语,日语及俄语;G会讲德语和法语。
问主人能否把七位客人安排在一圆桌上,使每一位客人与左右邻不用翻译便可交谈。
若能安排,请给出一个方案。
大学2013至2014学年第第二学期期末考试{离散数学} 试题A标22、(1)不符合握手定理,所以不能画出图(2)符合条件的无向图为:23、主析取式:(¬P∧¬Q∧R)∨(¬P∧Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R)或者主析取式=m1∧m3∧m6∧m7成真赋值为:001,011,110,111 成假赋值为:000,010,100,10124、dom(R)=A,Ran(R)={1,2},RοS={<1,3>},R-1={<1,1>,<2,1>,<1,2>,<1,3>}r(R)={<1,1>,<1,2>,<2,1>,<3,1>,<2,2>,<3,3>}s(R)={<1,1>,<1,2>,<2,1>,<3,1>,<1,3>}25、不会打这三种球的人数为:X=10A、B、C为会打篮球、排球、网球的人的集合,则有:|S|=30|A|=16,|B|=14,|C|=11,|A∩B|=10,|A∩C|=8,|B∩C|=8,|A∩B∩C|=5 X=|S|-(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|)-|A∩B∩C|=1026、R={<1,1>,<1,3>,<1,5>,<1,9>,<1,15>,<1,45>,<3,3>,<3,9>,<3,15>,<3,45>,<9,9>,<9,45>,<15,15>,<15,45>,<45,45>}根据R中元素,可知R是偏序关系,其哈斯图为:最大元:45,最小元:1,极大元:45,极小元:1四、证明题(2小题,每题5分,共10分。
)27、28、证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)五、综合应用题(本题共2小题,每题7分,共14分)29、[解] 能安排,其方案为:H=(A,C,B,E,D,G,F,A)将每个人作为一个项点,如果两个人会讲同一种语言,就在代表他们的二个项点间连一条边,边上标明二人公用的语言,这样就可得一简单无向图G。
所求问题转化为图G中有无Hamilton回路问题。
而上边指出的回路H正好是图G的一条Hamilton回路,因此问题得到解决。
30、令p:他是计算机系本科生q:他是计算机系研究生r:他学过DELPHI语言s:他学过C++语言t:他会编程序前提:(p∨q)→(r∧s),(r∨s)→t结论:p→t证①p P(附加前提)②p∨q T①附加规则③(p∨q)→(r∧s) (前提引入)④r∧s T②③假言推理规则⑤r T④花间规则⑥r∨s T⑤附加规则⑦(r∨s)→t (前提引入)⑧t T⑤⑥假言推理规则大学2013—2014学年度第二学期期末考试《离散数学》试卷A一、单项选择题(本大题共10小题,每题只有一个正确答案,答对一题得2分共20分) 1、设P={x| (x+1)2≤4}, Q={x | x 2+16≥5x} ,则下列各式中成立的是: 【 】A. Q ⊂PB. Q ⊆PC. P ⊂QD. P ⊆Q2、}}2,1{,1,{Φ=S ,下列式子中正确的有: 【 】 A. {1}∈ρ(S) B. 1∈ρ(S) C. {1}⊆ρ(S) D. 以上都不是3、P :你努力,Q :你失败。
“虽然你努力了,但还是失败了”符号化为: 【 】A. P →QB. Q →PC. P ∧QD. P ∨¬Q4、设论域E={a, b },且P(a,a)=T , P(a,b)=F , P(b,a)=T , P(b,b)=F ; 则在下列公式中真值为T的是: 【 】 A .∃x ∀yP (x,y) B .∀x ∀yP (x,y) C .∀xP(x,x) D .∀x ∃yP (x,y)5、谓词公式)())()((x Q y yR x P x →∃∨∀中,变元x 是: 【 】A .自由出现B .约束出现C .既是约束出现,又是自由出现D .以上都不是6、.一个连通的无向图G ,如果它的所有结点的度数都是偶数,那么它具有一条: 【 】A .汉密尔顿回路B .欧拉回路C .汉密尔顿通路D .初级回路7、设|V|>1,G= < V , E >是强连通图,当且仅当: 【 】A .G 中至少有一条通路B .G 中至少有一条回路C .G 中有通过每个结点至少一次的通路D .G 中有通过每个结点至少一次的回路8、由5个结点构成的根树中,其边数m 最多为: 【 】A .2;B .3;C .5;D .4 ;9、设A={1,2,3},A 上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S 具有的性质是:【 】A .自反关系B .传递关系C .对称关系D .反自反关系10、集合A 上的等价关系R ,决定了A 的一个划分,该划分就是: 【 】A .A 与R 的并集A ∪RB .A 与R 的交集,记作A ∩RC .A 与R 的商集,记作A /RD .A 与R 的差集,记作A - R二、填空题(本大题共10小题,每题2分,共20分)11、已知集合A={{1},{1,2}},则A 的幂集为 。