吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案
- 格式:doc
- 大小:45.00 KB
- 文档页数:4
离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。
B. 如果今天是周一,则明天不是周二。
答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。
答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。
这种性质称为函数的______。
答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。
如果一个图的直径为1,则该图被称为______。
答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。
布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。
答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。
答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。
例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。
2. 请解释什么是二元关系,并给出一个二元关系的例子。
答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。
例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。
..一、填空2.A ,B ,C 表示三个会合,文图中暗影部分的会合表达式为 (B⊕C)-AA C4.公式(PR)(SR)P的主合取范式为(PSR) ( PS R)。
5.若解说I 的论域D 仅包括一个元素,则 xP(x) xP(x) 在I 下真值为 1 。
6.设A={1,2,3,4},A 上关系图以下,则 R^2={(1,1),(1,3),(2,2),(2,4)}。
//备注: 0 1 0 01 0 1 0 0 1 0 1R 1 0 1 0 R 20 0 0 1 0 0 0 00 0 0 00 0 0 07.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图以下,则R={(a,b),(a,c),(a,d),(b,d),(c,d)}U{(a,a),(b,b)(c,c)(d,d)}。
备注:偏序知足自反性,反对称性,传达性8.图 的补图为 。
//补图:给定一个图G,又G 中全部结点和全部能使 G 成为完整图的增添边构成的图,成为补图. 自补图:一个图假如同构于它的补图,则是自补图 9.设A={a ,b ,c ,d},A 上二元运算以下:* a b c da abcd b b c d a ccdabd d a b c那么代数系统<A ,*>的幺元是 a ,有逆元的元素为a,b,c,d,它们的逆元分别为a,b,c,d 。
//备注:二元运算为 x*y=max{x,y},x,y A 。
10.以下图所示的偏序集中,是格的为 c。
//(注:什么是格?即随意两个元素有最小上界 和最大 下界的偏序)二、选择题 1、以下是真命题的有( C 、D )A .{a} {{a}};B .{{}} { ,{}};C .{{}, }; D .{} {{ }}。
2、以下会合中相等的有( B 、C )A .{4,3} ;B .{ ,3,4};C .{4, ,3,3};D .{3,4}。
;....3、设A={1,2,3},则A 上的二元关系有( C )个。
离散数学一、填空题(本大题共48分,共16小题,每小题3分)1.--公式为之充分必要条件是其合取范式之每一合取项中均必同时包含一命题变元及其否定2.无向图G具有是生成树,当且仅当的,若G为(n,m)连通图,要确定G的一棵生成树必删掉G的条边。
3.一个无向图的欧拉回路要求经过图中一次且仅一次,汉密顿图要求经过图中一次且仅一次。
4.设P:我生病,Q:我去学校(1)命题“我虽然生病但我仍去学校”符号化为o (2)命题“只有生病的时候,我才不去学校”符号化为o (3)命题"如果我生病,那么我不去学校”符号化为o5.设有33盏灯,拟公用一个电源,则至少需要5个插头的接线板数6.若HlAH2A-AHn是 ,则称Hl, H2, -Hn是相容的,若HlAH2A-AHn是 ,则称H1.H2, -Hn是不相容的7.设f,g,h 是N 到N上的函数(N 为自然数集合),f(n)=n+l;g(n)=2n;h(n)=0;贝lj(fdg)oh=8.K5的点连通度为 ,边连通度为o9.A={1, 2, 3, 4, 5, 6, 8, 10, 24, 36}, R 是A 上的整除关系。
子B={1, 2, 3, 4},那么B的上界是; B的下界是;:6的上确界是; B的下确界为10.命题公式P-*QAR的对偶式为11.设入={1, {2}, <t>},则A的幕集有元素个。
12.设A={0, 1,2, 3}, B={4,6, 7}, C={8, 9, 12, 14}, R1 是由A 到B 的关系,R2 是由B到C原关系,分别定义为Rl={<2, 6>, <3, 4>, <0, 7>} ;R2={<4, 8>, <4, 12>, <6, 12>,〈7, 14〉},则复合关系RloR2 为:13.设A= {<i)}, B={<t>, (<!>}},贝i]P(A) nP(B)= 。
一、简要回答下列问题:(每小题3分,共30分)1.请给出集合的结合率。
答:结合律(AUB)UC=AU(BUC)x∈(AUB)UC,即 x∈AUB 或 x∈C即 x∈A 或 x∈B 或 x∈C 即 x∈A 或 x∈B∪C即 x∈AU(BUC)说明 (AUB)UC包含于AU(BUC)同理可证AU(BUC)包含于(AUB)UC所以(AUB)UC=AU(BUC)2.请给出一个集合A,并给出A上既不具有自反性,又不具有反自反性的关系。
3.设A={1,2},问A上共有多少个不同的对称关系?答:不同的对称关系有:8种R = ΦR = {<1,1>}R = {<2,2>}R = {<1,1>,<2,2>}R = {<1,2>,<2,1>}R = {<1,1>,<1,2>,<2,1>}R = {<1,2>,<2,1>,<2,2>}R = {<1,1>,<1,2>,<2,1>,<2,2>}4.设A={1,2,3,4,5,6},R是A上的整除关系,M={2,3},求M的上界,下界。
5.关于P,Q,R请给出使极小项m0,m4为真的解释。
答:m0= ┐p∧┐q∧┐r m4= p∧┐q∧┐r6.什么是图中的简单路?请举一例。
答:图的通路中,所有边e1,e2,…,ek互不相同,称为简单通路。
7.什么是交换群,请举一例。
答:如果群〈G,*〉中的运算*是可以交换的,则称该群为可交换群,或称阿贝尔群。
如〈I,+〉是交换群。
8.什么是群中右模H合同关系?答:设G是群,H是G的子群,a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),记为a≡b(右mod H)。
9.什么是有壹环?请举一例。
答:幺元:如果A中的一个元素e,它既是左幺元又是右幺元,则称e为A中关于运算☆的幺元。
一、简要回答下列问题(每小题5分,共30分)1、请给出集合的吸收率。
2、设A={1,2},请给出A上的所有关系。
答:集合A上的全部关系有2^(2^2)=16种:空关系{},全关系{<1,1>,<1,2>,<2,1>,<2,2>}{<1,1>}{<2,2>}{<1,2>}{<2,1>}{<1,1>,<1,2>}{<1,1>,<2,1>}{<1,1> ,<2,2>}{<1,2>,<2,1>}{<1,2>,<2,2>}{<2,1>,<2,2>}{<1,1>,<1,2>,<2,1>}{<1,1>,<1,2>,<2,2>}{< 1,1>,<2,1>,<2,2>}{<1,2>,<2,1>,<2,2>}3、什么是子句?请给出一例。
答:子句集S称为是可满足的,如果存在一个个体域和一种解释,使S中的每一个子句均为真,或者使得S的每一个子句中至少有一个文字为真。
否则, 称子句集S是不可满足的4、什么是前束范式?答:前束范式亦称前束式,一种谓词演算公式。
指其一切量词都未被否定地处于公式的最前端且其辖域都延伸至公式的末端的谓词演算公式。
设Q∈{∃,ᗄ},一个公式α是前束范式,当且仅当存在一个不含量词的公式β,使得α=(Q₁x₁)(Q₂x₂)…(Qₑxₑ)β.5、什么是谓词逻辑中的项?答:谓词逻辑中的项指变项和常项,变项又分为自由变项和约束变项。
6、什么是命题公式的演绎?答:用A'表示非A,则(A+B)'=A'B',(AB)'=A'+B'.二、设A是m元集合,B是n元集合。
离散数学考试题(后附详细答案)一、命题符号化(共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。
《离散数学》练习题和参考答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(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),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z5、判断下列语句是不是命题。
若是,给出命题的真值。
( )北京是中华人民共和国的首都。
(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)PQ→⌝(2)QP⌝→(3)QP⌝↔(4)QP→⌝8、设个体域为整数集,则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=09、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散期末考试题及答案离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 有限集合A和B的并集,其元素个数最多是A和B元素个数之和,这个性质称为:A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案:C3. 命题逻辑中,以下哪个命题是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案:B4. 在图论中,一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环?A. 1B. 2C. 3D. 4答案:B5. 以下哪个算法用于生成一个集合的所有子集?A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案:D6. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D7. 以下哪个是有限自动机的状态?A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案:D8. 以下哪个是图论中的一个基本定理?A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案:D9. 在命题逻辑中,以下哪个是德摩根定律的逆命题?A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案:B10. 在集合论中,以下哪个操作表示集合的差集?A. ∩B. ∪C. -D. ×答案:C二、填空题(每空3分,共30分)11. 集合{1, 2, 3}的幂集包含________个元素。
吉大离散数学试题及答案一、选择题1. 以下哪个选项不是离散数学中的基本概念?A. 集合B. 函数C. 微积分D. 关系答案:C2. 在集合论中,以下哪个操作不是基本的集合运算?A. 并集B. 交集C. 差集D. 微分答案:D3. 逻辑运算中的“与”操作,其结果为真当且仅当两个操作数都为真。
这个操作的符号是:A. ∧B. ∨C. ¬D. →答案:A二、填空题1. 一个集合的幂集包含该集合的所有_________。
答案:子集2. 如果函数f: A → B 是单射的,那么对于 A 中的任意两个不同的元素 a1 和 a2,f(a1) 和 f(a2) 在 B 中是_________的。
答案:不同的三、简答题1. 简述什么是图论中的“图”?答案:图是由顶点(或称为节点)和连接这些顶点的边组成的数学结构。
图可以是有向的或无向的,边可以是有权重的或无权重的。
2. 什么是逻辑中的“真值表”?答案:真值表是一种列出逻辑表达式中所有可能的真值组合及其结果的表格。
它用于展示逻辑表达式在不同输入值下的结果。
四、计算题1. 给定集合 A = {1, 2, 3} 和 B = {2, 3, 4},请找出 A 和 B 的交集。
答案:A ∩ B = {2, 3}2. 假设有一个函数 f(x) = x^2,计算 f(-3) 和 f(3) 的值。
答案:f(-3) = 9,f(3) = 9五、论述题1. 论述离散数学在计算机科学中的应用。
答案:离散数学是计算机科学的基础,它提供了处理计算机科学问题所需的数学工具和理论。
例如,集合论是数据库理论的基础;图论在网络和算法设计中有着广泛应用;逻辑和布尔代数是计算机硬件设计和编程语言的基础。
2. 讨论命题逻辑和谓词逻辑的区别。
答案:命题逻辑关注简单命题及其逻辑关系,而谓词逻辑则引入了量词和变量,允许表达更复杂的逻辑关系。
命题逻辑使用逻辑连接词(如与、或、非等)来构建表达式,而谓词逻辑则使用量词(如全称量词∀和存在量词∃)来描述涉及个体的命题。
吉林大学网络教育学院2019-2020学年第一学期期末考试《离散数学》大作业
学生姓名专业
层次年级学号
学习中心成绩
年月日
作业完成要求:大作业要求学生手写,提供手写文档的清晰扫描图片,并将图片添加到word 文档内,最终wod文档上传平台,不允许学生提交其他格式文件(如JPG,RAR等非word 文档格式),如有雷同、抄袭成绩按不及格处理。
一、简答题(每小题7分,共56分)
1、什么是命题公式的演绎?
答:首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5)。
2、什么是子句?请给出一例。
答:子句是一组包含一个主词和一个动词的关连字。
子句与片语有明显的不同,后者为一组不含主词与动词关系的关连字,如"in the morning" 或"running down the street" 或"having grown used to this harassment."
3、什么是短语?请给出一例。
答:短语是由句法、语义和语用三个层面上能够搭配的语言单位组合起来的没有句调的语言单位,又叫词组。
它是大于词而又不成句的语法单位。
简单的短语可以充当复杂短语的句法成分,短语加上句调可以成为句子。
由语法上能够搭配的词组合起来的没有句调的语言单位
例如:粮食//丰收(名//动)(什么//怎么样)
4、什么是命题逻辑中的文字?
答:检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。
针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类。
5、什么是析取范式?请给出一例。
答:在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。
范式存在定理说明了它的存在性:任一命题公式都存在着与之等值的析取范式与合取范式。
但它并不是惟一的。
主析取范式是惟一的。