离散数学试卷及答案一

合集下载

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 在集合论中,下列哪个选项表示两个集合A和B的并集?A. A ∩ BB. A ∪ BC. A - BD. A × B答案:B2. 命题逻辑中,下列哪个符号表示逻辑非?A. ∧B. ∨C. ¬D. →答案:C3. 在有向图中,如果存在一条从顶点u到顶点v的路径,那么称顶点v为顶点u的:A. 祖先B. 后代C. 邻居D. 连接点答案:B二、填空题1. 一个命题函数P(x)表示为“x是偶数”,那么其否定形式为________。

答案:x是奇数2. 在关系R上,如果对于所有的a和b,如果(a, b)∈R且(b, a)∈R,则称R为________。

答案:自反的三、简答题1. 简述什么是等价关系,并给出其三个基本性质。

答案:等价关系是一种特殊的二元关系,它满足自反性、对称性和传递性。

自反性指每个元素都与自身相关;对称性指如果a与b相关,则b也与a相关;传递性指如果a与b相关,b与c相关,则a与c也相关。

2. 解释什么是图的连通分量,并给出如何判断一个图是否是连通图。

答案:连通分量是指图中最大的连通子图,即图中任意两个顶点之间都存在路径。

判断一个图是否是连通图,可以通过深度优先搜索或广度优先搜索算法遍历整个图,如果所有顶点都被访问,则图是连通的。

四、计算题1. 给定命题公式P:((p → q) ∧ (r → ¬p)) → (q ∨ ¬r),证明P是一个重言式。

答案:通过使用命题逻辑的等价规则和真值表,可以证明P在所有可能的p, q, r的真值组合下都为真,因此P是一个重言式。

2. 给定一个有向图G,顶点集合V(G)={1, 2, 3, 4},边集合E(G)={(1, 2), (2, 3), (3, 4), (4, 1), (2, 4)}。

找出所有强连通分量。

答案:通过Kosaraju算法或Tarjan算法,可以找到图G的强连通分量,结果为{1, 4}和{2, 3}。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。

答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。

答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。

答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。

答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。

解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。

反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。

由于R是自反的,所以(a, a) ∈ R,与假设矛盾。

因此,R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。

解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。

所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

离散数学试卷及答案

离散数学试卷及答案

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

1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(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)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设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)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题1. 关于图论的基本概念,以下哪个说法是正确的?A. 无向图中的边无方向性,有向图中的边有方向性。

B. 有向图中的边无方向性,无向图中的边有方向性。

C. 无向图和有向图都是由顶点和边组成的。

D. 无向图和有向图都只由边组成。

答案:A2. “若顶点集合为V,边集合为E,那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述?A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案:D3. 以下哪个命题是正确的?A. 若集合A和B互相包含,则A和B相等。

B. 若集合A和B相交为空集,则A和B相等。

C. 若集合A和B相等,则A和B互相包含。

D. 若集合A和B相等,则A和B相交为空集。

答案:C二、填空题1. 有一个集合A = {1, 2, 3, 4},则集合A的幂集的元素个数为__________。

答案:162. 设A = {a, b, c},B = {c, d, e},则集合A和B的笛卡尔积为__________。

答案:{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题,q、r为假命题,则合取范式(p ∨ q ∨ r)的值为__________。

答案:真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。

答案:交集:{3, 4}并集:{1, 2, 3, 4, 5, 6}差集:{1, 2}2. 计算下列命题的真值:(~p ∨ q) ∧ (p ∨ ~q),其中p为真命题,q为假命题。

答案:真四、证明题证明:对于任意集合A和B,如果A和B互相包含,则A和B相等。

证明过程:假设A和B互相包含,即A包含于B且B包含于A。

设x为集合A中的任意元素,则x也必然存在于集合B中,即x属于B。

同理,对于集合B中的任意元素y,y也属于集合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)表示_________。

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

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

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

离散数学试卷及答案

离散数学试卷及答案

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

1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(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)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设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)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。

大学离散数学试卷一及答案

大学离散数学试卷一及答案

大学离散数学试卷一及答案一、单项选择题(本大题共10小题,每小题2分,共20分)1.下列不是命题的是[ C ]。

A.7能被3整除.B.5是素数当且仅当太阳从西边升起.C.x加7小于0.D.华东交通大学位于南昌北区.2. 设p:王平努力学习,q:王平取得好成绩,命题“除非王平努力学习,否则他不能取得好成绩”的符号化形式为[ D ]。

A. p→qB. ⌝p→qC. ⌝q→pD. q→p3. 下面4个推理定律中,不正确的为[ D ]。

A.A=>(A∨B) (附加律)B. (A∨B)∧⌝A=>B (析取三段论)C. (A→B)∧A=>B (假言推理)D. (A→B)∧⌝B=>A (拒取式)4. 设解释I如下,个体域D={1,2},F(1,1)=(2,2)=0,F(1,2)=F(2,1)=1,在解释I下,下列公式中真值为1的是[ A ]。

A.∀x ∃yF(x,y)B. ∃x∀yF(x,y)C. ∀x∀yF(x,y)D. ⌝∃x∃yF(x,y)5. 下列四个命题中哪一个为真?[ D ]。

A. ∅∈∅B. ∅∈{a}C. ∅∈{{∅}}D. ∅⊆∅6. 设S={a,b,c,d},R={<a,a>,<b,b>,<d,d>},则R的性质是[ B ]。

A.自反、对称、传递的B. 对称、反对称、传递的C.自反、对称、反对称的D. 只有对称性7.设A={a,b,c},则下列是集合A的划分的是[ D ]。

A.{{b,c},{c}}B.{{a,b},{a,c}}C.{{a,b},c}D.{{a},{b,c}}8. 设集合})关于普通数的乘法,不正确的有[ C ]。

ab+=aQ∈2,{)2(QbA. 结合律成立B. 有幺元C. 任意元素有逆元D. 交换律成立9.设A是非空集合,P(A)是A的幂集,∩是集合交运算,则代数系统〈P(A),∩〉的幺元是[ C ]。

A. P(A)B. φC. AD. E10.下列四组数据中,不能成为任何4阶无向简单图的度数序列的为[ C ]。

离散数学试卷及答案

离散数学试卷及答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。

2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。

3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。

4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。

6.设A={1,2,3,4},A 上关系图为则 R 2 = 。

7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。

8.图的补图为 。

9.设A={a ,b ,c ,d} ,A 上二元运算如下:那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。

10.下图所示的偏序集中,是格的为 。

二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。

2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

3、设A={1,2,3},则A 上的二元关系有()个。

A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。

4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。

5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下t st spR=∈=则P(A)/ R=()<A∧>)(||||}s({t,,|A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}}6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“⊆”的哈斯图为()7、下列函数是双射的为()A.f : I→E , f (x) = 2x ;B.f : N→N⨯N, f (n) = <n , n+1> ;C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。

答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。

答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。

答案:满射4. 在图论中,一个没有环的连通图被称为_________。

答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。

答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。

答案:如果x不能被2整除,则x不是偶数。

2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。

答案:6个顶点。

3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。

答案:2^4=16个元素。

4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。

答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。

5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。

答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。

(完整word版)离散数学试卷及参考答案()

(完整word版)离散数学试卷及参考答案()

一、填空题:(每空1分,本大题共15分)1.给定命题公式A 、B ,若 ,则称A 和B 是逻辑相等的。

2.命题公式)(Q P →⌝的主析取范式为 ,主合取范式的编码表示为 。

3.设E 为全集, ,称为A 的绝对补,记作~A ,且~(~A )= ,~E = ,~Φ= 。

4.设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =,}},{},,{},{{2c a b a a S =,}},{},{{3c b a S =,}},,{{4c b a S =}}{},{},{{5c b a S =,}},{},{{6c a a S =则A 的覆盖有 ,A 的划分有 。

5.设S 是非空有限集,代数系统<(S ),,>中,(S)对的幺元为 ,零元为 。

(S )对的幺元为 ,零元为 .6.若>=<E V G ,为汉密尔顿图,则对于结点集V 的每个非空子集S ,均有W(G-S) S 成立,其中W (G —S)是 。

二、单项选择题:(每小题1分,本大题共10分)1.下面命题公式( )不是重言式。

A 、)(Q P Q ∨→;B 、P Q P →∧)(;C 、)()(Q P Q P ∨⌝∧⌝∧⌝;D 、)()(Q P Q P ∨⌝↔→。

2.命题“没有不犯错误的人”符号化为( )。

设x x M :)(是人,x x P :)(犯错误。

A 、))()((x P x M x ∧∀; B 、)))()(((x P x M x ⌝→∃⌝;C 、)))()(((x P x M x ∧∃⌝;D 、)))()(((x P x M x ⌝∧∃⌝。

3.设}{Φ=A ,B =((A )),下列各式中哪个是错误的( )。

A 、B ⊆Φ; B 、B ⊆Φ}{,C 、B ∈Φ}}{{;D 、⊆ΦΦ}}{,{(A )。

4.对自然数集合N ,哪种运算不是可结合的,运算定义为任N b a ∈,( ).A 、),min(b a b a =*;B 、b a b a 2+=*;C 、3++=*b a b a ;D 、)3(mod ,b a b a =*。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题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)。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题(每题2分,共20分)1. 集合A={x|x<5},集合B={x|x>2},则A∩B为:A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p:"x>0"是命题q:"x^2>0"的:A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是:A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中,当P为真时,表达式的值为:A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上,若对于任意a,b,c∈A,若aRb且bRc,则aRc,那么R是:A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机(DFA)与确定有限状态自动机(DFA)的区别在于:A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中,若命题P的否定为P',则P和P'的关系是:A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是:A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中,若存在一行结果为假,则该公式:A. 总是假B. 有时真,有时假C. 总是真D. 无法判断10. 布尔代数中,逻辑与(AND)操作的特点是:A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题(每题5分,共10分)1. 简述集合论中的幂集概念。

2. 描述图的邻接矩阵表示方法。

三、计算题(每题10分,共30分)1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

离散数学试题及答案1

离散数学试题及答案1

离散数学总分:100 考试时间:100分钟一、单项选择题1、一个无向图G是一个二元组〈V,E〉,V代表(正确答案:B,答题答案:)A、边集B、顶点集C、环D、路径2、最佳前缀码可由()算法求出(正确答案:A,答题答案:)A、HuffmanB、PERTC、DijkstraD、Kruskal3、带权为2、3、5、7、8、9的最优树T,权W(T)=()(正确答案:B,答题答案:)A、82B、83C、84D、854、设n阶无向连通图G有m条边,则()(正确答案:A,答题答案:)A、m≥n-1B、m≤n-1C、m=n-1D、m≥n5、经过图中每条边一次且仅一次并且行遍图中每个顶点的通路(回路),称为()(正确答案:A,答题答案:)A、欧拉通路B、简单通路C、初级通路D、哈密尔顿通路6、入度为0的顶点称为()(正确答案:B,答题答案:)A、树根B、树叶C、边D、顶点7、按中序行遍法,其行遍结果为((dce)bf)a(gih),则按后序行遍法其结果为()(正确答案:A,答题答案:)A、a(b(cde) )(igh)fB、a(b(cde) f)(igh)C、((dec)fb)(ghi) aD、(b(cde) f)(igh)a8、设T=〈V,E〉是n阶非平凡树,则T中至少有()片树叶.(正确答案:C,答题答案:)A、1B、2C、3D、49、设有向简单图D的度数列为2,2,3,3,入度列为0,0,2,3,D的出度列为().(正确答案:B,答题答案:)A、2,2,1,0B、2,2,3,3C、0,0,2,3D、2,2,5,610、设G=〈V,E〉是n阶无向简单图,若G中任何顶点都与其余的n-1个顶点相邻,则称G为n阶()(正确答案:A,答题答案:)A、无向图B、无向完全图C、完全图D、有向简单图二、多项选择题1、简单图为()(正确答案:AB,答题答案:)A、不含平行边B、不含环C、不含顶点D、不含单边2、下面给出的符号串集合中,哪些是前缀码?(正确答案:ABD,答题答案:)A、B1={0,10,110,1111}B、B2={1,01,001,000}C、B3={1,11,101,001,0011}D、B4={b,c,aa,ac,aba,abb,abc }3、树的行遍法有()(正确答案:ABC,答题答案:)A、中序B、前序C、后序D、顺序4、无向图G为欧拉图,则()(正确答案:ABC,答题答案:)A、G是连通的B、G中无奇度顶点C、所有顶点的入度等于出度D、奇数个顶点5、无向图G具有欧拉通路,当且仅当G是()(正确答案:AB,答题答案:)A、连通图B、有零个或两个奇度顶点C、回路D、奇数个顶点6、根据边是否有方向,图可分为()(正确答案:CD,答题答案:)A、连通图B、树C、有向图D、无向图7、两图同构,则()(正确答案:ABC,答题答案:)A、顶点个数相同B、边的条数相同C、每个顶点的度相同D、有多重边8、特殊的图有()(正确答案:ABCD,答题答案:)A、二部图B、欧拉图C、哈密尔顿图D、平面图9、下列各组数中,哪些能够成无向图的度数列?(正确答案:ABC,答题答案:)A、1,1,1,2,3B、2,2,2,2,2C、3,3,3,3D、1,2,3,4,510、若图G中任意两个结点u和v,都有从u到v和从v到u的通路,则称G是()(正确答案:A,答题答案:)A、强连通图B、弱连通图C、单向连通图D、连通图三、判断题1、强连通图一定是单向连通图。

《离散数学》试题及答案

《离散数学》试题及答案

一、填空题1设集合A,B,其中A={1,2,3},B= {1,2}, 则A — B={3} ;ρ(A)—ρ(B)={3},{1,3},{2,3},{1,2,3}} 。

2. 设有限集合A, |A| = n, 则|ρ(A×A)|= .3.设集合A = {a,b}, B = {1,2},则从A到B的所有映射是α1= {(a,1),(b,1)},α2= {(a,2),(b,2)},α3= {(a,1),(b,2)}, α4= {(a,2), (b,1)}, 其中双射的是α3,α4 。

4。

已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5。

设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合,A= {1,2,4},B = {3,4}, 则从A⋂B={4} ;A⋃B={1,2,3,4};A-B={1,2}.7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性。

8。

设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1,0, 0), (1,0, 1),(1,1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)},R2 = {(2,1),(3,2),(4,3)}, 则R1•R2 ={(1,3),(2,2),(3,1)}, R2•R1 = {(2,4),(3,3),(4,2)}_R12 ={(2,2),(3,3)。

10. 设有限集A,B,|A| = m,|B| = n, 则| |ρ(A⨯B)| = 。

11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1,x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = —1<=x〈0 , B—A = {x | 1 < x < 2,x∈R} ,A∩B ={x |0≤x≤1, x∈R}, .13.设集合A={2,3,4, 5,6},R是A上的整除关系,则R以集合形式(列举法)记为{(2,2),(2, 4),(2,6),(3,3),(3, 6),(4,4),(5,5),(6, 6)}。

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

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

1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(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)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设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)→BB.(x)A(x)→BC.A(x)→BD.(x)A(x)→(x)B13.谓词公式(x)(P(x,y))→(z)Q(x,z)∧(y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为__0____,称为树根,其余结点的入度均为__1____。

17.A={1,2,3,4}上二元关系R={〈2,4〉,〈3,3〉,〈4,2〉},R的关系矩阵M R中m24=___1___,m34=___0___。

18.设〈s,*〉是群,则那么s中除__幺元____外,不可能有别的幂等元;若〈s,*〉有零元,则|s|=___1___。

19.设A为集合,P(A)为A的幂集,则〈P(A),〉是格,若x,y∈P(A),则x,y最大下界是______,最小上界是______。

20.设函数f:X→Y,如果对X中的任意两个不同的x1和x2,它们的象y1和y2也不同,我们说f是___入射___函数,如果ranf=Y,则称f是___满射___函数。

21.设R为非空集合A上的等价关系,其等价类记为〔x〕R。

x,y∈A,若〈x,y〉∈R,则〔x〕R与〔y〕R的关系是______,而若〈x,y〉R,则〔x〕R∩〔y〕R=______。

22.使公式(x)( y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的条件是______不含有y,______不含有x。

23.设M(x):x是人,D(s):x是要死的,则命题“所有的人都是要死的”可符号化为(x)______,其中量词(x)的辖域是______。

24.若H1∧H2∧,∧H n是______,则称H1,H2,,Hn是相容的,若H1∧H2∧,∧H n是______,则称H1,H2,,H n是不相容的。

25.判断一个语句是否为命题,首先要看它是否为,然后再看它是否具有唯一的。

三、计算题(共30分)26.(4分)设有向图G=(V,E)如下图所示,试用邻接矩阵方法求长度为2的路的总数和回路总数。

27.(5)设A={a,b},P(A)是A的幂集,是对称差运算,可以验证<P(A),>是群。

设n是正整数,求({a}-1{b}{a})n{a}-n{b}n{a}n28.(6分)设A={1,2,3,4,5},A上偏序关系R={〈1,2〉,〈3,2〉,〈4,1〉,〈4,2〉,〈4,3〉,〈3,5〉,〈4,5〉}∪I A;(1)作出偏序关系R的哈斯图(2)令B={1,2,3,5},求B的最大,最小元,极大、极小元,上界,下确界,下界,下确界。

29.(6分)求┐(P→Q)(P→┐Q)的主合取范式并给出所有使命题为真的赋值。

30.(5分)设带权无向图G如下,求G的最小生成树T及T的权总和,要求写出解的过程。

31.(4分)求公式┐((x)F(x,y)→(y)G(x,y))∨(x)H(x)的前束范式。

四、证明题(共20分)32.(6分)设T是非平凡的无向树,T中度数最大的顶点有2个,它们的度数为k(k≥2),证明T中至少有2k-2片树叶。

33.(8分)设A是非空集合,F是所有从A到A的双射函数的集合,是函数复合运算。

证明:〈F, 〉是群。

34.(6分)在个体域D={a1,a2,,,a n}中证明等价式:(x)(A(x)→B(x))(x)A(x)→(x)B(x)五、应用题(共15分)35.(9分)如果他是计算机系本科生或者是计算机系研究生,那么他一定学过DELPHI语言而且学过C++语言。

只要他学过DELPHI语言或者C++语言,那么他就会编程序。

因此如果他是计算机系本科生,那么他就会编程序。

请用命题逻辑推理方法,证明该推理的有效结论。

36.(6分)一次学术会议的理事会共有20个人参加,他们之间有的相互认识但有的相互不认识。

但对任意两个人,他们各自认识的人的数目之和不小于20。

问能否把这20个人排在圆桌旁,使得任意一个人认识其旁边的两个人?根据是什么?参考答案一、单项选择题(本大题共15小题,每小题1分,共15分)1.B2.D3.A4.A5.D6.D7.D8.C9.D 10.B11.A 12.A 13.C 14.B 15.C二、填空题16.0 117.1 018.单位元 119.x∩y x∪y20.入射21.[x]R=[y]R22.A(x) B(y)23.(M(x)→D(x)) M(x)→D(x)24.可满足式永假式(或矛盾式)25.陈述句真值三、计算题26. M=1100 1010 1011 0011M2=2110 2111 2121 1011M ijji2141418,M iji2146G中长度为2的路总数为18,长度为2的回路总数为6。

27.当n是偶数时,x∈P(A),x n=当n是奇数时,x∈P(A),x n=x于是:当n是偶数,({a}-1{b}{a})n{a}-n{b}n{a}n =({a}-1)n{b}n{a}n=当n是奇数时,({a}-1{b}{a})n{a}-n{b}n{a}n={a}-1{b}{a}({a}-1)n{b}n{a}n={a}-1{b}{a}{a}-1{b}{a}=28.(1)偏序关系R的哈斯图为(2)B 的最大元:无,最小元:无;极大元:2,5,极小元:1,3 下界:4,下确界4;上界:无,上确界:无29.原式(┐(P →Q)→(P →┐Q))∧((P →┐Q)→┐(P →Q)) ((P →Q)∨(P →┐Q))∧(┐(P →┐Q)∨┐(P →Q)) (┐P ∨Q ∨┐P ∨┐Q)∧(┐(┐P ∨┐Q)∨(P ∧┐Q)) (┐(P ∧┐Q)∨(P ∧┐Q)) (P ∧Q)∨(P ∧┐Q) P ∧(Q ∨┐Q) P ∨(Q ∧┐Q) (P ∨Q)∧(P ∨┐Q) 命题为真的赋值是P=1,Q=0和P=1,Q=1 30.令e 1=(v 1,v 3),e 2=(v 4,v 6) e 3=(v 2,v 5), e 4=(v 3,v 6) e 5=(v 2,v 3), e 6=(v 1,v 2) e 7=(v 1,v 4), e 8=(v 4,v 3) e 9=(v 3,v 5),e 10=(v 5,v 6)令a i 为e i 上的权,则a 1<a 2<a 3<a 4<a 5=a 6=a 7=a 8<a 9=a 10取a 1的e 1∈T,a 2的e 2∈T,a 3的e 3∈T,a 4的e 4∈T,a 5的e 5∈T,即,T 的总权和=1+2+3+4+5=15 31.原式┐(x 1F(x 1,y)→y 1G(x,y 1))∨x 2H(x 2) (换名)┐x 1y 1(F(x 1,y)→G(x,y 1))∨x 2H(x 2) x 1y 1┐(F(x 1,y 1)→G(x,y 1))∨x 2H(x 2)x 1y 1x 2(┐(F(x 1,y 1)→G(x,y 1))∨H(x 2)四、证明题32.设T 中有x 片树叶,y 个分支点。

于是T 中有x+y 个顶点,有x+y-1 条边,由握手定理知T 中所有顶点的度数之的d v i i x y()1=2(x+y-1)。

又树叶的度为1,任一分支点的度大于等于 2且度最大的顶点必是分支点,于是d v i i x y()1≥x ·1+2(y-2)+k+k=x+2y+2K-4从而2(x+y-1)≥x+2y+2k-4x ≥2k-233.从定义出发证明:由于集合A 是非空的,故显然从A 到A 的双射函数总是存在的,如A上恒等函数,因此F 非空(1)f,g ∈F,因为f 和g 都是A 到A 的双射函数,故f g 也是A 到A 的双射函数,从而集合F 关于运算是封闭的。

相关文档
最新文档