自考离散数学试题及答案

合集下载

《离散数学》试题及答案

《离散数学》试题及答案

《离散数学》试题及答案一、选择题(每题5分,共25分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},则A∩B的结果是()A. {1,2,3,4,5}B. {2,4}C. {1,3,5}D. {1,2,3,4,5,6,8,10}答案:B2. 下列关系中,哪个是等价关系?()A. ≤B. ≠C. |D. ≠答案:A3. 设图G有5个顶点,每两个顶点之间都有一条边相连,则图G的边数是()A. 5B. 10C. 15D. 20答案:C4. 下列哪一个图是欧拉图?()A. 无向图B. 有向图C. 树D. 环答案:D5. 下列哪一个命题是正确的?()A. 若p→q为真,则p为真B. 若p∧q为假,则p为假C. 若p∨q为真,则q为真D. 若p→q为假,则p为假答案:B二、填空题(每题5分,共25分)1. 设集合A={a,b,c,d},B={c,d,e},则A-B=________。

答案:{a,b}2. 设p是命题“今天是晴天”,q是命题“我去公园玩”,则命题“如果今天不是晴天,那么我不去公园玩”可以表示为________。

答案:¬p→¬q3. 设图G有n个顶点,e条边,则图G的度数之和为________。

答案:2e4. 一个连通图至少有________个顶点。

答案:25. 设图G的邻接矩阵为A,则A的转置矩阵表示________。

答案:图G的转置图三、判断题(每题5分,共25分)1. 离散数学是研究离散结构的数学分支。

()答案:正确2. 两个集合的笛卡尔积是这两个集合的直积。

()答案:正确3. 有向图中,顶点u和顶点v之间的长度为2的路径是指路径上有3条边。

()答案:错误4. 树是一种无向图。

()答案:正确5. 哈夫曼编码是一种贪心算法。

()答案:正确四、应用题(每题25分,共50分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},C={3,6,9,12,15},求A∪(B∩C)。

学历类《自考》自考专业(计算机应用)《离散数学》考试试题及答案解析

学历类《自考》自考专业(计算机应用)《离散数学》考试试题及答案解析

学历类《自考》自考专业(计算机应用)《离散数学》考试试题及答案解析姓名:_____________ 年级:____________ 学号:______________1、下面四组数能构成无向图的度数列的有( )。

A 、2,3,4,5,6,7 B 、1,2,2,3,4 C 、2,1,1,1,2 D 、3,3,5,6,0 正确答案:B 答案解析:暂无解析2、下列几个图是简单图的有( )。

A 、G1=(V1,E1),其中V1={a,b,c,d,e},E1={ab,be,eb,ae,de}B 、G2=(V2,E2)其中V2=V1,E2={,,,,,}C 、G=(V3,E3),其中V3=V1,E3={ab,be,ed,cc}D 、G=(V4,E4),其中V4=V1,E4={(a,a ),(a,b ),(b,c ),(e,c ),(e,d )}。

正确答案:B 答案解析:暂无解析3、下列图中是欧拉图的有( )。

A 、 B 、 C 、 D 、 正确答案:B 答案解析:暂无解析4、与命题公式P→(Q→R)等价的公式是( ) A 、 B 、 C 、 D 、 正确答案:B 答案解析:暂无解析5、命题公式(A∧(A→B))→B 是一个矛盾式。

1、正确2、错误正确答案:错误答案解析:暂无解析6、任何循环群必定是阿贝尔群,反之亦真。

1、正确2、错误正确答案:错误答案解析:暂无解析7、根树中最长路径的端点都是叶子。

1、正确2、错误正确答案:错误答案解析:暂无解析8、若集合A上的关系R是对称的,则R∧-1也是对称的。

1、正确2、错误正确答案:正确答案解析:暂无解析9、数集合上的不等关系(≠)可确定A的一个划分。

1、正确2、错误正确答案:错误答案解析:暂无解析10、设集合A、B、C为任意集合,若A×B=A×C,则B=C。

1、正确2、错误正确答案:正确答案解析:暂无解析11、函数的复合运算“。

”满足结合律。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、单项选择题(每题2分,共10分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(3,4)属于()。

A. {1,2,3}B. {3,4,5}C. {1,2,3,4,5}D. {1,2,3}×{3,4,5}答案:D2. 命题“若x>2,则x>1”的逆否命题是()。

A. 若x≤2,则x≤1B. 若x≤1,则x≤2C. 若x≤1,则x≤2D. 若x≤2,则x≤1答案:C3. 函数f: A→B的定义域是集合A,值域是集合B的()。

A. 子集B. 真子集C. 任意子集D. 非空子集答案:D4. 以下哪个图是无向图()。

A. 有向图B. 无向图C. 完全图D. 树答案:B5. 以下哪个命题是真命题()。

A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 以上都不是答案:B二、填空题(每题2分,共10分)6. 集合{1,2,3}的子集个数为______。

答案:87. 命题“若x>0,则x>1”的逆命题是:若x>1,则______。

答案:x>08. 函数f: A→B中,若A={1,2},B={3,4},则f的值域可以是{3}或{4}或{3,4},但不能是______。

答案:{1,2}9. 在有向图中,若存在从顶点A到顶点B的有向路径,则称A到B是______的。

答案:可达10. 命题逻辑中,合取(AND)的符号是______。

答案:∧三、解答题(每题15分,共30分)11. 证明:若p∧q为真,则p和q都为真。

证明:根据合取(AND)的定义,p∧q为真当且仅当p和q都为真。

因此,若p∧q为真,则p和q都为真。

12. 给定函数f: A→B,其中A={1,2,3},B={4,5,6},且f(1)=4,f(2)=5,f(3)=6。

请找出f的值域。

答案:根据函数的定义,f的值域是其所有输出值的集合。

因此,f的值域为{4,5,6}。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、单项选择题(每题2分,共10分)1. 在离散数学中,以下哪个概念不是命题逻辑的一部分?A. 命题B. 谓词C. 函数D. 真值表答案:C2. 集合{1, 2, 3}和{3, 2, 1}是否相等?A. 是B. 否答案:A3. 在图论中,一个连通图至少需要多少个顶点?A. 1B. 2C. 3D. 4答案:B4. 以下哪个选项不是关系的性质?A. 自反性B. 对称性C. 传递性D. 互异性答案:D5. 有限自动机和正则表达式之间的关系是什么?A. 它们是等价的B. 它们是完全不相关的C. 有限自动机比正则表达式更强大D. 正则表达式比有限自动机更强大答案:A二、填空题(每题3分,共15分)1. 如果一个命题的否定为真,则该命题为______。

答案:假2. 在集合论中,空集用符号______表示。

答案:∅3. 如果一个图的任意两个顶点都由一条边连接,则称该图为______图。

答案:完全4. 在关系数据库中,一个表的主键必须满足______和唯一性两个条件。

答案:非空5. 一个有n个状态的确定性有限自动机至少需要______个状态来表示其逆。

答案:2^n三、简答题(每题10分,共20分)1. 请简述归纳推理和演绎推理的区别。

答案:归纳推理是从特殊到一般的推理过程,它通过观察特定的实例来推断一般性的结论。

演绎推理则是从一般到特殊的推理过程,它从已知的前提出发,通过逻辑推理得出具体的结论。

2. 什么是二元关系?请给出一个例子。

答案:二元关系是定义在两个集合之间的一种关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系是实数集上的一个二元关系,它将每一对实数(x, y)联系起来,当且仅当x小于y。

四、计算题(每题15分,共30分)1. 给定一个函数f: {1, 2, 3} → {a, b},其中f(1) = a,f(2) = b,求f(3)的可能值。

答案:f(3)的可能值为a或b。

自考离散数学考试题库及答案

自考离散数学考试题库及答案

自考离散数学考试题库及答案一、选择题1. 在离散数学中,命题逻辑的主要研究对象是什么?A. 命题的真假B. 命题的类型C. 命题的表达D. 命题的证明答案:A2. 有限集合M的基数是指什么?A. M中元素的数量B. M的子集数量C. M的幂集D. M的幂集的基数答案:A3. 以下哪个不是图论中的基本概念?A. 顶点B. 边C. 集合D. 子图答案:C二、填空题4. 在命题逻辑中,德摩根定律表示了________和________之间的逻辑关系。

答案:¬(P ∧ Q);¬P ∨ ¬Q5. 一个集合的幂集是指该集合所有________的集合。

答案:子集6. 在图论中,无向图中的路径是顶点和边的________。

答案:交替序列三、解答题7. 证明:若命题P是真命题,则其否定¬P是假命题。

证明:根据命题逻辑的定义,一个命题要么是真要么是假。

如果P 是真命题,那么根据否定的定义,¬P表示P不是真的,这与P是真命题的事实相矛盾。

因此,¬P必须是假命题。

8. 给定集合A={1, 2, 3},求其幂集及其基数。

解答:集合A的幂集包括A的所有子集,即∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}。

共有2^3=8个子集,所以A的幂集的基数是8。

四、应用题9. 在一个无向图中,定义了两个顶点之间的距离为它们之间的最短路径上的边数。

如果图G中有两个顶点u和v,且它们之间的距离是3,证明存在一个顶点w,使得u和w之间的距离是1,v和w之间的距离是2。

证明:由于u和v之间的距离是3,根据距离的定义,存在一条最短路径连接u和v,这条路径至少包含3条边。

设这条路径为u=w1, w2, w3, w4=v,其中每对相邻的顶点之间存在一条边。

根据题设,我们可以取w2作为w,这样u和w之间的距离是1(因为它们之间有一条边w1w2),而v和w之间的距离是2(因为它们之间有两条边w2w3和w3w4)。

2024年4月离散数学真题

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分。

7月自考离散数学试题及答案

7月自考离散数学试题及答案

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列句子不是..命题的是( D ) A .中华人民共和国的首都是北京B .张三是学生C .雪是黑色的D .太好了!2.下列式子不是..谓词合式公式的是( B ) A .(∀x )P (x )→R (y )B .(∀x ) ┐P (x )⇒(∀x )(P (x )→Q (x ))C .(∀x )(∃y )(P (x )∧Q (y ))→(∃x )R (x )D .(∀x )(P (x ,y )→Q (x ,z ))∨(∃z )R (x ,z )3.下列式子为重言式的是( )A .(┐P ∧R )→QB .P ∨Q ∧R →┐RC .P ∨(P ∧Q )D .(┐P ∨Q )⇔(P →Q )4.在指定的解释下,下列公式为真的是( )A .(∀x )(P (x )∨Q (x )),P (x ):x =1,Q (x ):x =2,论域:{1,2}B .(∃x )(P (x )∧Q (x )),P (x ):x =1,Q (x ):x =2,论域: {1,2}C .(∃x )(P (x ) →Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4}D .(∀x )(P (x )→Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4}5.对于公式(∀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 )6.设论域为{1,2},与公式(∀x )A (x )等价的是( )A .A (1)∨A (2)B .A (1)→A (2)C .A (1)∧A (2)D .A (2)→A (1)7.设Z +是正整数集,R 是实数集,f :Z +→R , f (n )=log 2n ,则f ( )A .仅是入射B .仅是满射C .是双射D .不是函数8.下列关系矩阵所对应的关系具有反对称性的是( )A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101110001C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001010101 9.设R 1和R 2是集合A 上的相容关系,下列关于复合关系R 1︒R 2的说法正确的是( )A .一定是等价关系B .一定是相容关系C.一定不是相容关系D.可能是也可能不是相容关系10.下列运算不满足...交换律的是()A.a*b=a+2b B.a*b=min(a,b)C.a*b=|a-b| D.a*b=2ab11.设A是偶数集合,下列说法正确的是()A.<A,+>是群B.<A,×>是群C.<A,÷>是群D.<A,+>, <A,×>,<A,÷>都不是群12.设*是集合A上的二元运算,下列说法正确的是()A.在A中有关于运算*的左幺元一定有右幺元B.在A中有关于运算*的左右幺元一定有幺元C.在A中有关于运算*的左右幺元,它们不一定相同D.在A中有关于运算*的幺元不一定有左右幺元13.题13图的最大出度是()A.0 B.1C.2 D.314.下列图是欧拉图的是()15.一棵树的3个4度点,4个2度点,其它的都是1度,那么这棵树的边数是()A.13 B.14C.15 D.16二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,子集{1, 2}的补集是()。

A. {3, 4}B. {1, 3, 4}C. {2, 3, 4}D. {1, 2, 3, 4}答案:A2. 命题“若x > 0,则x² > 0”的逆否命题是()。

A. 若x² ≤ 0,则x ≤ 0B. 若x² > 0,则x > 0C. 若x ≤ 0,则x² ≤ 0D. 若x² ≤ 0,则x < 0答案:C3. 函数f(x) = x² + 2x + 1的值域是()。

A. {x | x ≥ 0}B. {x | x ≥ 1}C. {x | x ≥ 2}D. {x | x ≥ -1}答案:B4. 以下哪个图是无向图()。

A. 有向图B. 无向图C. 有向树D. 无向树答案:B5. 以下哪个图是二分图()。

A. 完全图B. 非完全图C. 任意两个顶点都相连的图D. 任意两个顶点都不相连的图答案:C6. 以下哪个是哈密顿回路()。

A. 经过每个顶点恰好一次的回路B. 经过每个顶点至少一次的回路C. 经过每个顶点恰好两次的回路D. 经过每个顶点至少两次的回路答案:A7. 以下哪个是欧拉回路()。

A. 经过每条边恰好一次的回路B. 经过每条边至少一次的回路C. 经过每条边恰好两次的回路D. 经过每条边至少两次的回路答案:A8. 以下哪个是二进制数()。

A. 1010B. 1020C. 1102D. 1120答案:A9. 以下哪个是格雷码()。

A. 0101B. 1010C. 1100D. 1110答案:B10. 以下哪个是素数()。

A. 4B. 6C. 7D. 8答案:C二、填空题(每题2分,共20分)11. 集合{1, 2, 3}与{2, 3, 4}的交集是______。

答案:{2, 3}12. 命题“若x > 0,则x² > 0”的逆命题是:若x² > 0,则______。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念不是布尔代数的基本运算?A. 与B. 或C. 非D. 模答案:D2. 集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A3. 命题逻辑中,下列哪个符号表示“蕴含”关系?A. ∧B. ∨C. →D. ↔答案:C4. 关系R在集合A上是自反的,意味着什么?A. 对于所有a∈A,(a, a)∈RB. 对于所有a∈A,(a, a)∉RC. 对于所有a∈A,(a, b)∈RD. 对于所有a∈A,(a, b)∉R答案:A二、填空题(每题5分,共20分)1. 一个集合的基数是集合中元素的________。

答案:数量2. 在有向图中,如果存在一条从顶点u到顶点v的路径,则称顶点v 是顶点u的________。

答案:可达的3. 一个图是连通的,当且仅当图中任意两个顶点都是________。

答案:连通的4. 在命题逻辑中,一个命题的否定是________。

答案:它的对立命题三、简答题(每题10分,共30分)1. 请解释什么是图的哈密顿回路。

答案:哈密顿回路是一个图中的闭合回路,它恰好访问图中的每个顶点一次。

2. 描述一下什么是二元关系,并给出一个例子。

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

例如,小于关系是数字集合上的一个二元关系。

3. 什么是图的生成树?答案:图的生成树是图的一个子图,它包含图中的所有顶点,并且是一棵树,即它是连通的且没有环。

四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4,5},计算它的幂集。

答案:幂集P(A)={∅, {1}, {2}, {3}, {4}, {5}, {1,2}, {1,3}, {1,4}, {1,5}, {2,3}, {2,4}, {2,5}, {3,4}, {3,5}, {4,5},{1,2,3}, {1,2,4}, {1,2,5}, {1,3,4}, {1,3,5}, {1,4,5}, {2,3,4}, {2,3,5}, {2,4,5}, {3,4,5}, {1,2,3,4}, {1,2,3,5}, {1,2,4,5}, {1,3,4,5}, {2,3,4,5}, {1,2,3,4,5}, A}。

离散数学自考试题及答案

离散数学自考试题及答案

离散数学自考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个命题是永真命题?A. (p ∧ ¬p) → qB. p ∨ (q ∧ ¬q)C. (p → q) ∧ (q → p)D. ¬(p → ¬p)答案:B3. 函数f: A → B中,如果A中的每个元素都映射到B中的不同元素,则称f为:A. 注入函数B. 满射C. 双射D. 单射答案:C4. 在图论中,下列哪项不是无向图的基本术语?A. 顶点B. 边C. 路径D. 子图答案:D5. 以下哪个算法用于判断一个图是否包含汉密尔顿回路?A. 深度优先搜索B. 广度优先搜索C. 弗洛伊德算法D.Dijkstra算法答案:A6. 命题逻辑中,德摩根定律描述了哪些命题的等价关系?A. ¬(p ∧ q) ≡ ¬p ∨ ¬qB. ¬(p ∨ q) ≡ ¬p ∧ ¬qC. ¬(p → q) ≡ p ∧ ¬qD. 所有以上答案:D7. 在关系数据库中,下列哪个操作用于删除表中的行?A. SELECTB. INSERTC. DELETED. UPDATE答案:C8. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入D. 所有以上答案:D9. 在布尔代数中,下列哪个操作不是基本操作?A. ANDB. ORC. NOTD. XOR答案:D10. 以下哪个是命题逻辑中的有效论证形式?A. 假言三段论B. 假言推理C. 析取三段论D. 所有以上答案:D二、填空题(每题2分,共20分)11. 在集合{1, 2, 3}的幂集中,含有2个元素的子集有_________。

答案:{{1, 2}, {1, 3}, {2, 3}}12. 如果命题P表示“今天是晴天”,命题Q表示“我去公园”,那么(P ∧ Q)表示_________。

离散数学考试题及答案

离散数学考试题及答案

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

自考离散数学考试题及答案

自考离散数学考试题及答案

自考离散数学考试题及答案一、选择题(每题2分,共10分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 有限自动机中的一个状态不包括以下哪个元素?A. 初始状态B. 终止状态C. 转移函数D. 输入符号答案:C3. 在命题逻辑中,德摩根定律描述了哪些命题的等价性?A. (¬P ∧ ¬Q) ↔¬(P ∨ Q)B. (P ∨ Q) ↔¬(¬P ∧ ¬Q)C. (P ∧ Q) ↔¬(P ∨ Q)D. (¬P ∨ ¬Q) ↔¬(P ∧ Q)答案:A4. 以下哪个算法是用于解决图的最短路径问题?A. 欧几里得算法B. 迪杰斯特拉算法C. 快速排序算法D. 弗洛伊德算法答案:B5. 布尔代数中,一个表达式可以有的最大项数是多少?A. nB. 2^nC. n^2D. 2n答案:B二、填空题(每题3分,共15分)6. 在关系数据库中,确保实体完整性的约束称为________。

答案:主键7. 一个有向图中,如果存在从顶点A到顶点B的路径,则称顶点A可以________顶点B。

答案:到达8. 在命题逻辑中,如果命题P和命题Q都为真,则命题P → Q的真值是________。

答案:真9. 一个命题函数的真值表中,如果某一行的P和Q都为假,那么这一行的结果是________。

答案:真10. 在图论中,一个完全图是指图中任意两个顶点都________。

答案:相连三、解答题(共75分)11. (15分)证明:在任何非空集合中,至少存在一个元素不包含于该集合的任何子集中。

答案:略12. (20分)给定一个有向图,描述如何使用拓扑排序算法来对图中的顶点进行排序。

答案:略13. (20分)解释什么是正规表达式,并给出一个例子来说明如何使用它来匹配字符串。

答案:略14. (20分)证明:在任何无向图中,边数最多的生成子图最多有3n/2条边,其中n是顶点的数量。

自考离散数学试题及答案

自考离散数学试题及答案

自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。

答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。

答案:真13. 在有向图中,一个顶点的入度是指_________。

答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。

答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(2,4)是否存在?A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的,当且仅当对于任意的a1, a2∈A,若f(a1)=f(a2),则a1=a2。

A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题?A. 所有的狗都会游泳。

B. 有些狗不会游泳。

C. 所有的狗都不会游泳。

D. 以上都不是真命题。

4. 如果p蕴含q为假,那么p和q的真值可以是?A. p为真,q为假B. p为假,q为真C. p为真,q为真D. p为假,q为假5. 以下哪个图是连通图?A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中,如果存在从顶点u到顶点v的路径,那么称v是u的后继顶点。

A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的?A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题?A. 所有的鸟都有羽毛。

B. 有些鸟不会飞。

C. 所有的哺乳动物都是温血动物。

D. 以上都不是假命题。

9. 在图论中,一个图的生成树是包含图中所有顶点的最小连通子图。

A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题,那么它们具有相同的真值。

A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题(每题2分,共20分)1. 集合{1,2,3}和{3,4,5}的并集是________。

2. 函数f: A→B是满射的,当且仅当对于任意的b∈B,存在a∈A,使得f(a)=________。

2023年自考离散数学试题及答案

2023年自考离散数学试题及答案

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目规定的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列句子不是..命题的是(D)A.中华人民共和国的首都是北京B.张三是学生C.雪是黑色的D.太好了!2.下列式子不是..谓词合式公式的是(B)A.(∀x)P(x)→R(y)B.(∀x) ┐P(x)⇒(∀x)(P(x)→Q(x))C.(∀x)(∃y)(P(x)∧Q(y))→(∃x)R(x)D.(∀x)(P(x,y)→Q(x,z))∨(∃z)R(x,z)3.下列式子为重言式的是()A.(┐P∧R)→Q B.P∨Q∧R→┐RC.P∨(P∧Q) D.(┐P∨Q)⇔(P→Q)4.在指定的解释下,下列公式为真的是()A.(∀x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}B.(∃x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}C.(∃x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}D.(∀x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}5.对于公式(∀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)6.设论域为{1,2},与公式(∀x)A(x)等价的是()A.A(1)∨A(2) B.A(1)→A(2)C.A(1)∧A(2) D.A(2)→A(1)7.设Z+是正整数集,R是实数集,f:Z+→R, f(n)=log2n ,则f()A.仅是入射B.仅是满射C.是双射D.不是函数8.下列关系矩阵所相应的关系具有反对称性的是( )A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101110001C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001010101 9.设R 1和R 2是集合A 上的相容关系,下列关于复合关系R 1︒R 2的说法对的的是( )A .一定是等价关系B .一定是相容关系C .一定不是相容关系D .也许是也也许不是相容关系10.下列运算不满足...互换律的是( ) A .a *b =a+2bB .a *b =min(a ,b )C .a *b =|a -b |D .a *b =2ab 11.设A 是偶数集合,下列说法对的的是( )A .<A ,+>是群B .<A ,×>是群C .<A ,÷>是群D .<A ,+>, <A ,×>,<A ,÷>都不是群12.设*是集合A 上的二元运算,下列说法对的的是( )A .在A 中有关于运算*的左幺元一定有右幺元B .在A 中有关于运算*的左右幺元一定有幺元C .在A 中有关于运算*的左右幺元,它们不一定相同D .在A 中有关于运算*的幺元不一定有左右幺元13.题13图的最大出度是( )A .0B .1C .2D .314.下列图是欧拉图的是( )15.一棵树的3个4度点,4个2度点,其它的都是1度,那么这棵树的边数是( )A.13 B.14C.15 D.16二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上对的答案。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、选择题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,都可以通过图中的边相互到达。

离散数学本试题及答案

离散数学本试题及答案

离散数学本试题及答案一、单项选择题(每题2分,共20分)1. 在集合{1,2,3,4}中,元素3的补集是()。

A. {1,2,4}B. {1,2,3,4}C. {1,2,3}D. {2,4}答案:A2. 命题“若x>0,则x>1”的逆否命题是()。

A. 若x≤1,则x≤0B. 若x≤1,则x<0C. 若x>1,则x>0D. 若x≤0,则x≤1答案:A3. 函数f(x)=x^2在区间[0,1]上是()。

A. 增函数B. 减函数C. 常数函数D. 非单调函数答案:A4. 逻辑运算符“与”的符号是()。

A. ∧B. ∨C. →D. ¬答案:A5. 集合A={1,2,3},B={2,3,4},则A∩B=()。

A. {1,2,3}B. {2,3}C. {1,2,4}D. {1,3,4}答案:B6. 命题“若x>0,则x>1”的否定是()。

A. 若x≤0,则x≤1B. 若x≤0,则x>1C. 若x>0,则x≤1D. 若x≤0,则x≤1答案:C7. 函数f(x)=x^2在区间[-1,1]上是()。

A. 增函数B. 减函数C. 常数函数D. 非单调函数答案:D8. 逻辑运算符“或”的符号是()。

A. ∧B. ∨C. →D. ¬答案:B9. 集合A={1,2,3},B={2,3,4},则A∪B=()。

A. {1,2,3}B. {2,3}C. {1,2,4}D. {1,2,3,4}答案:D10. 命题“若x>0,则x>1”的逆命题是()。

A. 若x≤1,则x≤0B. 若x>1,则x>0C. 若x>1,则x>0D. 若x≤0,则x≤1答案:B二、填空题(每题3分,共30分)11. 集合{1,2,3}的子集个数为______。

答案:812. 命题“若x>0,则x>1”的逆命题是“若x>1,则x>0”,其真假性为______。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

《离散数学》试卷及答案精选全文完整版

《离散数学》试卷及答案精选全文完整版
解 设谓词Q(x):x是勤奋的;
H(x):x是身体健康的;
S(x):x是科学家
C(x):x是事业获得成功的人
置换规则。
3、设集合|A|=101,S ,且|S|为奇数,则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项,则mi的对偶式不一定是(填“是”/“不是”/“不一定是” ) G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}; (2) a=3; (3) 函数f(x)为f(2)=2,f(3)=3; (4) 谓词:F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时,G(i,j):=1;当i≠j时,G(i,j):=0;其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有(a+bi)R(u+vi)
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中,构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的,每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以,存在着事业获得成功的人。”(15分)
2.设A={1,2,3…10},定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10},试讨论R关于关系的五个方面的性质并说明理由(5分)
解答:R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 5 >}

离散数学本科试题及答案

离散数学本科试题及答案

离散数学本科试题及答案一、选择题(每题5分,共20分)1. 在集合论中,空集的定义是:A. 包含所有集合的集合B. 不包含任何元素的集合C. 包含所有非空集合的集合D. 包含所有有限集合的集合答案:B2. 在逻辑运算中,非运算的符号是:A. ∧B. ∨C. ¬D. →答案:C3. 以下哪个选项是图的邻接矩阵表示法?A. 邻接表B. 顶点列表C. 边列表D. 所有选项都是答案:A4. 以下哪个命题是真命题?A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数答案:A二、填空题(每题5分,共20分)1. 在布尔代数中,逻辑与运算的符号是________。

答案:∧2. 如果一个图是无向图且任意两个顶点都相连,则称这个图是________。

答案:完全图3. 在关系数据库中,关系模式的属性名集合称为________。

答案:关系模式4. 一个命题的逆否命题与其原命题的________是相同的。

答案:真假性三、简答题(每题10分,共30分)1. 描述什么是二元关系,并举例说明。

答案:二元关系是定义在两个集合上的一个关系,它由有序对组成,每个有序对的第一个元素来自第一个集合,第二个元素来自第二个集合。

例如,小于关系是实数集上的一个二元关系,因为对于任意两个实数a和b,如果a小于b,那么有序对(a, b)属于这个关系。

2. 解释什么是图的哈密顿回路,并给出一个例子。

答案:图的哈密顿回路是一条通过图中每个顶点恰好一次的闭合路径。

例如,在一个五边形的顶点上,可以画出一条哈密顿回路,即从任一顶点出发,依次经过其他顶点,最后回到起始顶点。

3. 什么是正规文法?请给出一个例子。

答案:正规文法是一种形式文法,它能够生成正规集合,即可以被有限自动机接受的字符串集合。

例如,正规文法可以定义为:S -> aSb| ε,其中S是开始符号,a和b是字母,ε表示空字符串。

这个文法生成的字符串集合是所有长度为偶数的字符串,其中a和b交替出现。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

自考离散数学试题及答案
课程代码:02324
一、单项选择题(本大题共15小题,每小题1分,共15分)
在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。

错选、多选或未选均无分。

1.下列句子不是命题的是( D )..
A.中华人民共和国的首都是北京 B.张三是学生
C.雪是黑色的 D.太好了!
2.下列式子不是谓词合式公式的是( B )..
A.(x)P(x)→R(y)
B.(x) ┐P(x)(x)(P(x)→Q(x))
C.(x)(y)(P(x)∧Q(y))→(x)R(x)
D.(x)(P(x,y)→Q(x,z))∨(z)R(x,z)
3.下列式子为重言式的是()
A.(┐P∧R)→Q B.P∨Q∧R→┐R
C.P∨(P∧Q) D.(┐P∨Q)(P→Q)
4.在指定的解释下,下列公式为真的是()
A.(x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B.(x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C.(x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
D.(x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
5.对于公式(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)
6.设论域为{1,2},与公式(x)A(x)等价的是()
A.A(1)∨A(2) B.A(1)→A(2)
C.A(1)∧A(2) D.A(2)→A(1)
7.设Z+是正整数集,R是实数集,f:Z+→R, f(n)=log2n ,则f()
A.仅是入射 B.仅是满射
C.是双射 D.不是函数
8.下列关系矩阵所对应的关系具有反对称性的是()
101A.011
100
001001C.
100100B.011101101010D.
100
9.设R1和R2是集合A上的相容关系,下列关于复合关系R1R2的说法正确的是()
A.一定是等价关系 B.一定是相容关系
C.一定不是相容关系
10.下列运算不满足交换律的是()...D.可能是也可能不是相容关系
A.a*b=a+2b B.a*b=min(a,b)
C.a*b=|a-b| D.a*b=2ab
11.设A是偶数集合,下列说法正确的是()
A.是群 B.是群
C.是群 D., ,都不是群
12.设*是集合A上的二元运算,下列说法正确的是()
A.在A中有关于运算*的左幺元一定有右幺元
B.在A中有关于运算*的左右幺元一定有幺元
C.在A中有关于运算*的左右幺元,它们不一定相同
D.在A中有关于运算*的幺元不一定有左右幺元
13.题13图的最大出度是()
A.0 B.1
C.2 D.3
14.下列图是欧拉图的是()
15.一棵树的3个4度点,4个2度点,其它的都是1度,那么这棵树的边数是()
A.13 B.14
C.15 D.
16
二、填空题(本大题共10小题,每小题2分,共20分)
请在每小题的空格中填上正确答案。

错填、不填均无分。

16.请写出表示德摩根律的两个命题公式等价定理___________,___________。

17.n个命题变元的___________称为小项,其中每个变元与它的否定不能同时出现,但两者必须___________。

18.前提引入规则:在证明的任何步骤上都可以___________,简称___________规则。

19.自由变元代入规则是指对某___________出现的个体变元可用个体常元或用与原子公式中所有个体变元不同
的个体变元去代入,且___________。

20.设A=,B={2,4},则((A)=___________,A×B___________。

21.设A={1,2,3,4}, A上的二元关系
R={<1,2>,<2,4>,<3,3>},S={<1,3>,<2,4>,<4,2>},则R2S=___________,(R-1)2=___________。

22.设代数系统是环,则是___________,是___________。

23.在中,元素2的阶为___________,它生成的子群为___________,其中7为模7乘法。

24.设是一个___________,如果A中任意两个元素都有___________,则称为格。

25.若一条___________中,所有的___________均不相同,称为迹。

三、计算题(本大题共6小题,每小题5分,共30分)
26.给定论域D={1,2},f(1)=2, f(2)=1, S(1)=F, S(2)=T, G(1,2)=T, G(2,1)=T,在该赋值下,求式子x(S( f(x))∧G(x, f(x)))
的真值。

27.请通过等值演算法求┐(P∧Q)→(P∨Q)的主析取范式。

28.设A={1,2,3,4},给定A上二元关系R={<1,1>,<1,2>,<2,4>,<4,2>},求R 的传递闭包。

29.对题29图所示格,找出它的所有的4元子格。

30.用矩阵的方法求题30图中结点ui,u5之间长度为2的路径的数目。

31.求题31图的最小生成树。

四、证明题(本大题共3小题,第32小题8分,第33、34小题各6分,共20分)
32.用推理方法证明(A∨B)→(C∧D),(D∨F)→E├A→E。

33.证明:设是一个群,则对于任意a,b∈G,必存在惟一的x∈G使得a·x=b。

34.设图G有n个结点,n+1条边,证明:G中至少有一个结点度数≥3。

五、应用题(本大题共2小题,第35小题9分,第36小题6分,共15分)
35.符合化下列命题,并构造推理证明:三角函数都是周期函数,有些三角函数是连续函数,所以有些周期函数
是连续函数。

36.两个等价关系的并集不一定是等价关系,试举例说明。

2010年7月全国自考离散数学试题参考答案。

相关文档
最新文档