离散数学试题与答案
《离散数学》试题及答案

《离散数学》试题及答案一、选择题(每题5分,共25分)1. 下列关系中,哪个是等价关系?()A. 小于等于(≤)B. 大于等于(≥)C. 整除(|)D. 模2同余(≡)答案:D2. 下列哪个图是完全图?()A. 无向图B. 有向图C. 简单图D. n阶完全图答案:D3. 设A和B为集合,若A∪B=A,则下列哪个结论成立?()A. A⊆BB. B⊆AC. A=BD. A∩B=∅答案:B4. 下列哪个命题是永真命题?()A. (p→q)∧(q→p)B. (p∧q)→(p∨q)C. (p→q)∧(p→¬q)D. (p∧¬q)→(p→q)答案:B5. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的最小生成树的边数是()。
A. 4B. 5C. 6D. 7答案:B二、填空题(每题5分,共25分)6. 设A={1,2,3,4,5},B={3,4,5,6,7},则A∩B=_________。
答案:{3,4,5}7. 设图G的顶点集V={a,b,c,d},边集E={e1,e2,e3,e4,e5},其中e1=(a,b),e2=(a,c),e3=(b,d),e4=(c,d),e5=(d,a),则G的邻接矩阵为_________。
答案:[0 1 1 0 0; 1 0 0 1 0; 1 0 0 1 0; 0 1 1 0 1;0 0 0 1 0]8. 设p为真命题,q为假命题,则(p∧q)∨(¬p∧¬q)的值为_________。
答案:真9. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的度数序列为(3,3,3,3,3,3),则G的边数是_________。
答案:1510. 下列命题中,与“若p,则q”互为逆否命题的是_________。
离散数学试题及答案

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

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

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
离散数学试题总汇及答案

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

离散数学考试题及答案一、选择题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。
离散数学习题集(十五套) - 答案

离散数学试题与答案试卷一一、填空 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 b c dA BCa b cda b c db c d ac d a bd a b c那么代数系统<A,*>的幺元是,有逆元的元素为,它们的逆元分别为。
10.下图所示的偏序集中,是格的为。
二、选择20% (每小题2分)1、下列是真命题的有()A.}}{{}{aa⊆;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 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C.若R,S 是对称的,则SR 是对称的;D.若R,S 是传递的,则SR 是传递的。
5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下|}||(|)(,|,{tsApt st sR=∧∈><=则P(A)/ R=()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 | 。
离散数学考试题及答案

离散数学考试题及答案一、选择题(每题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},请计算它的幂集,并列出所有元素。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
试卷二试题与参考答案一、填空1、 P:您努力,Q:您失败。
2、 “除非您努力,否则您将失败”符号化为;“虽然您努力了,但还就是失败了”符号化为 。
2、论域D={1,2},指定谓词PP (1,1) P (1,2) P (2,1) P (2,2) TTFF则公式x ∃∀真值为 。
3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R=(列举法)。
R 的关系矩阵M R =。
4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系R= ;A 上既就是对称的又就是反对称的关系R= 。
5、设代数系统<A,*>,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。
6、4阶群必就是 群或群。
7、下面偏序格就是分配格的就是 。
8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。
* a b c ab ca b cb bc c c b二、选择1、在下述公式中就是重言式为( )A.)()(Q P Q P ∨→∧;B.))()(()(P Q Q P Q P →∧→↔↔;C.Q Q P ∧→⌝)(;D.)(Q P P ∨→。
2、命题公式 )()(P Q Q P ∨⌝→→⌝ 中极小项的个数为( ),成真赋值的个数为( )。
A.0;B.1;C.2;D.3 。
3、设}}2,1{},1{,{Φ=S ,则 S2 有( )个元素。
A.3;B.6;C.7;D.8 。
4、设} 3 ,2 ,1 {=S ,定义S S ⨯上的等价关系},,,, | ,,,{c b d a S S d c S S b a d c b a R +=+⨯>∈<⨯>∈<><><<=则由 R 产 生的S S ⨯上一个划分共有( )个分块。
A.4;B.5;C.6;D.9 。
5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为则R 具有( )性质。
A.自反性、对称性、传递性;B.反自反性、反对称性;C.反自反性、反对称性、传递性;D.自反性 。
6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。
A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈==C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。
7、下面偏序集( )能构成格。
8、在如下的有向图中,从V1到V4长度为3 的道路有( )条。
A.1;B.2;C.3;D.4 。
9、在如下各图中( )欧拉图。
10、10、设R就是实数集合,“⨯”为普通乘法,则代数系统<R ,×> 就是( )。
A.群;B.独异点;C.半群。
三、证明1、设R就是A上一个二元关系,)},,,(),(|,{RbcRcaAcAbabaS>∈<>∈<∈∧∈><=且有对于某一个试证明若R就是A上一个等价关系,则S也就是A上的一个等价关系。
2、用逻辑推理证明:所有的舞蹈者都很有风度,王华就是个学生且就是个舞蹈者。
因此有些学生很有风度。
3、若无向图G中只有两个奇数度结点,则这两个结点一定连通。
4、设G就是具有n个结点的无向简单图,其边数2)2)(1(21+--=nnm,则G就是Hamilton图。
四、计算1、设<Z6,+6>就是一个群,这里+6就是模6加法,Z6={[0 ],[1],[2],[3],[4],[5]},试求出<Z6,+6>的所有子群及其相应左陪集。
2、权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。
试卷二参考答案:一、 填空1、Q P →⌝;Q P ∧2、T3、R={<2,2>,<2,3>,<2,4>,<2,5>,<2,6>,<3,2>,<3,3>,<3,4>,<3,5>,<3,6>,<4,5>,<4,6>,<5,2>,<5,3>,<5,4>,<5,5>,<5,6>};⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛00000111111100011111111114、R={<1,2>,<1,3>,<2,1>};R={<1,1>,<2,2>,<3,3>}5、a ;否;有6、Klein 四元群;循环群7、 B8、)1(21-n n ;图中无奇度结点且连通1、(1) S 自反的A a ∈∀,由R 自反,),(),(R a a R a a >∈<∧>∈<∴,S a a >∈∴<,(2) S 对称的传递对称定义R Sa b R R b c R c a S R b c R c a S b a Ab a ΛΛΛ>∈⇒<>∈<∧>∈<⇒>∈<∧>∈<⇒>∈<∈∀,),(),(),(),(,,(3) S 传递的定义传递S Sc a R R c b R b a R c e R e b R bd R d a Sc b S b a Ac b a ΛΛ>∈⇒<>∈<∧>∈<⇒>∈<∧>∈<∧>∈<∧>∈<⇒>∈<∧>∈<∈∀,),(),(),(),(),(),(,,,,由(1)、(2)、(3)得;S 就是等价关系。
2、证明:设P(x):x 就是个舞蹈者; Q(x) :x 很有风度; S(x):x 就是个学生; a:王华 上述句子符号化为:前提:))()((x Q x P x →∀、)()(a P a S ∧ 结论:))()((x Q x S x ∧∃ ……3分①)()(a P a S ∧ 前提引入 ②))()((x Q x P x →∀ 前提引入 ③)()(a Q a P →②US④)(a P ①化简 ⑤).(a Q ③④假言推理I ⑥)(a S ①化简 ⑦)()(a Q a S ∧ ⑤⑥合取 ⑧)()((x Q x S x ∧∃⑦EG……11分3、证明 :)(,,2121b b B b b ≠∈∀A a a f ∈∃∴21,满射Θ21212211,),()(,)(,)(a a f a f a f b a f b a f ≠∴≠==是函数由于且使 )()()(),()(),()})(()(|{)()},)(()(|{)(21122122112211b g b g b g a b g a b g a b g a b x f A x x b g b x f A x x b g ≠∴∉∉∈∈∴=∧∈==∧∈=但又为单射任意性知由g b b ,,21。
4、证明:设G 中两奇数度结点分别为u 与v,若 u,v 不连通,则G 至少有两个连通分支G 1、G 2 ,使得u 与v 分别属于G 1与G 2,于就是G 1与G 2中各含有1个奇数度结点,这与图论基本定理矛盾,因而u,v 一定连通。
5、证明: 证G 中任何两结点之与不小于n 。
反证法:若存在两结点u,v 不相邻且1)()(-≤+n v d u d ,令},{1v u V =,则G-V 1就是具有n-2个结点的简单图,它的边数)1(2)2)(1(21'--+--≥n n n m ,可得1)3)(2(21'+--≥n n m ,这与G 1=G-V 1为n-2个结点为简单图的题设矛盾,因而G 中任何两个相邻的结点度数与不少于n 。
所以G 为Hamilton 图、四、 计算解:子群有<{[0]},+6>;<{[0],[3]},+6>;<{[0],[2],[4]},+6>;<{Z 6},+6> {[0]}的左陪集:{[0]},{[1]};{[2]},{[3]};{[4]},{[5]} {[0],[3]}的左陪集:{[0],[3]};{[1],[4]};{[2],[5]} {[0],[2],[4]}的左陪集:{[0],[2],[4]};{[1],[3],[5]} Z 6的左陪集:Z 6 。