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

一、证明下列各题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 *是可交换独异点。
离散数学期末考试卷

离散数学期末考试卷一、选择题(每题2分,共20分)1. 在集合论中,下列哪个选项不是集合的基本运算?A. 并集B. 交集C. 差集D. 幂集2. 命题逻辑中,下列哪个命题不是合取命题?A. (p ∧ q)B. (p ∨ q)C. (p → q)D. (p ↔ q)3. 关系R在集合A上是自反的,这意味着:A. 对于所有a∈A,(a, a)∈RB. R是对称的C. R是传递的D. R是反对称的4. 在图论中,下列哪个不是图的基本概念?A. 顶点B. 边C. 路径D. 矩阵5. 布尔代数中,下列哪个操作不是基本操作?A. 与(AND)B. 或(OR)C. 非(NOT)D. 模(MOD)6. 函数f: A → B,下列哪个条件不是函数的一一对应的必要条件?A. 对于A中不同的元素,它们的函数值不同B. 对于B中的每个元素,A中至少有一个元素映射到它C. 对于A中的每个元素,B中只有一个元素映射到它D. A和B的元素数量相同7. 在组合数学中,下列哪个是排列的定义?A. 从n个不同元素中取出r个元素的所有可能组合B. 从n个不同元素中取出r个元素的所有可能排列C. 从n个元素中取出r个元素的所有可能组合,不考虑顺序D. 从n个元素中取出r个元素的所有可能排列,考虑顺序8. 逻辑等价是指两个命题:A. 总是同时为真或同时为假B. 在所有可能的真值分配下都具有相同的真值C. 只有在某些真值分配下具有相同的真值D. 至少在一个真值分配下具有相同的真值9. 递归函数的特点是:A. 只能通过迭代来实现B. 必须有一个或多个基本情况C. 只能通过递归调用自身来实现D. 不能包含任何循环结构10. 在证明中,归纳法的基本步骤是:A. 基础步骤和归纳步骤B. 假设步骤和证明步骤C. 假设步骤和归纳步骤D. 基础步骤和假设步骤二、填空题(每空2分,共20分)11. 集合{1, 2, 3}的幂集包含元素个数为______。
(完整版)离散数学题目及答案

数理逻辑习题判断题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。
《离散数学》考试试卷(试卷库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,B⊆C,则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=<V,E>中,结点总度数与边数的关系是( )(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= 。
大学期末离散数学试卷

一、选择题(每题2分,共20分)1. 下列命题中,正确的是()A. 逻辑真命题一定是逻辑假命题B. 逻辑假命题一定是逻辑真命题C. 逻辑真命题和逻辑假命题都是存在的D. 逻辑真命题和逻辑假命题都不存在2. 设A和B是两个集合,则下列命题中正确的是()A. A∩B = A∪BB. A∩B = A-BC. A∪B = A∩BD. A-B = A∩B3. 设A和B是两个集合,则下列命题中正确的是()A. A⊆B当且仅当A∩B = AB. A⊆B当且仅当A∩B = BC. A⊆B当且仅当A-B = ∅D. A⊆B当且仅当A∪B = B4. 下列命题中,不是逻辑等价命题的是()A. A→B与¬A∨BB. A∧B与A→BC. A∨B与B→AD. A→B与¬B∨A5. 设R是一个关系,下列命题中正确的是()A. R是等价关系当且仅当R是自反的、对称的和传递的B. R是等价关系当且仅当R是自反的、非对称的和传递的C. R是等价关系当且仅当R是非自反的、对称的和传递的D. R是等价关系当且仅当R是非自反的、非对称的和传递的6. 设P和Q是两个命题,则下列命题中正确的是()A. P∧Q的否定是P∨QB. P∧Q的否定是P∧QC. P∨Q的否定是P∧QD. P∨Q的否定是P∧Q7. 设R是一个偏序关系,下列命题中正确的是()A. R是自反的、反对称的和传递的B. R是自反的、对称的和传递的C. R是自反的、非对称的和传递的D. R是非自反的、对称的和传递的8. 设R是一个全序关系,下列命题中正确的是()A. R是自反的、反对称的和传递的B. R是自反的、对称的和传递的C. R是自反的、非对称的和传递的D. R是非自反的、对称的和传递的9. 设R是一个函数,下列命题中正确的是()A. R是单射当且仅当R是满射B. R是单射当且仅当R是自反的C. R是满射当且仅当R是自反的D. R是单射当且仅当R是反对称的10. 设R是一个关系,下列命题中正确的是()A. R是等价关系当且仅当R是自反的、对称的和传递的B. R是等价关系当且仅当R是自反的、非对称的和传递的C. R是等价关系当且仅当R是非自反的、对称的和传递的D. R是等价关系当且仅当R是非自反的、非对称的和传递的二、填空题(每题2分,共20分)1. 在集合A={1, 2, 3}中,A的子集个数是______。
离散数学考试题及答案

离散数学考试题及答案一、选择题1. 关于图论的基本概念,以下哪个说法是正确的?A. 无向图中的边无方向性,有向图中的边有方向性。
B. 有向图中的边无方向性,无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案:A2. “若顶点集合为V,边集合为E,那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述?A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案:D3. 以下哪个命题是正确的?A. 若集合A和B互相包含,则A和B相等。
B. 若集合A和B相交为空集,则A和B相等。
C. 若集合A和B相等,则A和B互相包含。
D. 若集合A和B相等,则A和B相交为空集。
答案:C二、填空题1. 有一个集合A = {1, 2, 3, 4},则集合A的幂集的元素个数为__________。
答案:162. 设A = {a, b, c},B = {c, d, e},则集合A和B的笛卡尔积为__________。
答案:{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题,q、r为假命题,则合取范式(p ∨ q ∨ r)的值为__________。
答案:真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案:交集:{3, 4}并集:{1, 2, 3, 4, 5, 6}差集:{1, 2}2. 计算下列命题的真值:(~p ∨ q) ∧ (p ∨ ~q),其中p为真命题,q为假命题。
答案:真四、证明题证明:对于任意集合A和B,如果A和B互相包含,则A和B相等。
证明过程:假设A和B互相包含,即A包含于B且B包含于A。
设x为集合A中的任意元素,则x也必然存在于集合B中,即x属于B。
同理,对于集合B中的任意元素y,y也属于集合A。
《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。
答:某,y,某,z5、判断下列语句是不是命题。
若是,给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。
(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。
(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
参考答案及评分细则
西南科技大学2009——2010学年第 2学期
《 离散数学(A) 》期末考试试卷(B 卷)
一.基础题(共60分)
1. (4分) 设集合A={∅,{∅},{{∅}}},求幂集P(A)。
解:B = {1,2},所以ρ(B )= {∅,{1},{2},{1,2}} --------2分
ρ(ρ(B ))= {∅,{∅},{{1}},{{2}}, {{1,2}} ,{∅,{1}},{∅,{2}},{∅,{1,2}},{{1},{2}},{{1},{1,2}},{{2},{1,2}},{∅,{1},{2}},{∅,{1},{1,2}},{{1},{2},{1,2}},{∅,{2},{1,2}},{∅,{1},{2},{1,2}}}。
--------2分 评分说明:根据步骤可酌情给分。
2. (8分) .
判定命题公式
的类型(写出判定过程)。
解:
评分说明:根据步骤可酌情给分。
3. (8分) 设 A 、B 和C 是全域E 的任意子集,证明:A ∪(B-A)=A ∪B 。
证明: :A ∪(B-A)
=A ∪B --------2分
--------2分
--------2分
--------2分
--------2分
=A ∪(B ∩A-1) --------2分
=(A ∪B)∩(A ∪A-1) --------2分
= (A ∪B)∩E --------2分
= A ∪B
得证
评分说明:根据步骤可酌情给分。
4. (10分)集合X={<1,2>, <3,4>, <5,6>,… },R={<<x1,y1>,<x2,y2>>|x1+y2 =
x2+y1}。
证明R 是X 上的等价关系。
证明:
1) 自反性:y x y x X y x +=+>∈<∀由于,,
自反R R y x y x >>∈<><<∴,,,--------3分
2) 对称性:X y x X y x >∈<∀>∈<∀2211,,,
时当R y x y x >>∈<><<2211,,, 21121221y x y x y x y x +=++=+也即即
有对称性故R R y x y x >>∈<><<1122,,, --------3分
3) 传递性:X y x X y x X y x >∈<∀>∈<∀>∈<∀332211,,,,
时且当R y x y x R y x y x >>∈<><<>>∈<><<33222211,,,,,,
⎩⎨⎧+=++=+)2()1(2
3321221y x y x y x y x 即 23123221)2()1(y x y x y x y x +++=++++
即1331y x y x +=+
有传递性故R R y x y x >>∈<><<3311,,, --------3分
由1)2)3)知:R 是X 上的等价关系。
--------1分
评分说明:根据步骤可酌情给分。
5.(10分)设A={1,2,3},A上的关系R的关系图如下图所示:
请写出关系R和关系矩阵M R,并求r(R),s(R),t(R)。
解:R={<1,2>,<2,3>,<3,2>,<3,3>} ……………………..2分
关系矩阵M R=
……………………..2分
r(R)={<1,2>,<2,3>,<3,2>,<3,3>,<2,2>,<1,1>}……………..2分
s(R)={<1,2>,<2,3>,<3,2>,<3,3>,<2,1>}……………..2分
t(R)=R {<1,3>,<2,2>} ……………..2分
评分说明:根据步骤可酌情给分。
6.(10分)设A={2,3,6,12,24,36},画出偏序集<A,R整除>的哈斯图,并
求B1={2,3,6},B2={6,12},B3={24,36}的上界、下界、上确界、下确界。
解:哈斯图如下图所示
评分说明:基本了解哈斯图的画法可酌情给分,特殊元素判断,每个0.5。
7. (10分)设有向图 D =<V ,E>,如下图所示。
求D 中v2到 v4长度分别为 1,
2,3 的通路的条数。
8.
解:
∴从V2到V4没有长度为1或3的通路,长度为2的通路有1条V 2→V3→V4.
………..2分
………..2分
………..2分
评分说明:根据步骤可酌情给分。
一、综合题 (40分)
1. (15分)符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,
所以医生都不是骗子”。
并推证其结论。
解:
F(x):x 是病人,G(x):x 是医生,H(x):x 是骗子,L(x,y):x 相信y 符号化:
前提:))),()(()((y x L y G y x F x →∀∧∃))),()(()((y x L y H y x F x ⌝→∀→∀
……………………………2分
结论:))()((x H x G x ⌝→∀ ……………………………1分
⑴))),()(()((y x L y G y x F x →∀∧∃ P
⑵)),()(()(y a L y G y a F →∀∧
ES ⑴……………1分 ⑶)(a F
T ⑵I ……………1分 ⑷)),()((y a L y G y →∀ T ⑵I ……………1分
⑸))),()(()((y x L y H y x F x ⌝→∀→∀ P ……………1分
⑹)),()(()(y a L y H y a F ⌝→∀→ US ⑸……………1分
⑺)),()((y a L y H y ⌝→∀
T ⑶⑹I ……………1分 ⑻))(),((y H y a L y ⌝→∀
T ⑺E ……………1分 ⑼),()(z a L z G →
US ⑷……………1分 ⑽)(),(z H z a L ⌝→
US ⑻……………1分 ⑾)()(z H z G →
T ⑼⑽I ……………1分 ⑿))()((x H x G x ⌝→∀ UG ⑾……………1分
评分说明:根据步骤可酌情给分。
2. (10分) 某班有25个学生,其中14人会打篮球,12人会打排球,6人会打
篮球和排球,5人会打篮球和网球,还有2人会打这三种球,而6个会打网球的人都会打另外一种球(指篮球或排球),求不会打这三种球的人数是多少?
解:设会打排球、网球、篮球的学生集合分别为A ,B 和C ,则有
|S|=25; |A|=12; |B|=6; |C|=14;……………1分
|A ∩C|=6; |B ∩C|=5; |A ∩B ∩C|=2;……………2分
现在求|A ∩B| 。
因为会打网球的人都会打另一种,即篮球或排球,而其中会打篮球的有5人,那么另一个人肯定会打排球但不会打篮球。
再加上会打三种球的2人,共有3人会打排球和网球。
即|A ∩ B|=3。
……………3分 于是,根据容斥原理有:
评分说明:根据步骤可酌情给分。
3. (15分)用Dijkstra 算法求给定有向带权图G 中b 到g 的最短通路及其长
度。
解:用Dijkstra 标号法,将计算结果列在下表中。
表中第x 列第r 行标定的y/Z 表示b 到x 的最短路径的权在第r 步为y ,且在b 到x 的最短路径上,Z 邻接到x ,即x 的前驱元为Z 。
由表可知, b 到g 的最短路径为bceg ,长度为7。
……………4分
评分说明:知道Dijkstra算法的基本方法给4分。
求最短路径步骤及结果正确给7分,求长度步骤及结果正确给4分。
根据步骤可酌情给分。
评分说明:根据步骤可酌情给分。