吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案

合集下载

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题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. 请解释什么是二元关系,并给出一个二元关系的例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

离散数学期末考试题附答案和含解析1

离散数学期末考试题附答案和含解析1

..一、填空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 )个。

大学试卷《离散数学》及答案.docx

大学试卷《离散数学》及答案.docx

离散数学一、填空题(本大题共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中关于运算☆的幺元。

吉大网院 离散数学 大作业及答案 201903

吉大网院  离散数学   大作业及答案  201903

一、简要回答下列问题(每小题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是负数”的否定是()。

离散数学期末测试卷I及答案

离散数学期末测试卷I及答案
答案:R(x,y) 21.图论的创始人是谁?
答案:瑞士数学家 L.Euler(欧拉) 22.两个图同构是指其中一个图近经过哪些变换可以变为另一个图?
答案:1.挪动点的位置; 2.伸缩边的长短。
23. 什么是孤立点和悬挂点? 答案:孤立点:在任意图 G(V,E)中,度数为 0 的结点。
悬挂点:在任意图 G(V,E)中,度数为 1 的结点。 24.域和环相比增加了哪些要求? 答案:域:设(F,+,•)是环,若(F-{0},•)是阿贝尔群,则称(F,+,•)是域。 25.阿贝尔群具有哪些特点?比普通群增加了什么? 答案:阿贝尔群:设(G,•)是群,若其运算•是可交换的,则称(G,•)为阿贝尔群。 二、填空题 1.鸽笼原理是指什么? 答:n+1 只或更多的鸽子飞进 n 个笼子时,一定有一个笼子里面至少有 2 只鸽子。 2.哪位挪威数学家和法国数学家先后为群的研究做出了杰出的贡献? 答案:挪威数学家 Niels Henrik Abel (尼尔斯· 亨利克·阿贝尔)和法国数学家 Évariste Galois(埃瓦里斯特•伽罗瓦) 为群的研究做出了杰出的贡献。 3.单独一个节点 v 构成的序列 v 到 v 的长度为多少的路?叫做什么? 答案:单独一个节点 v 构成的序列 v 到 v 的长度为 0 的路叫做平凡路 4.命题公式(p→q)→r 的析取范式与合取范式各为什么?
7.设 A, 是一个偏序集,如果 A 中任意两个元素都有上确界和下确界,则称 A, 是一个格。 答:正确。也称(A, )为偏序格。
8.命题公式 P Q 的逆反式是 Q P 。
答:正确。左边= P Q P Q Q P Q P =右边
9.图
是弱连通图。
答:正确。该图为强连通图且属于弱连通图。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

吉林大学网络教育学院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、什么是析取范式?请给出一例。

答:在离散数学中,仅由有限个文字构成的合取式称为简单合取式,而由有限个简单合取式构成的析取式称为析取范式。

范式存在定理说明了它的存在性:任一命题公式都存在着与之等值的析取范式与合取范式。

但它并不是惟一的。

主析取范式是惟一的。

相关文档
最新文档