02324离散数学201004
02324离散数学(课后习题解答(详细)

离散数学~习题1.11.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷21+3<5。
⑸老王是山东人或河北人。
⑹2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以 。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵p:天气冷;q:我穿羽绒服;⑶p:天在下雨;q:湿度很高;⑷p:刘英上山;q:李进上山;⑸p:王强学过法语;q:刘威学过法语;⑹p:你看电影;q:我看电影;⑺p:我看电视;q:我外出;r:我睡觉;⑻p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵p:3是素数;q:2是素数;原命题符号化为:p∨q⑶p:地球上有树木;q:人类能生存;原命题符号化为:⌝p→⌝q⑷p:8是偶数;q:8能被3整除;原命题符号化为:p↔q⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p↔q。
《离散数学教案》课件

《离散数学教案》课件第一章:离散数学简介1.1 离散数学的定义与意义介绍离散数学的基本概念和特点解释离散数学在计算机科学和数学领域的应用1.2 离散数学的基本概念介绍集合、图、逻辑、关系等基本概念1.3 离散数学的重要性强调离散数学在计算机科学中的关键作用第二章:集合论2.1 集合的基本概念介绍集合的定义、表示方法和性质2.2 集合的基本运算介绍并集、交集、补集等集合运算2.3 集合的属性与关系探讨集合的无限性、可数性和可序性等属性第三章:逻辑与布尔代数3.1 逻辑的基本概念介绍命题、逻辑联结词和逻辑运算符3.2 命题逻辑探讨命题逻辑的推理规则和真值表3.3 谓词逻辑介绍谓词逻辑的基本概念和推理规则第四章:图论4.1 图的基本概念介绍图的定义、表示方法和基本术语4.2 图的性质与分类探讨图的连通性、路径和圈等性质4.3 图的应用介绍图在网络、社会关系等领域中的应用第五章:组合数学5.1 组合数学的基本概念介绍排列、组合、计数原理等基本概念5.2 组合数学的运算与性质探讨组合数的计算方法和性质5.3 组合数学的应用介绍组合数学在图论、密码学等领域中的应用《离散数学教案》课件第六章:关系与函数6.1 关系的基本概念介绍关系的定义、表示方法和性质6.2 关系的性质与分类探讨关系的对称性、传递性和兼容性等性质6.3 函数的基本概念介绍函数的定义、表示方法和性质第七章:数理逻辑7.1 数理逻辑的基本概念介绍逻辑联结词、命题函数和真值表7.2 命题逻辑的推理规则探讨蕴含式、等价式和逻辑蕴含等推理规则7.3 谓词逻辑的推理规则介绍谓词逻辑的推理规则和模型理论第八章:集合论的高级主题8.1 集合论的公理化介绍ZFC公理系统和集合论的哲学问题8.2 无穷集合的概念探讨无穷集合的性质和无穷性的分类8.3 集合论的应用介绍集合论在数学和计算机科学中的应用第九章:图论的高级主题9.1 树的基本概念介绍树的定义、表示方法和性质9.2 网络与流探讨网络的最大流和最小费用流问题9.3 拓扑排序与最长路径介绍拓扑排序的定义和最长路径问题10.1 组合设计介绍组合设计的概念和类型10.2 代数结构的基本概念介绍群、环、域等代数结构的基本概念10.3 编码理论的基本概念介绍编码理论的基本概念和应用领域《离散数学教案》课件第十一章:组合设计11.1 组合设计的基本概念介绍组合设计、区块系统和平面设计的定义11.2 拉丁方和Steiner系统探讨拉丁方、拉丁平方和Steiner系统的性质和构造方法11.3 组合设计的应用介绍组合设计在编码理论、信息论等方面的应用第十二章:代数结构的基本概念12.1 群的基本概念介绍群的定义、表示方法和性质12.2 环和域的基本概念介绍环和域的定义、表示方法和性质12.3 代数结构的应用探讨代数结构在密码学、编码理论等方面的应用13.1 网络流与匹配介绍网络流、最大流和最小费用流问题的算法和理论13.2 染色问题探讨图的染色问题的算法和理论,包括顶点染色和边染色13.3 代数拓扑和图的同构介绍代数拓扑的基本概念和图的同构问题的算法和理论第十四章:离散数学在应用领域14.1 离散数学在计算机科学中的应用介绍离散数学在算法设计、数据结构、编译原理等方面的应用14.2 离散数学在信息科学中的应用探讨离散数学在信息加密、编码理论、信息传输等方面的应用14.3 离散数学在其他领域的应用介绍离散数学在经济学、生物学、工程学等方面的应用第十五章:离散数学的综合应用15.1 离散数学的综合问题探讨离散数学在实际问题中的应用,如图论在网络设计中的应用、组合设计在通信系统中的应用等15.2 离散数学的案例研究分析离散数学在具体案例中的应用,如Google的PageRank算法、社交网络分析等15.3 离散数学的未来趋势展望离散数学在科学研究和应用领域的未来发展趋势和挑战重点和难点解析本文档涵盖了一个全面的《离散数学教案》课件,共包含十五个章节。
2023年10月02324离散数学自考试题

2023年10月02324离散数学自考试题全文共四篇示例,供读者参考第一篇示例:2023年10月02324离散数学是一门非常重要的数学课程,它涉及数学中的离散结构及其应用。
离散数学在计算机科学、信息技术、通信工程等领域具有重要的应用价值,因此掌握离散数学的知识对于从事相关行业的人来说至关重要。
在2023年10月02324离散数学的考试中,考生将会面对一系列的试题,来考查他们对离散数学的理解和掌握程度。
以下是一份假设的2023年10月02324离散数学自考试题示例:第一部分:选择题(每题1分,共20题)1. 下列哪个不是离散数学的研究对象?A. 图论B. 集合论C. 实变函数D. 逻辑2. 设A={a,b,c},B={a,c,d},则A∩B=?A. {a,b,c}B. {a,c}C. {b}D. {a,c,d}3. 在集合论中,全集的补集被称为?A. 空集B. 补集C. 子集D. 交集4. 下列哪个是图的最短路径算法?A. Kruskal算法B. Prim算法C. Dijkstra算法D. 拓扑排序算法1. 若A={1,2,3,4},则A的幂集共有多少个子集?2. 设集合A={1,2,3},B={2,3,4},求A∪B的结果。
3. 设二元关系R={(1,1),(2,2),(3,3)},则R的自反性是?4. 设G={V,E}是一个无向图,若V={a,b,c,d},E={{a,b},{b,c},{c,d},{d,a}},求G的度数序列。
5. 设S={a,b,c},则S的所有排列有多少种?1. 设f(x)=3x+2,g(x)=x^2,求f(g(x))。
2. 求解逻辑表达式P∧¬Q∧R的真值表。
3. 设集合A中元素个数为n,B中元素个数为m,求A×B的元素个数。
1. 证明:对于任意集合A,A与A的补集的交集为∅。
2. 证明:若G为连通图,则G是无向图。
3. 证明:若一个图G中所有顶点的度数均为偶数,则G为欧拉图。
02324离散数学知识点

02324离散数学知识点
离散数学是研究离散对象和离散结构的数学分支,其知识点包括但不限于集合论、图论、逻辑学、组合数学等。
以下是其中一些重要的知识点:
1. 集合论:集合论是离散数学的基石,它研究集合、集合之间的关系和集合的性质。
2. 图论:图论是离散数学的重要组成部分,它研究图(由节点和边构成的结构)的性质和分类。
3. 逻辑学:逻辑学是离散数学的另一个重要组成部分,它研究推理的规则和形式。
在离散数学中,逻辑通常用于描述和证明一些结构或系统的性质。
4. 组合数学:组合数学是离散数学的一个分支,它研究计数、排列和组合问题。
5. 离散概率论:离散概率论是离散数学的另一个分支,它研究离散随机事件的数学模型。
6. 离散概率分布:离散概率分布是描述离散随机事件发生概率的数学模型。
7. 离散随机变量:离散随机变量是能够取到可数无穷多个值的随机变量。
8. 离散概率空间:离散概率空间是一个集合,它包含一个可数无穷多的元素,每个元素都有一个与之相关的概率值。
9. 离散随机过程:离散随机过程是离散随机事件在时间或空间上的序列。
这些知识点都是离散数学的重要组成部分,它们在计算机科学、数学、物理学等领域都有广泛的应用。
02324离散数学2020年08月自考真题及答案

绝密★启用前2020年8月高等教育自学考试全国统一命题考试离散数学试题答案及评分参考(课程代码 02324)一、单项选择题:本大题共15小题,每小题1分,共15分。
1. D2. B3. D4. A5. B6. C7. B8. D9. A 10. C11.B 12.A 13.D 14.C 15.D二、填空题:本大题共10小题,每小题2分,共20分。
16. 317.{1,5,9}18.T19.1120.{〈1,2〉}21.∀x∀y∃z�F(x)∨¬G(y)∨H(z)�22.1123.∅24.825.{〈3,1〉,〈9,2〉,〈6,3〉}三、简答题:本大题共7小题,第26~30小题,每小题6分;第31~32小题,每小题7分,共44分。
26.解:命题公式(P∧Q)∨(¬Q→R)的真值表如下P Q R P∧Q¬Q→R(P∧Q)∨(¬Q→R)(1分)F F F F F FF F T F T T (1分)F T F F T TF T T F T T (1分)T F F F F FT F T F T T (1分)T T F T T TT T T T T T (1分) 由上表可知,命题公式为非重言式的可满足式。
(1分)离散数学试题答案及评分参考第1页(共4页)离散数学试题答案及评分参考第2页(共4页) 27. 解:(P ∨¬Q )∧(¬R →Q )⇔(P ∨¬Q )∧(R ∨Q ) (2分) ⇔(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(P ∨Q ∨R )∧(¬P ∨Q ∨R )(1分) 主合取范式为 (P ∨Q ∨R )∧(P ∨¬Q ∨R )∧(P ∨¬Q ∨¬R )∧(¬P ∨Q ∨R ), (1分)成假赋值为000,010,011和100。
(2分) 28. 解:集合A ={a ,b ,c ,d }的二元关系R ={〈a ,b 〉,〈b ,d 〉,〈c ,a 〉,〈c ,c 〉,〈d ,c 〉},(2分) R 的关系矩阵M R =�0100000110001010�,(2分) 对称闭包的关系矩阵M s (R )=M R ∨M R −1=�0110100110011110�。
2024年4月离散数学真题

2024年4月高等教育自学考试全国统一命题考试离散数学(课程代码 02324)注意事项:1.本试卷分为两部分,第一部分为选择题,第二部分为非选择题。
2.应考者必须按试题顺序在答题卡(纸)指定位置上作答,答在试卷上无效。
3.涂写部分、画图部分必须使用2B铅笔,书写部分必须使用黑色字迹签字笔。
第一部分选择题一、单项选择题:本大题共15小题,每小题2分,共30分。
在每小题列出的备选项中只有一项是最符合题目要求的,请将其选出。
1.含有3个命题变元的任一命题公式的指派个数是A.6个B.8个C.9个D.10个2.下列命题公式为矛盾式的是A.P→(P ⋁Q ⋁R)B.¬(Q→P) APC.(P→¬P)→¬PD.(P ⋀¬P)→Q3.含有2个命题变元的命题A是重言式的条件是A的主析取范式含有A.4个小项B.1个小项C.4个大项D.1个大项4.设论域元素为a、b,与∀xR(x) ∧(∋y)S(x) 等价的是A.(R(a) ⋀R(b)) ⋀(S(a) ⋀S(b))B.(R(a) ⋀R(b)) ⋀(S(a) ⋁S(b))C.(R(a) ⋁R(b)) ⋀(S(a) ⋀S(b))D.(R(a) ⋁R(b)) ⋀(S(a) ⋁S(b))5.谓词公式 ∀xF(x) ⋀G(x,y) 中变元x 为A.自由出现B.约束出现C.既不是自由出现也不是约束出现D.既是自由出现也是约束出现6.设论域是正整数,下列谓词公式中值为真的是A.)10(22=+∃∀y x y xB.)10(22=+∃∀y x x yC.)10(22=+∀∀y x y xD.)10(22=+∃∃y x y x7.设A ={a,∅},P(A)是A 的幂集,下列选项中正确的是A.{a}∈ P(A),{a}⊆P(A)B.{{A}}∈P(A),{{a}}⊆P(A)C.{a}∈P(A),{∅}∈P(A)D.{a}∈P(A),{∅}⊆P(A)8.一个8阶简单图的边数最大为A.20B.25C.28D.309.下面关于n 阶树的描述,错误..的是 A.连通图 B.连通且有n-1条边C.无回路且有n-1条边D.连通且无回路10.R={<0,1>,<1,2>,<2,3>},S={<2,1>,<1,2>,<3,3>},下列正确的是A.ran(R) ⊂ ran(R ∩S)B.ran(S) = ran(R ∪S)C.dom(R) = dom(S)D.dom(R) ∪ dom(S) = ran(R) ∪ ran(S)11.设A={1,2,3},则下列关系中是反自反关系的为A.R={<1,1>,<1,2>}B.R={<1,2>,<3,3>}C.R={<1,2>,<3,2>}D.R={<3,1>,<1,3>,<2,2>}12.设A={a,b,c} ,下列选项中既不是对称也不是反对称的是A.R={<a,a>,<a,b>,<b,a>,<c,b>,<b,c>}B.R={<a,a>,<b,b>}C.R={<a,c>,<a,b>}D.R={<a,c>,<b,b>}13. 设f: R →R,f(x) =⎩⎨⎧<-≥3232x x x ,,;g:R →R,g(x)=x+2,则g ∘f:R →R 是A.单射不满射B.满射不单射C.不单射不满射D.双射14.一个5阶简单图G,保证G 为连通图的最少边数为A.4B.5C.6D.715.下列各集合对于整除关系构成偏序集,不能..构成格的集合是 A.L 1={1,2,3,4} B.L 2={1,2,3,6}C. L 3={1,3,5,15}D.L 4={1,3,9,81}第二部分 非选择题二、填空题:本大题共10小题,每小题2分,共20分。
自考2324离散数学第四章课后答案

自考2324离散数学课后答案4.1习题参考答案--------------------------------------------------------------------------------1、在自然数集N中,下列哪种运算是可结合的( )。
a)、a*b=a-b b) a*b=max(a,b)c)、a*b=a+2b d) a*b=|a-b|根据结合律的定义在自然数集N中任取a,b,c 三数,察看(a。
b)。
c=a。
(b。
c) 是否成立?可以发现只有b、c 满足结合律。
晓津观点:b)满足结合律,分析如下:a) 若有a,b,c∈N,则(a*b)*c =(a-b)-ca*(b*c) =a-(b-c)在自然数集中,两式的值不恒等,因此本运算是不可结合的。
b)同上,(a*b)*c=max(max(a,b),c) 即得到a,b,c中最大的数。
a*(b*c)=max(a,max(b,c))仍是得到a,b,c中最大的数。
此运算是可结合的。
c)同上,(a*b)*c=(a+2b)+2c 而a*(b*c)=a+2(b+2c),很明显二者不恒等,因此本运算也不是可结合的。
d)运用同样的分析可知其不是可结合的。
--------------------------------------------------------------------------------2、设集合A={1,2,3,4,...,10},下面定义的哪种运算,关于集合A是不封闭的?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最小公倍数;d)是不封闭的。
--------------------------------------------------------------------------------3、设S是非空有限集,代数系统<(s),∪,∩>中,(s)上,对∪的幺元为___φ___,零元为___S____,(s)上对∩的幺元为___S_____零元___φ____。
自考离散数学02324课后答案:[5]1.6章节
![自考离散数学02324课后答案:[5]1.6章节](https://img.taocdn.com/s3/m/9a0ebb0c03d8ce2f00662390.png)
似若来生愿.想一起去看星星,那最亮一颗是我心大雨
(3)|W∨|QT(2) (4)Q→|WT(3) (5)W→|WT(1)(4) (6)|W∨|WT(5) (7)|WT(6) (8)|(W∧Q)→|WCP (9)W→(W∧Q)T(8) d)
证明 (1)R∨SP (2)|R→ST(1) (3)|RP (4)ST(2)(3) (5)S→|QP (6)|QT(4)(5) (7)|W←→QP
2dj0f4c9b
似若来生愿.想一起去看星星,那最亮一颗是我心大雨
前提 P→|Q,R→Q,|P→||S,R 结论||S 证明(1)P→|QP (2)Q→|PT(1) (3)R→QP (4)R→|PT(2)(3) (5)|P→||SP (6)R→||ST(4)(5)
(7)RP (8)||ST(6)(7)自考离散数学 02324 课后答 案(共 5 篇)上一篇:1.5 章节
丙说“是乙”,丁说“不是我”,四人的回答只有 一人符合实际,问成绩最好是哪些?只有一人成 绩最好的是谁。
解: 设 P 甲成绩最好 Q 乙成绩最好 R 丙成绩最好 S 丁成绩最好
似若来生愿.想一起去看星星,那最亮一颗是我心大雨
如果甲说的是正确的,则|P,|S,|Q,S|S 与 S 矛盾
如果乙若来生愿.想一起去看星星,那最亮一颗是我心大雨
结论:如果我在看书,则天在下雨。 解: 设 P 天晴; Q 下雨; R 我去看电影; S 我在看书; 已知|P→Q∧|Q→P,P→R,R→|S,S 结论 Q
证明(1)P→RP (2)R→|SP (3)P→|ST(1)(2) (4)SP (5)|PT(3)(4) (6)|P→Q∧|Q→PP (7)|P→QT(6) (8)QT(5)(7)
(3)|A∨BP (4)A→BT(3) (5)AP(附加前提) (6)BT(4)(5) (6)|CT(2)(6) (6)A→|CCP b)证明(1)(C∧D)→EP (2)|(C∧D)∨ET(1)
(全新整理)7月全国自考离散数学试卷及答案解析

全国2018年7月高等教育自学考试离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不.滑”可符号化为()A.P →Q B.P ∨QC.P∧Q D.P ∧Q2.下列命题公式为重言式的是()A.Q→(P∧Q)B.P→(P∧Q)C.(P∧Q)→P D.(P∨Q)→Q3.下列4个推理定律中,不.正确的是()A.A⇒(A∧B)B.(A∨B )∧A⇒BC.(A→B)∧A⇒B D.(A→B )∧B ⇒ A4.谓词公式∀x(P(x)∨∃yR(y))→Q(x)中量词x∀的辖域是()A.))Px∃x∨∀B.P(x)(yR)((yC.(P(x)∨∃yR(y)) D.P(x), Q(x)5.设个体域A={a,b},公式∀xP(x)∧∃xS(x)在A中消去量词后应为()A.P(x)∧S(x) B.P(a)∧P(b)∧(S(a)∨S(b))C.P(a)∧S(b) D.P(a)∧P(b)∧S(a)∨S(b)6.下列选项中错误..的是()A.Ø⊆Ø B.Ø∈ØC.Ø⊆{Ø} D.Ø∈{Ø}7.设A={a,b,c,d},A上的等价关系R={<a, b>, <b, a>, <c, d>, <d, c>}∪I A,则对应于R的A 的划分是()A.{{a},{b, c},{d}} B.{{a, b},{c}, {d}}C.{{a},{b},{c},{d}} D.{{a, b}, {c,d}}18.设R为实数集,函数f:R→R,f(x)=2x,则f是()A.满射函数B.入射函数C.双射函数D.非入射非满射9.设R为实数集,R+={x|x∈R∧x>0},*是数的乘法运算,<R+,*>是一个群,则下列集合关于数的乘法运算构成该群的子群的是()A.{R+中的有理数} B.{R+中的无理数}C.{R+中的自然数} D.{1,2,3}10.下列运算中关于整数集不.能构成半群的是()A.aοb=max{a, b} B.aοb=bC.aοb=2ab D.aοb=|a-b|11.设Z是整数集,+,ο分别是普通加法和乘法,则(Z,+,ο)是()A.域B.整环和域C.整环D.含零因子环12.设A={a, b, c},R是A上的二元关系,R={<a, a>, <a, b>, <a, c>, <c, a>},那么R是()A.反自反的B.反对称的C.可传递的D.不可传递的13.设D=<V, E>为有向图,V={a, b, c, d, e, f}, E={<a, b>, <b, c>, <a, d>, <d, e>, <f, e>}是()A.强连通图B.单向连通图C.弱连通图D.不连通图14.在有n个结点的连通图中,其边数()A.最多有n-1条B.至少有n-1条C.最多有n条D.至少有n条15.连通图G是一棵树,当且仅当G中()A.有些边不是割边B.每条边都是割边C.无割边集D.每条边都不是割边二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。
(完整版)自考离散数学02324真题含答案(2009.4-2016.4年整理版),推荐文档.docx

全国 2009 年 4 月自学考试离散数学试题(附答案)课程代码: 02324一、(本大共15 小,每小 1 分,共 15 分)在每小列出的四个中只有一个是符合目要求的,将其代填写在后的括号内。
、多或未均无分。
1.下列两个命元P, Q 的小是()A . P∧Q ∧ P B. P∨ QC. P∧Q D. P∨P∨ Q2.下列句中是真命的是()A .我正在B.禁吸烟C.如果 1+2=3 ,那么雪是黑的D.如果 1+2=5 ,那么雪是黑的3. P:我划船, Q :我跑步。
命“我不能既划船又跑步” 符号化()A . P∧ Q B. P∨ QC.( P Q)D.( P∨ Q)4.命公式( P∧( P→ Q))→ Q 是()A .矛盾式B.含式C.重言式D.等价式5.命公式(P∧ Q)→ R 的成真指派是()A . 000,001, 110,B. 001, 011, 101,110, 111C.全体指派D.无6.在公式(x )F ( x,y)→(y) G( x,y)中元 x 是()A .自由元B.束元C.既是自由元,又是束元D.既不是自由元,又不是束元7.集合 A={1 , 2,⋯,10}上的关系 R={< x,y>|x+y=10, x∈ A , y∈A} , R 的性是()A .自反的B.称的C.的、称的D.反自反的、的8.若 R 和 S 是集合 A 上的两个关系,下述正确的是()A .若 R 和 S 是自反的,R∩ S 是自反的B.若 R 和 S 是称的,R S 是称的C.若 R 和 S 是反称的,R S 是反称的D.若 R 和 S 是的,R∪ S 是的9. R={<1 , 4>,<2 , 3>,<3, 1> , <4, 3>} ,下列不是t( R)中元素的是()A . <1, 1>B. <1, 2>C. <1, 3>D. <1, 4>10.设 A={{1 ,2, 3} , {4 , 5} , {6 ,7, 8}} ,下列选项正确的是()A . 1∈ A B. {1 , 2, 3} AC. {{4 , 5}} A D.∈ A11.在自然数集 N 上,下列运算是可结合的是()A . a b=a-2b B. a b=min{ a,b}C. a b=-a-b D. a b=|a-b|12.在代数系统中,整环和域的关系是()A .整环一定是域B.域不一定是整环C.域一定是整环D.域一定不是整环13.下列所示的哈斯图所对应的偏序集中能构成格的是()A .B.C.D.14.设 G 为有 n 个结点的简单图,则有()A .(G) <n B. (G) ≤nC.(G) >n D. (G) ≥ n15.具有 4 个结点的非同构的无向树的数目是()A . 2B. 3C. 4D. 5二、填空题(本大题共10 小题,每小题 2 分,共 20 分)请在每小题的空格中填上正确答案。
离散数学课件-绪论

目录
• 离散数学的概述 • 离散数学的主要分支 • 离散数学的基本概念 • 离散数学的研究方法 • 离散数学的学习意义和价值
01
离散数学的概述
离散数学的定义
• 离散数学:离散数学是研究数学结构中非连续、分离对象的数 学分支。它主要关注集合论、图论、逻辑、组合数学等领域, 用于描述和研究离散对象之间的关系和性质。
在离散数学中,形式化方法常用于描述集合、关系、图等数学对象,如集合论中的集合定义和关系定 义。
归纳法
归纳法是从个别到一般的推理方法, 通过对一些具体实例的分析,归纳出 一般规律或性质。
VS
在离散数学中,归纳法常用于证明一 些关于自然数的性质和定理,如归纳 法在证明阶乘性质中的应用。
反证法
反证法是一种间接证明方法,通过假设与要 证明的命题相矛盾的命题成立,推出矛盾, 从而证明原命题成立。
逻辑学
01
逻辑学是研究推理和论证的规则 和结构的数学分支。逻辑学为离 散数学的各个分支提供了推理和 证明的工具和方法。
02
逻辑学中的基本概念包括命题、 量词、推理规则、证明等,这些 概念为离散数学的各个分支提供 了推理和证明的工具和方法。
组合数学
组合数学是研究计数、排列和组合问题的数学分支。组合数学在计算机科学、统 计学和运筹学等领域有广泛应用。
离散数学的起源和发展
起源
离散数学的起源可以追溯到古代数学中的一些研究,如几何学和逻辑学。随着 时间的推移,离散数学的各个分支逐渐形成和发展,成为一门独立的学科。
发展
离散数学的发展与计算机科学的发展密切相关。随着计算机科学的兴起,离散 数学在理论和实践方面都得到了广泛的应用和发展。
离散数学的应用领域
《离散数学》完整课件

第三节 复合关系与逆关系
本节讨论关系的复合运算与逆运算极其 性质;主要考虑了下列问题:
1.关系的复合是否满足交换律、结合律、 关系的复合对于集合的并(交)是否有分 配律;
2.关系的复合运算与逆运算在关系图和 关系矩阵上的反应;
3.关系的复合运算与关系的逆运算之间 的运算规律.
返回本章首页
11 2021/6/7
|A|<|B|三条中有且仅有一条成立;
2.Bernstein定理:设A,B是两个集合,若|A|≥|B| 且|A| ≤ |B|,则集合A,B等势;
3.设A是任意集合,P(A)为A的幂集,则P(A)的基 数大于A的基数.
返回本章首页
23 2021/6/7
本章小结
本章的主要内容有:集合的等势、有限 集与无限集、可数集与不可数集、较为 常见的集合的基数等.集合的基数反映了 集合的元素的多少,它是集合的一种性 质,一种与该集合等势的集合构成的集 合族的共同性质.
返回本章首页
17 2021/6/7
第九节 复合映射与逆映射
映射的复合就是关系的复合,须注意的是 复合的次序,主要内容有:
1.映射的复合具有结合律,但不符合交换律; 2.区分了左逆与右逆;给出里左逆、右逆
与单射、满射之间的关系; 3.可逆与左、右逆之间的关系.
返回本章首页
18 2021/6/7
本章小结
1.本节首先给出了公式的蕴涵关系的三个等价定 义,及蕴涵关系具有的性质,给出了15个基本蕴 涵式;
2.把蕴涵概念推广,得到公式的逻辑结果的定义;
3.为了研究推理,还引进演绎的概念;
4.用实例说明推理方法.
返回本章首页
30 2021/6/7
第六节 形式演绎
离散数学2023年10月真题

2023年10月高等教育自学考试全国统一命题考试离散数学试题(课程代码02324)注意事项:1.本试卷分为两部分,第一部分为选择题,第二部分为非选择题。
2.应考者必须按试题顺序在答题卡(纸)指定位置上作答,答在试卷上无效。
3.涂写部分、画图部分必须使用2B铅笔,书写部分必须使用黑色字迹签字笔。
第一部分选择题一、单项选择题:本大题共15小题,每小题1分,共15分。
在每小题列出的备选项中只有一项是最符合题目要求的,请将其选出。
1.令p:今天我上班,q:今天我休息。
命题“今天我要么上班要么休息”的符号化形式为A.p V qB.q→pC.¬ p∧qD.(¬ q∧p)V(q∧¬ p)2.设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。
命题“有的火车比有的汽车快”的符号化形式为A.∀x(F(x)→∀y(G(y)→L(x,y)))B.∃x(F(x)∧∃y(G(y)∧L(x,y)))C.¬∃y(G(y)∧∀x(F(x)→L(y,x)))D.¬∀y(G(y)→∀x(F(x)→L(x,y)))3.下列关于小项和大项的性质表述正确的是A.任意两个不同小项的合取式必为真B.任意两个不同大项的析取式必为假C.任意两个不同小项的析取式必为假D.大项的否定是小项下图中是欧拉图的为4.B. C. D.A.5.设有非空集合A上的全域关系S,则关系S不是A.自反关系B.对称关系C.传递关系D.反对称关系6.简单无向图G有9条边,每个结点都是3度结点,则G的结点数为A.5B.6C.7D.87.下列谓词恒等式,不正确的是A.∀x(P(x)V Q(x))⇔∀xP(x)V∀xQ(x)B.∃x(P(x)V Q(x))⇔∃xP(x)V∃xQ(x)C.∀x(P→Q(x))⇔P→∀xQ(x)D.∃x(P→Q(x))⇔P→∃xQ(x)8.下列度数序列中,不能构成简单无向图的是A.{1,1,1,2,3}B.{1,2,2,3}C.{6,2,2,2,4}D.{3,3,3,3}9.设A={3z|z∈Z),运算为实数加法+和乘法*,则<A,+,*>构成的代数系统是A.环B.整环C.域D.格10.集合A上的自反关系R的关系矩阵为M,则M的元素必定A.对角线上全是0B.关于反对角线对称C.关于对角线对称D.对角线上全是111.已知A、B、C、D是任意集合,则下列各式成立的是A.(A∪B)×(C∪D)=(A×C)∪(B×D)B.(A∩B)×C=(A×C)∩(B×C)C.(A⊕B)×(C⊕D)=(A×C)⊕(B×D)D.(A-B)×(C-D)=(A×C)-(B×D)12.要从完全图K4中得到一棵生成树,需要删除的边数为A.1B.2C.3D.413.设有集合A上的关系R1和R2,下列命题为真的是A.若关系R1和R2是自反的,则R₁⁰ R2也是自反的B.若关系R1和R2是对称的,则R₁⁰ R2也是对称的C.若关系R1和R2是传递的,则R₁⁰ R2也是传递的D.若关系R1和R2是反自反的,则R₁⁰ R2也是反自反的14.下图中4个偏序集的图形,能构成格的是d e e g a afb c b d b fc db c c ea ea dA. B. C. D.15.设有穷集合A的元素个数为m,则A到A的不同单射函数的个数为A.m!B.m mC.m2D.2m第二部分非选择题二、填空题:本大题共10小题,每小题2分,共20分。
离散数学课件第一章

图的连通性
04
CHAPTER
逻辑基础
命题逻辑中的基本概念包括命题、真值和逻辑运算,通过这些基本概念可以表达和推理复杂的命题关系。
命题逻辑在计算机科学、人工智能、自动化等领域有广泛应用,是形式化方法的重要基础。
命题逻辑是研究命题之间关系的逻辑分支,主要涉及命题的否定、合取、析取、蕴含等基本运算。
命题逻辑
详细描述
集合的运算包括并集、交集、差集等。并集是指两个或多个集合合并为一个新的集合,包含所有元素;交集是指两个或多个集合中共有的元素组成的集合;差集是指从一个集合中去掉另一个集合中的元素后剩余的元素组成的集合。这些运算在离散数学中有着广泛的应用。
总结词
集合的运算
集合的基数是指集合中元素的个数,通常用大写字母表示。
鸽巢原理
THANKS
感谢您的观看。
集合论
图论是研究图(由节点和边构成的结构)的数学分支,它广泛应用于计算机科学和工程学科。
图论
逻辑是离散数学的另一个重要分支,它研究推理的形式和规则,是计算机科学和人工智能的基础。
逻辑
组合数学是研究计数、排列和组合问题的数学分支,它在计算机科学和统计学中有重要的应用。
组合数学
离散数学的研究内容
02
CHAPTER
离散数学课件第一章
目录
绪论 集合论基础 图论基础 逻辑基础 组合数学基础
01
CHAPTER
绪论
离散数学是研究离散对象(如集合、图、树等)的数学分支,它不涉及连续的量或函数。
离散数学的定义
离散数学的起源
离散数学的特点
离散数学的起源可以追溯到古代数学,如欧几里得几何和数论。
离散数学强调结构、关系和组合,而不是连续性和微积分。
(全新整理)4月全国自考离散数学试题及答案解析试卷及答案解析真题

全国2018年4月高等教育自学考试离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.下列命题公式为重言式的是()A.p→(p∨q) B.(p∨┐p)→qC.q∧┐q D.p→┐q2.下列语句中不是..命题的只有()A.这个语句是假的。
B.1+1=1.0C.飞碟来自地球外的星球。
D.凡石头都可练成金。
3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是()A.┐p∧q B.┐p→qC.┐p→┐q D.p→┐q4.下列等价式正确的是()A.┐)x∃A⇔∃┐A()(xB.A(∀∃)(∀)∀⇔x)Axyy)((C.┐)⇔∀┐Ax∃A)(x(D.)BxxxxAAx⇔∧∀∨x∀∀()(()())))((x()(B5.在公式)QyPzyxP∧∀→x∃y∃中变元y是())(()))y,(((z)((),A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元6.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是()A.自反关系B.反自反关系C.对称关系D.传递关系7.设集合X为人的全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b的父亲},1S={<a,b>|a,b∈X∧a是b的母亲},那么关系{<a,b>|a,b∈x∧a是b的祖母}的表达式为()A.RοS B.R-1οSC.SοR D.RοS-18.设A是正整数集,R={(x,y)|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6})=()A.O/B.{<3,3>}C.{<3,3>,<6,2>}D.{<3,3>,<6,2>,<9,1>}9.下列式子不正确的是()A.(A-B)-C=(A-C)-B B.(A-B)-C=A-(B∪C)C.(A-B)-C=(A-C)-(B-C) D.A-(B∪C)=(A-B)∪C10.下列命题正确的是()A.{l,2}⊆{{1,2},{l,2,3},1}B.{1,2}⊆{1,{l,2},{l,2,3},2}C.{1,2}⊆{{1},{2},{1,2}}D.{1,2}∈{1,2,{2},{l,2,3}}11.在下列代数系统中,不是环的只有()A.<Z,+,*),其中Z为整数集,+,*分别为整数加法和乘法。
离散数学自学考试真题附答案打印版

离散数学试题课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G ,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G 是连通简单平面图,G 中有11个顶点5个面,则G 中的边是( )3.在布尔代数L 中,表达式(a ∧b)∨(a∧b ∧c)∨(b ∧c)的等价式是( )∧(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)是( ) ∪I A ∪{〈c,a 〉} ∩I A 9.设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)→B B.(∀x)A(x)→B (x)→B D.(∀x)A(x)→(∀x)B 13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P :他聪明;Q :他用功;则“他虽聪明,但不用功”,可符号化为( )∨Q ∧┐Q →┐Q ∨┐Q15.以下命题公式中,为永假式的是( )→(p ∨q ∨r)B.(p →┐p)→┐pC.┐(q →q)∧pD.┐(q ∨┐p)→(p ∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
02324离散数学

2016年10月高等教育自学考试全国统一命题考试离散数学试卷(课程代码 02324)本试卷共4页,满分l00分,考试时间l50分钟。
考生答题注意事项:1.本卷所有试题必须在答题卡上作答。
答在试卷上无效,试卷空白处和背面均可作草稿纸。
2.第一部分为选择题。
必须对应试卷上的题号使用2B铅笔将“答题卡”的相应代码涂黑。
3.第二部分为非选择题。
必须注明大、小题号,使用0.5毫米黑色字迹签字笔作答。
4.合理安排答题空间,超出答题区域无效。
第一部分选择题 (共l5分)一、单项选择题(本大题共l5小题,每小题l分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其选出并将“答题卡”的相应代码涂黑。
未涂、错涂或多涂均无分。
1.谓词公式的辖域是2.设无向树T有3个度数为4的结点,其余结点都为树叶,则T的结点数为A.10 B.11 C.12 D.133.设集合A有3个元素,则A中的划分有A.3个 B.5个 C.6个 D.9个4.下列关系不可能是相容关系的是A。
恒等关系 B.全域关系 C.等价关系 D.拟序关系5.设论域为整数集,下列命题中真值为假的是6.4个结点的非同构的无向树的数目是A.5 B.4 C.3 D.27.下列命题公式是永真式的为8.下列语句是原子命题的为A.x+y>xy B.请给我来点掌声吧C.小明既爱唱歌又爱跳舞 D.火星上有生物9.设2为整数集合,则下列集合关于数的加法运算不能构成独异点的是10.设,则既是s的元素又是s的子集的为11.设p:他怕困难;q:他获得成功。
命题“除非他不怕困难,否则他不会获得成功”可符号化为12.在整数集Z上,下列运算满足结合律的是A.a*b=ab一1 B.a*b=|a-b|C.a*b=2a+b D.a*b=a+b-113.下列图对应的格是有补格的为14.设G为连通的无向简单图。
若G恰有2个奇度结点,则G一定具有A.欧拉回路 B.欧拉通路C.哈密尔顿回路 D.哈密尔顿通路15.设F(x):x是火车;G(y):y是汽车;H(x,y):x比y快;则下列语句可以表示成公式的是A.每列火车都比所有汽车快 B. 每列火车都比某些汽车快C.某些火车比某些汽车快 D.某些火车比所有汽车快第二部分非选择题 (共85分)二、填空题(本大题共l0小题,每小题2分。
自考离散数学02324真题含答案(.4-.4年整理版)培训讲学

全国2009年4月自学考试离散数学试题(附答案)课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.下列为两个命题变元P,Q的小项是()A.P∧Q∧⎤ P B.⎤ P∨QC.⎤ P∧Q D.⎤ P∨P∨Q2.下列语句中是真命题的是()A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那么雪是黑的3.设P:我们划船,Q:我们跑步。
命题“我们不能既划船又跑步”符号化为()A.⎤ P∧⎤ Q B.⎤ P∨⎤ QC.⎤(P↔Q)D.⎤(⎤ P∨⎤ Q)4.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式5.命题公式⎤(P∧Q)→R的成真指派是()A.000,001,110,B.001,011,101,110,111C.全体指派D.无6.在公式(x∀)F(x,y)→(∃y)G(x,y)中变元x是()A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元7.集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x∈A,y∈A},则R的性质是()A.自反的B.对称的C.传递的、对称的D.反自反的、传递的8.若R和S是集合A上的两个关系,则下述结论正确的是()A.若R和S是自反的,则R∩S是自反的B.若R和S是对称的,则R S是对称的C.若R和S是反对称的,则R S是反对称的D.若R和S是传递的,则R∪S是传递的9.R={<1,4>,<2,3>,<3,1>,<4,3>},则下列不是..t(R)中元素的是()A.<1,1> B.<1,2>C.<1,3> D.<1,4>10.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是()A.1∈A B.{1,2,3}⊆AC.{{4,5}}⊂A D.∅∈A11.在自然数集N上,下列运算是可结合的是()A.a*b=a-2b B.a*b=min{a,b}C.a*b=-a-b D.a*b=|a-b|12.在代数系统中,整环和域的关系是()A.整环一定是域B.域不一定是整环C.域一定是整环D.域一定不是整环13.下列所示的哈斯图所对应的偏序集中能构成格的是()A.B.C.D.14.设G为有n个结点的简单图,则有()A.Δ(G)<n B.Δ(G)≤nC.Δ(G)>n D.Δ(G)≥n15.具有4个结点的非同构的无向树的数目是()A.2 B.3C.4 D.5二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。
自考离散数学02324课后答案:[1]1.2章节
![自考离散数学02324课后答案:[1]1.2章节](https://img.taocdn.com/s3/m/cdc51e1ccc7931b765ce15cc.png)
c)我既不看电视,也不去看电影,我准备做作
/show_21.html
业。 d)四边形 ABCD 是平行四边形,当且仅当它的 对边平行。
答案:
a)原子命题为:今天天气炎热;今天有雷阵雨 b)原子命题为:你去比赛;我去比赛; c)原子命题为:我看电视;我看电影;我做作
/show_21.html
k)火星上有生物。 答案: a)的真值为 T;
b)的真值为 T;
c)不是命题; d)的真值为 F; e)F;
f)不是命题;
/show_21.html
g)F; h)不是命题; i)T;
j)不是命题;
/show_21.html
c)设 P:天下大雨;Q:他在体育馆内锻炼则本
/show_21.html
例符号化为:P→Q d)设 P:天下大雨;Q:他在室内运动则本例符 号化为:|P→|Q
e)设 P:经一事;Q:长一智则本例符号化为: |P→|Q
4.将下列复合命题分成若干原子命 a)今天天气炎热,且有雷阵雨。 b)如果你不去比赛,那么我也不去比赛。
业;
/show_21.html
d)原子命题为:四边形 ABCD 是平行四边形; 四边形的对边平行; 另外要注意的是,一些悖论因为是无法辨别真 假的,所以不是命题,如
P:我在说谎。
看上去像是一个命题,但这是个愽论(如果 P 为 T,则我就不是在说谎了,如果 P 为 F 则我就是 在说谎了。所以无法辨别真假。) 自考需要坚持,为自己加油!自考离散数学 02324 课后答案(共 5 篇)下一篇:1.3 章节
k)F。 3.将下列命题符号化 a)小李不但聪明而且用功。
b)昨天晚自习时小赵做了二三十道数学题。
/show_21.html
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2010年4月高等教育自学考试全国统一命题考试
离散数学试题
课程代码:02324
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均不得分。
1.下列句子为命题的是( ) A.全体起立! B.x =0 C.我在说谎 D.张三生于1886年的春天 2.下列式子不是..谓词合式公式的是( ) A.),()()),(),()((z x R z z x Q y x P x ∃∨→∀ B. ),()(),(),())((y x P x z x Q y x P y x ∃∧∨∀∀ C. ))()()(())()()(x Q x P x x Q x P x ∨⌝∀⇔→∀ D. ),()()(z y Q x P x ∧∃
3.下列式子为矛盾式的是( ) A.P P ⌝∧ B.)(Q P P ∧∨
C.P P ⌝∨
D.)(Q P ∨⌝ Q P ⌝∧⌝
4.设给定赋值N 如下:个体域为自然数集;特定元素a =0;特定函数f (x ,y )=x+y,g (x ,y )=xy ;特定谓词F (x ,y )为x =y 。
在赋值N 下,下列公式为真的是( ) A. )),,(()(x a x g F x ∀
B. ))),,(()),,(()()((x a y f F y a x f F y x →∀∀
C. )),,(())()((z y x f F z y x ∀∀∀
D. )),(),,(())((y x g y x f F y x ∀∀
5.对于公式),()()),(),()((z x R z z x Q y x P x ∃∨→∀,下列说法正确的是( ) A.y 是自由变元 B.x 是约束变元
C. )(x ∀的辖域是),()()),(),((z x R z z x Q y x P ∃∨→
D. )(x ∀的辖域是P (x ,y )
6.设论域为{l ,2},与公式)()(x A x ∃等价的是( ) A.A (1)∨A (2) B. A (1)→A (2) C.A (1)
D. A (2)→A (1)
7.设Z +是正整数集合,f :Z +→Z +,f (n )=2n -2,则f ( ) A.仅是入射 B.仅是满射 C.是双射 D.不是函数 8.下列关系矩阵所对应的关系具有反自反性的是( ) A.⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡001110101 B. ⎥⎥⎥⎦
⎤
⎢⎢⎢⎣⎡101110001
C. ⎥⎥⎥⎦⎤
⎢⎢⎢⎣⎡001100100
D. ⎥⎥⎥⎦
⎤
⎢⎢⎢⎣⎡001010101
9.设R 1和R 2是集合A 上的相容关系,下列关于21R R ⊕的说法正确的是( ) A.一定是相容关系 B.一定不是相容关系
C.可能是也可能不是相容关系
D.一定是等价关系 10.设A 是奇数集合,下列构成独异点的是( ) A.<A ,+> B.<A ,-> C.<A ,×> D.<A ,÷> 11.设A 是整数集,下列说法正确的是( ) A.<A ,+>有零元 B.<A ,÷>有零元 C.<A ,+>有幺元 D.<A ,÷>有幺元 12.下列说法不正确...的是( ) A.在实数集上,乘法对加法是可分配的 B.在实数集上,加法对乘法是可分配的 C.在某集合的幂集上,∪对∩是可分配的 D.在某集合的幂集上,∩对∪是可分配的 13.右图的最大入度是( ) A.0 B.1 C.2 D.3
14.下列可一笔画成的图形是(
)
15.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是 ( ) A.13 B.14 C.16 D.17
二、填空题(本大题共10小题,每小题2分,共20分)
请在每小题的空格中填上正确答案。
错填、不填均不得分。
16.请写出表示分配律的两个命题公式等价定理________,________。
17.n 个命题变元的________称为大项,其中每个变元与它的否定不能同时出现,但两者必须________。
18.在谓词推理过程中,由)()(x P x ∀得到P (a ),其中a 为论域的某个个体,用的是________规则,记为________规则。
19.请用联结词⌝,∨表示联结词∧和联结词→:________,________。
20.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。
21.给出A ={l ,2}上的一个等价关系________,并给出其对应的划分________。
22.设A ={l ,2,3,4},A 上的二元关系R ={<1,2>,<2,3>,<3,2>},S ={<l ,3>,<2,3>,<4,3>},则R ∩S =________,(R —S )-1=________。
23.代数系统<A ,+,。
>是域,则________和________都是交换群。
24.若图中存在________,它经过图中所有的________,则称该图为汉密尔顿图。
25.n 点完全图记为K n ,那么当________时,K n 是平面图,当_____时,K n 是非平面图。
三、计算题(本大题共6小题,每小题5分,共30分) 26.列出)(P Q → ))((Q R P →∨的真值表。
27.用等值演算求→P (Q R )的主析取范式。
28.设A ={1,2,3,4},给定A 上的二元关系R ={<1,2>,<2,1>,<2,3>,<3,4>},求R 的传递闭包。
29.求右图所示格的所有5元和6元子格。
30.求<Z 7一{0},⊗>的所有生成元及所有2阶、3阶子群,其中⊗为模7乘法。
31.用矩阵的方法求右图中结点v 1,v 3之间长度为2的路径的数目。
四、证明题(本大题共3小题,第32小题8分,第33、34小题各6分,共20分) 32.用推理方法证明:
)(
,,,S P R R Q Q P ∧⌝⌝⌝∨⌝→ S ⌝。
33.设H 是G 的非空子集,则<H ,·>是群<G ,·>的子群当且仅当对任意a ,b ∈H 有a ·b -1∈H 。
34.证明整数集Z 上的大于等于关系“≥”是一个偏序关系。
五、综合应用题(本大题共2小题,第35小题6分,第36小题9分,共15分) 35.将下面命题符号化,并构造推理证明:
所有有理数是实数,有些有理数是整数,所以有些实数是整数。
36.某城市拟在六个区之间架设有线电话网,其网点间的距离如下列有权矩阵给出,请绘出有权图,给出架设线路的最优方案,并计算线路的总长度。
⎥
⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎣
⎡00
6105000
708967
03
2100304058040
1092010。