7月全国自考离散数学试题及答案解析

合集下载

7月全国自考离散数学试题及答案解析试卷及答案解析真题

7月全国自考离散数学试题及答案解析试卷及答案解析真题

浙江省2019年7月高等教育自学考试离散数学试题课程代码:02324一、单项选择题(在每小题的四个备选答案中,选出一个正确答案,并将正确答案的序号填在题干的括号内。

每小题2分,共30分)1. 下述不是命题的是( )A. 做人真难啊!B. 后天是阴天。

C. 2是偶数。

D. 地球是方的。

2. 命题公式P →(P ∨Q ∨R)是( )A. 恒真的B. 恒假的C. 可满足的D. 合取范式3. 命题公式﹁B →﹁A 等价于( )A. ﹁A ∨﹁BB. ﹁(A ∨B)C. ﹁A ∧﹁BD. A →B4. 设有A={a,b,c}上的关系R={<a,a>,<b,b>,<a,b>,<b,a>,<c,a>},则R 不具有( )A. 自反性B. 对称性C. 传递性D. 反对称性5. 设×是定义在所有(-∞,+∞)上的连续函数集合C 上的普通乘法运算,则×不满足( )A. 封闭性B. 结合律C. 交换律D. 等幂律6. 下述集合对所给的二元运算封闭的是( )A. 集合S={-1,0,1,2…}上规定运算ο为 a οb=min{a,b-1}, ∀a,b ∈SB. 集合S={x|x=2n ,n ∈N}上的乘法运算C. 集合S={x|x>0}上的规定运算ο为 a οb=ba b ln a ln ++ ∀a,b ∈S D. 集合S={1,3,5,7,…}上的加法运算7. 如果A ∩B=A ∩C ,则下述结论成立的是( )A. B=CB. B ⊆A 且C ⊆AC. B ∪A=C ∪AD. 以上结论都不对8. 下列哪个式子不是谓词演算的合式公式( )A. (∀x)(A(x,2)∧B(y))B. (∀x)(A(x)∧B(x,y))C. ((∀x)∧(∃y))→(A(x,y)∧B(x,y))D. (∀x)(A(x)→B(y))9. 谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y( )A. 是自由变元但不是约束变元B. 是约束变元但不是自由变元C. 既是自由变元又是约束变元D. 既不是自由变元又不是约束变元10. 设有一个连通平面图,共有6个结点、11条边,则它的边数为( )A. 6B. 7C. 8D. 911. 设A={1,2,3,4,5,6},B={a,b,c,d,e},以下哪一个关系是从A 到B 的满射函数( )A. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>}B. f={<1,e>,<2,d>,<3,c>,<4,b>,<5,a>,<6,e>}C. f={<1,a>,<2,b>,<3,c>,<4,a>,<5,b>,<6,c>}D. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>,<1,b>}12. 设(B ,·,+, ̄,0,1)是布尔代数,a,b 是B 中元素,a ≤b,则下面公式中与a ·b 等价的是( )A. a+bB. a·bC. aD. a+b13. 下图中是哈密尔顿图的是( )14. 下列是欧拉图的是( )15. 下列不是森林是( )二、填空题(每空2分,共20分)1. 设P,Q是二个命题,则命题公式P∧Q的合取范式是______。

20年7月考试《离散数学》考核作业及参考答案

20年7月考试《离散数学》考核作业及参考答案

东北大学继续教育学院离散数学试卷(作业考核线上2) A 卷(共 4 页)1.分别说明联结词⌝、∧、∨、→和↔在自然语言中表示什么含义。

解:(1) ⌝叫做否定。

(2) ∧叫做合取。

(3) ∨叫做析取。

(4) →叫做蕴涵。

(5) ↔叫做等价。

“⌝”表示“…不成立”,“不…”。

“∧”表示“并且”、“不但…而且...”、“既…又...”等。

“∨”表示“或者”,是可兼取的或。

“→”表示如果… ,则…;只要… ,就…;只有… , 才…;仅当… 。

“↔”表示“当且仅当”、“充分且必要”。

2.分别列出P↔解:二. (10分) 1.指出下面的命题公式中哪些是永真式(只写题号即可)。

(1). (P∧(P→Q))→Q (2). P→(P∨Q)(3). (P∧Q)→Q (4). (P∨Q)→P答:(1),(2),(3)是永真式。

2.然后对上面的永真式任选其中一个给予证明(方法不限)。

答:证明(3).(P∧Q)→Q设前件(P∧Q)为真,则得Q为真。

所以(P∧Q)→Q 是永真式。

3.上面哪个不是永真式(找出一个即可),请说明它为什么不是永真式。

解:(4). (P∨Q)→P 不是永真式。

因为如果前件P∨Q为真,后件P不一定为真。

所以(P∨Q)→P 不是永真式。

三. (14分) 用谓词逻辑推理的方法证明下面推理的有效性。

要求按照推理的格式书写推理过程。

∀x(B(x)→⌝C(x)), ∃xA(x), ∀x(⌝A(x)∨C(x)) ⇒∃x⌝B(x)解:⑴∃xA(x) P⑵ A(a) ES ⑴⑶∀x(⌝A(x)∨ C(x)) P⑷⌝A(a)∨C(a) US ⑶⑸ C(a) T⑵⑷ I⑹∀ x(B(x)→⌝C(x)) P⑺ B(a)→⌝C(a) US ⑹⑻⌝B(a) T ⑸⑺ I⑼∃x⌝B((x) EG ⑻四.(12分) 令全集E={1,2},A={1}, P(A)表示集合A的幂集。

(注意:要求有计算过程,不能直接写出计算结果!)解:因为P(E)={Φ,{1},{2}, {1,2}} 所以P(E)有4个元素。

2020年7月全国自考试题及答案解析离散数学

2020年7月全国自考试题及答案解析离散数学

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

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

1.设P :他聪明,Q :他用功,命题“他虽聪明但不用功”的符号化正确的是( )A .⎤ P ∧QB .P ∧⎤ QC .P →⎤ QD .P ∨⎤ Q2.下面联结词运算不可交换的是( )A .∧B .→C .∨D .3.下列命题公式不是重言式的是( )A .Q →(P ∨Q )B .(P ∧Q )→PC .⎤(P ∧⎤ Q )∧(⎤ P ∨Q )D .(P →Q )(⎤ P ∨Q )4.下列等价式不正确的是( )A .)(Q )(P ))(Q )(P (x x x x x x x ∀∨∀⇔∨∀B .)(Q )(P ))(Q )(P (x x x x x x x ∀∧∀⇔∧∀C .)(Q )(P ))(Q )(P (x x x x x x x ∃∨∃⇔∨∃D .Q )(P )Q )(P (∧∀⇔∧∀x x x x5.设A (x ):x 是人,B (x ):x 犯错误,命题“没有不犯错误的人”符号化为( )A .))(B )(A (x x x ∧∀ B .⎤→∃)(A (x x ⎤ B (x ))C .⎤))(B )(A (x x x ∧∃D .⎤∧∃)(A (x x ⎤ B(x))6.设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)·f2(x)=0的解为()A.M∩N B.M∪NC.M⊕N D.M-N7.设A-B=∅,则有()A.B=∅B.B≠∅C.A⊆B D.A⊇B8.A,B是集合,P(A),P(B)为其幂集,且A∩B=∅,则P(A)∩P(B)为()A.∅B.{∅}C.{{∅}} D.{∅,{∅}}9.设集合A={1,2,3,……,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的最小公倍数10.设H,K是群(G,ο)的子群,下面代数系统是(G,ο)的子群的是()A.(H∩K,ο) B.(H∪K,ο)C.(K-H,ο)D.(H-K,ο)11.设A={1,2,3,4,5},B={6,7,8,9,10},以下关系是从A到B的入射函数的是()A.f ={<1,8>,<3,9>,<4,10>,<2,6>,<5,7>}B.f ={<1,7>,<2,6>,<4,8>,<1,9>,<5,10>}C.f ={<1,6>,<2,7>,<4,9>,<3,8>}D.f ={<1,10>,<5,9>,<3,6>,<4,6>,<2,8>}12.设简单图G所有结点的度数之和为12,则G一定有()23A .3条边B .4条边C .5条边D .6条边13.下列不一定是树的是( )A .无回路的连通图B .有n 个结点,n-1条边的连通图C .每对结点之间都有通路的图D .连通但删去一条边则不连通的图14.下面关于关系R 的传递闭包t(R)的描述最确切的是( )A .t(R)是包含R 的二元关系B .t(R)是包含R 的最小传递关系C .t(R)是包含R 的一个传递关系D .t(R)是任何包含R 的传递关系15.欧拉回路是( )A .路径B .迹C .既是初级回路也是迹D .既非初级回路也非迹二、填空题(本大题共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分)请在每小题的空格中填上正确答案。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、选择题(每题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是顶点的数量。

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

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

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

1.下列句子不是
..命题的是()
A.中华人民共和国的首都是北京B.张三是学生
C.雪是黑色的D.太好了!
2.下列式子不是
..谓词合式公式的是()
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()
1
2 A .仅是入射 B .仅是满射
C .是双射
D .不是函数
8.下列关系矩阵所对应的关系具有反对称性的是( )
A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101
B .⎥⎥⎥


⎢⎢⎢⎣⎡101110001
C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100
D .⎥⎥⎥⎦

⎢⎢⎢⎣⎡
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 =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 .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>},则R2︒S=___________,(R-1)2=___________。

22.设代数系统<A,·,*>是环,则<A,·>是___________,<A,*>是___________。

23.在<Z7-{0},⊗7>中,元素2的阶为___________,它生成的子群为___________,其中⊗7为模7乘法。

24.设<A,≤>是一个___________,如果A中任意两个元素都有___________,则称<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元子格。

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

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

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

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

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

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

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

4。

相关文档
最新文档