厦门大学离散数学2015-2016期末考试试题答案年

合集下载

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。

B. 如果今天是周一,则明天不是周二。

答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。

答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。

这种性质称为函数的______。

答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。

如果一个图的直径为1,则该图被称为______。

答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。

布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。

答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。

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

例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。

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

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

例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。

离散数学期末考试题附答案和含解析1

离散数学期末考试题附答案和含解析1

..一、填空2.A ,B ,C 表示三个会合,文图中暗影部分的会合表达式为 (B⊕C)-AA C4.公式(PR)(SR)P的主合取范式为(PSR) ( PS R)。

5.若解说I 的论域D 仅包括一个元素,则 xP(x) xP(x) 在I 下真值为 1 。

6.设A={1,2,3,4},A 上关系图以下,则 R^2={(1,1),(1,3),(2,2),(2,4)}。

//备注: 0 1 0 01 0 1 0 0 1 0 1R 1 0 1 0 R 20 0 0 1 0 0 0 00 0 0 00 0 0 07.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图以下,则R={(a,b),(a,c),(a,d),(b,d),(c,d)}U{(a,a),(b,b)(c,c)(d,d)}。

备注:偏序知足自反性,反对称性,传达性8.图 的补图为 。

//补图:给定一个图G,又G 中全部结点和全部能使 G 成为完整图的增添边构成的图,成为补图. 自补图:一个图假如同构于它的补图,则是自补图 9.设A={a ,b ,c ,d},A 上二元运算以下:* a b c da abcd b b c d a ccdabd d a b c那么代数系统<A ,*>的幺元是 a ,有逆元的元素为a,b,c,d,它们的逆元分别为a,b,c,d 。

//备注:二元运算为 x*y=max{x,y},x,y A 。

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

//(注:什么是格?即随意两个元素有最小上界 和最大 下界的偏序)二、选择题 1、以下是真命题的有( C 、D )A .{a} {{a}};B .{{}} { ,{}};C .{{}, }; D .{} {{ }}。

2、以下会合中相等的有( B 、C )A .{4,3} ;B .{ ,3,4};C .{4, ,3,3};D .{3,4}。

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

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案1.选择题(每题3分,共30分)1. 下列命题中,属于复合命题的是:A. 3是一个奇数,且2是一个偶数B. 如果2是一个素数,那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x,使得x>5且x是一个偶数答案:D2. 已知命题p:草地是绿的,命题q:天空是蓝的。

下列表述可以表示p ∧ ¬q 的是:A. 草地是绿的,天空是蓝的B. 草地不是绿的,天空是蓝的C. 草地是绿的,天空不是蓝的D. 草地不是绿的,天空不是蓝的答案:B3. 设命题p表示“这个数是偶数”,q表示“这个数大于10”。

那么“这个数既是偶数又大于10”可以表示为:A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案:A4. 下列以下列集合的方式描述,其中哪个是空集∅:A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数,x > 10}C. {x | x是一个正偶数,x < 2}D. {x | x是一个负整数,x < -1}答案:C5. 设A = {a, b, c},B = {c, d, e},C = {a, c, e}。

则(A ∪ B) ∩ C等于:A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案:B6. 假设U是全集,A、B、C是U的子集。

则(A ∪ B) ∩ C 的补集是:A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案:D7. 若关系R为集合A到集合B的一种映射,且|A| = 7,|B| = 4,则R包含的有序对数目为:A. 4B. 7C. 11D. 28答案:D8. 设A={1,2,3},B={4,5,6},则从A到B的映射总数为:A. 3B. 9C. 6D. 18答案:C9. 设A={a,b,c,d,e},则集合A的幂集的元素个数是:A. 2B. 5C. 10D. 32答案:D10. 若f:A→B为满射且g:B→C为单射,则(g ∘ f):A→C为:A. 双射B. 满射C. 单射D. 非单射且非满射答案:A2.简答题(每题10分,共20分)1. 请简要解释什么是关系R的自反性、对称性和传递性。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,空集表示为:A. {0}B. {1}C. {}D. Ø答案:D2. 命题逻辑中,下列哪个是合取命题的真值表?A. P | Q | P ∧ QB. P | Q | P ∨ QC. P ∧ Q | P ∨ QD. P ∧ Q | ¬(P ∨ Q)答案:A3. 函数f: A → B是单射的,那么f的逆函数:A. 一定存在B. 一定不存在C. 可能存在D. 以上都不对答案:C4. 关系R是自反的,那么对于所有a∈A,以下哪个命题一定为真?A. (a, a) ∈ RB. (a, a) ∉ RC. (a, a) ∈ R或(a, a) ∉ RD. (a, a) ∈ R且(a, a) ∉ R答案:A5. 在图论中,下列哪个不是图的基本术语?A. 顶点B. 边C. 子集D. 路径答案:C6. 命题p: “如果x是偶数,则x能被4整除”的否定是:A. 如果x是偶数,则x不能被4整除B. 如果x不是偶数,则x不能被4整除C. 如果x不是偶数,则x能被4整除D. 如果x是偶数,则x不能被4整除或x不是偶数答案:A7. 有向图G中,如果存在从顶点u到顶点v的有向路径,则称v是u 的:A. 祖先B. 后代C. 邻居D. 连接点答案:B8. 在命题逻辑中,下列哪个命题是永真命题?A. (P ∧ ¬P) ∨ (P ∨ ¬P)B. (P ∧ ¬P) ∧ (P ∨ ¬P)C. (P ∨ ¬P) ∧ (¬P ∨ P)D. (P ∧ ¬P) ∧ (¬P ∧ P)答案:C9. 以下哪个选项是等价命题?A. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)B. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)C. P ∨ ¬P ≡ ¬P ∧ PD. P ∧ ¬P ≡ ¬P ∨ P答案:A10. 树是无环连通图,以下哪个是树的属性?A. 至少有一个环B. 至少有两个顶点C. 至少有一个顶点D. 至少有一个边答案:B二、填空题(每空2分,共20分)11. 集合{1, 2, 3}的幂集含有__个元素。

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)

离散数学期末考试试题(配答案)1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是___________。

2. 设全集{}{}{},5,2,3,2,1,5,4,3,2,1===B A E 则A ∩B =____;=A _____;=B A Y __ _____3. 设{}{}b a B c b a A ,,,,==;则=-)()(B A ρρ__ __________;=-)()(A B ρρ_____ ______。

二.选择题(每小题2分;共10分)1. 与命题公式)(R Q P →→等价的公式是( )(A )R Q P →∨)( (B )R Q P →∧)( (C ))(R Q P ∧→ (D ))(R Q P ∨→ 2. 设集合{}c b a A ,,=;A 上的二元关系{}><><=b b a a R ,,,不具备关系( )性质 (A ) (A)传递性 (B)反对称性 (C)对称性 (D)自反性 三.计算题(共43分)1. 求命题公式r q p ∨∧的主合取范式与主析取范式。

(6分)2. 设集合{}d c b a A ,,,=上的二元关系R 的关系矩阵为⎪⎪⎪⎪⎪⎭⎫⎝⎛=1000000011010001R M ;求)(),(),(R t R s R r 的关系矩阵;并画出R ;)(),(),(R t R s R r 的关系图。

(10分)5. 试判断),(≤z 是否为格?说明理由。

(5分)(注:什么是格?Z 是整数;格:任两个元素;有最小上界和最大下界的偏序)四.证明题(共37分)1. 用推理规则证明D D A C C B B A ⌝⇒∧⌝⌝⌝∧∨⌝→)(,)(,。

(10分)2. 设R 是实数集;b a b a f R R R f +=→⨯),(,:;ab b a g R R R g =→⨯),(,:。

求证:g f 和都是满射;但不是单射。

(10分)一;1; _ ∃x ∃y¬P(x)∨Q(y)2; {2} {4;5} {1;3;4;5}3; {{c};{a ;c};{b ;c};{a ;b ;c}} Φ_ 二;B D三;解:主合取方式:p ∧q ∨r ⇔(p ∨q ∨r)∧(p ∨¬q ∨r)∧(¬p ∨q ∨r)= ∏0.2.4主析取范式:p ∧q ∨r ⇔(p ∧q ∧r) ∨(p ∧q ∧¬r) ∨(¬p ∧q ∧r) ∨(¬p ∧¬q ∧r) ∨(p ∧¬q ∧r)= ∑1.3.5.6.7 四;1;证明:编号 公式 依据 (1) (¬B∨C )∧¬C 前提 (2) ¬B∨C ;¬C (1) (3) ¬B (2) (4) A →B (3) (5) ¬A (3)(4) (6) ¬(¬A∧D ) 前提 (7) A ∨¬D (6) (8)¬D (5)(6)2;证明:要证f 是满射;即∀y ∈R ;都存在(x1;x2)∈R ×R ;使f (x1;x2)=y ;而f (x1;x2)=x1+x2;可取x1=0;x2=y ;即证得;再证g 是满射;即∀y ∈R ;;都存在(x1;x2)∈R ×R ;使g (x1;x2)=y ;而g (x1;x2)=x1x2;可取x1=1;x2=y ;即证得;最后证f 不是单射;f (x1;x2)=f (x2;x1)取x1≠x2;即证得;同理:g (x1;x2)=g (x2;x1);取x1≠x2;即证得。

离散期末考试题及答案

离散期末考试题及答案

离散期末考试题及答案离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 有限集合A和B的并集,其元素个数最多是A和B元素个数之和,这个性质称为:A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案:C3. 命题逻辑中,以下哪个命题是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案:B4. 在图论中,一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环?A. 1B. 2C. 3D. 4答案:B5. 以下哪个算法用于生成一个集合的所有子集?A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案:D6. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D7. 以下哪个是有限自动机的状态?A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案:D8. 以下哪个是图论中的一个基本定理?A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案:D9. 在命题逻辑中,以下哪个是德摩根定律的逆命题?A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案:B10. 在集合论中,以下哪个操作表示集合的差集?A. ∩B. ∪C. -D. ×答案:C二、填空题(每空3分,共30分)11. 集合{1, 2, 3}的幂集包含________个元素。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 以下哪个选项是图的边数与顶点数的关系?A. 边数小于顶点数B. 边数等于顶点数C. 边数大于顶点数D. 边数与顶点数无固定关系答案:D2. 有限自动机的英文缩写是什么?A. FAB. PDAC. TMAD. NFA答案:A3. 布尔代数中,德摩根定律是指什么?A. ¬(A ∧ B) 等于¬ A ∨ ¬ BB. ¬(A ∨ B) 等于¬ A ∧ ¬ BC. A ∧ B 等于¬(A ∨ B)D. A ∨ B 等于¬(¬ A ∧ ¬B)答案:B4. 在命题逻辑中,以下哪个符号表示蕴含?A. ∧B. ∨C. →D. ↔答案:C5. 集合A = {1, 2, 3},B = {2, 3, 4},则A ∪ B等于:A. {1, 2, 3, 4}B. {1, 2, 3}C. {2, 3, 4}D. {1, 3, 4}答案:A6. 以下哪个选项是正确的递归定义?A. 一个数是偶数当且仅当它是2的倍数B. 一个数是偶数当且仅当它不是2的倍数C. 一个数是偶数当且仅当它是另一个偶数加1D. 以上都是正确的递归定义答案:A7. 有向图和无向图的主要区别是什么?A. 有向图的边有方向,无向图的边没有方向B. 有向图的顶点有方向,无向图的顶点没有方向C. 有向图的边可以相交,无向图的边不可以相交D. 有向图可以有环,无向图不可以有环答案:A8. 在命题逻辑中,以下哪个公式是矛盾的?A. A ∧ ¬ AB. A ∨ ¬ AC. A → BD. A ∧ B ∧ ¬ A答案:A9. 以下哪个是图的同义术语?A. 网络B. 矩阵C. 树D. 以上全部答案:A10. 以下哪个命题逻辑公式是有效的?A. (A → B) ∧ (B → A)B. (A ∧ B) → AC. (A ∨ B) → AD. (A ∧ B) → B答案:B二、填空题(每题2分,共20分)11. 在命题逻辑中,_________ 表示一个命题是真的,而 _________ 表示一个命题是假的。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项不是集合的基本运算?A. 并集B. 交集C. 差集D. 乘法答案:D2. 命题逻辑中,以下哪个命题不是基本的逻辑连接词?A. 与(∧)B. 或(∨)C. 非(¬)D. 等于(=)答案:D3. 在图论中,一个图的度数之和等于边数的几倍?A. 1B. 2C. 3D. 4答案:B4. 以下哪个是布尔代数的基本定理?A. 德摩根定律B. 布尔代数的分配律C. 布尔代数的结合律D. 所有选项都是答案:D5. 以下哪个不是组合数学中的计数原理?A. 加法原理B. 乘法原理C. 排列D. 组合答案:C6. 在关系数据库中,以下哪个操作不是基本的数据库操作?A. 选择B. 投影C. 连接D. 排序答案:D7. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入符号D. 所有选项都是答案:D8. 以下哪个命题逻辑表达式是真命题?A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p → q) ∧ (q → p)D. (p → q) ∧ (¬p → ¬q)答案:D9. 以下哪个是归纳法证明的基本步骤?A. 基础步骤B. 归纳步骤C. 反证法D. 所有选项都是答案:B10. 以下哪个是图的遍历算法?A. 深度优先搜索(DFS)B. 广度优先搜索(BFS)C. Dijkstra算法D. 所有选项都是答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的德摩根定律。

答案:德摩根定律是命题逻辑中描述否定命题的两个重要定律。

它们分别是:- ¬(p ∧ q) ≡ ¬p ∨ ¬q- ¬(p ∨ q) ≡ ¬p ∧ ¬q2. 解释什么是图的连通分量,并给出一个例子。

答案:图的连通分量是指图中最大的连通子图。

大学《离散数学》期末考试试卷及答案(1)

大学《离散数学》期末考试试卷及答案(1)

大学《离散数学》期末考试试卷及答案(1)一、选择题1. 离散数学的主要研究对象是()。

A. 连续的数学结构B. 有限的数学结构C. 数学的综合应用D. 数学的哲学思考2. 命题逻辑是离散数学的一个重要组成部分,它主要研究()。

A. 命题之间的真假关系B. 变量之间的关系C. 函数之间的关系D. 集合之间的关系3. 集合的基本运算包括()。

A. 并、交、差、补B. 加、减、乘、除C. 包含、相等、不等、自反D. 大于、小于、等于、不等于二、填空题1. 若集合A={m|2m-1>3},则A中的元素为______。

2. 有一个集合A={1,2,3},则集合A的幂集为______。

3. 若命题p为真,命题q为假,则复合命题“p∧q”的真值为______。

三、解答题1. 请写出离散数学中常用的数学符号及其含义。

2. 请解释命题逻辑中的充分必要条件及其符号表示,并给出一个例子。

3. 请定义集合的笛卡尔积,并给出两个集合进行笛卡尔积运算的例子。

四、问答题1. 离散数学在计算机科学中有着重要的应用,请列举三个与计算机科学相关的离散数学应用领域并简要介绍。

2. 请简要解释归纳法在离散数学中的作用,并给出一个使用归纳法证明的例子。

3. 什么是有向图?请给出一个有向图的例子,并解释该图中的关系。

参考答案:一、选择题1. B2. A3. A二、填空题1. A={m|2m-1>3}2. {{}, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}3. 假三、解答题1. 常用数学符号及含义:- ∪:并,表示集合的合并操作。

- ∩:交,表示集合的交集操作。

- ∖:差,表示减去一个集合中的元素。

- ⊆:包含,表示一个集合包含于另一个集合。

- =:相等,表示两个集合具有相同的元素。

2. 充分必要条件是指一个命题的成立与另一个命题的成立互为必要条件,若A是B的充分必要条件,那么当A成立时B一定成立,且当A不成立时B也一定不成立。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、单项选择题(每题2分,共20分)1. 集合{1, 2, 3}的子集个数是:A. 3B. 4C. 8D. 2^3答案:C2. 命题逻辑中,命题p∧(q∨¬p)的真值表中,真值个数为:A. 1B. 2C. 3D. 4答案:B3. 函数f: A→B中,若A={1, 2},B={a, b},则f是单射的必要条件是:A. |A| ≤ |B|B. |A| < |B|C. |A| = |B|D. |A| > |B|答案:B4. 以下哪个图是无向图?A. 有向图B. 无向图C. 完全图D. 树答案:B5. 在图论中,一个图的生成树是:A. 包含图中所有顶点的最小连通子图B. 包含图中所有边的最小连通子图C. 包含图中所有顶点和边的连通子图D. 包含图中所有顶点和边的无环子图答案:A6. 以下哪个命题是真命题?A. 所有偶数都是整数B. 所有整数都是偶数C. 所有奇数都是整数D. 所有整数都是奇数答案:A7. 在布尔代数中,以下哪个运算符表示逻辑与?A. ∨B. ∧C. ¬D. →答案:B8. 有限状态机中,状态的转移是由以下哪个决定的?A. 当前状态B. 输入符号C. 当前状态和输入符号D. 输出符号答案:C9. 以下哪个是图的遍历算法?A. 深度优先搜索B. 广度优先搜索C. 动态规划D. 分治算法答案:A10. 在集合论中,以下哪个符号表示集合的交集?A. ∪B. ∩C. ×D. ÷答案:B二、填空题(每题2分,共20分)1. 集合{1, 2, 3}的幂集是{∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}},其中包含元素个数最多的子集是_。

答案:{1, 2, 3}2. 在命题逻辑中,如果p和q都为真,则p∨q的真值为_。

答案:真3. 函数f: A→B中,若A={1, 2},B={a, b, c},则f是满射的必要条件是_。

《离散数学》期末练习题考试卷和答案

《离散数学》期末练习题考试卷和答案

a , b, c , d , e, f , g,那么 所对应的 19. 设集合 A a , b , c , d , e , f , g , A 上有一个划分
等价关系 R 应有( )个序偶。 )。
20. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
等价关系 R 应有( )个序偶。 )。
25. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
26. 一个(
)称为布尔代数。
27.P Q P Q 的主析取范式是
。(写出一般
5
表示形式即可) 28.设集合 A a , b , c , d , R 是 A 上的二元关系,且 R a , b , b , a , b , c , c , d , a , c , 则 R 的传递闭包 t R 。
C. x x是正整数, x 5


D. x x是有理数, x 5

6.下面有关集合之间的包含和属于关系的说法,正确的是 Ⅰ. Ⅲ.
Ⅱ. , ,
Ⅳ.
a, b a, b, a, b
B.Ⅰ和Ⅲ
a, b a, b, a, b, c
二、填空题 1.设 A 为非空集合,且 A n ,则 A 上不同的二元关系的个数为 为 。 时, P Q 的真值为 1。 , A 上不同的映射的个数
2.设 P 、 Q 为两个命题,当且仅当
3. 在运算表中的空白处填入适当符号,使 a , b , c, * 成为群。 *
a a
a b c
4. 当 n 为 数时, K n n 3 必为欧拉图。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},B={2,3,4},则A∩B=()。

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

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

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案:A4. 集合{1,2,3}与集合{3,2,1}是否相等?()。

A. 是B. 否C. 无法确定D. 以上都不对答案:A5. 命题p:“x>0”,则¬p为()。

A. x≤0B. x<0C. x=0D. x<0或x=0答案:A6. 命题“若x>0,则x>1”的逆命题是()。

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

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案:A8. 集合{1,2,3}与集合{3,2,1}是否相等?()。

A. 是B. 否C. 无法确定D. 以上都不对答案:A9. 命题p:“x>0”,则¬p为()。

A. x≤0B. x<0C. x=0D. x<0或x=0答案:A10. 命题“若x>0,则x>1”的逆命题是()。

A. 若x>0,则x>1B. 若x≤1,则x≤0C. 若x>1,则x>0D. 若x≤0,则x≤1答案:C二、填空题(每题2分,共20分)1. 集合A={1,2,3},B={2,3,4},则A∪B=______。

答案:{1,2,3,4}2. 命题“若x>0,则x>1”的逆否命题是:若x≤1,则x≤0。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,表示两个集合A和B的并集的符号是:A. ∩B. ∪C. ⊂D. ⊆2. 以下哪个命题逻辑表达式是真命题,当P为真,Q为假时?A. ¬PB. P ∧ QC. P ∨ QD. P → Q3. 如果函数f: A → B是一个单射,那么它不能是:A. 满射B. 双射C. 恒等函数D. 逆函数4. 在图论中,一个图G是连通的,当且仅当:A. G是无向图B. G是简单图C. G是完全图D. 对于任意两个顶点,都存在一条路径5. 以下哪个不是组合数学中的计数原理?A. 加法原理B. 乘法原理C. 排列D. 组合二、简答题(每题10分,共30分)6. 解释什么是二元关系,并给出一个例子。

7. 描述什么是有向图和无向图的区别。

8. 什么是等价关系,它有哪些性质?三、计算题(每题15分,共30分)9. 给定集合A = {1, 2, 3, 4},B = {a, b, c},定义函数f: A → B,其中f(1) = a, f(2) = b, f(3) = c, f(4) = a。

判断f是否是单射、满射或双射,并给出理由。

10. 计算以下命题逻辑表达式的真值表:(P ∧ Q) → (¬P ∨ R),其中P、Q、R是命题变量。

四、证明题(每题20分,共20分)11. 证明:如果一个图G是连通的,那么它的任意子图也是连通的。

答案一、选择题1. B2. C3. A4. D5. D二、简答题6. 二元关系是定义在两个集合上的一个关系,它将第一个集合中的每个元素与第二个集合中的元素相关联。

例如,如果A是人名的集合,B是年龄的集合,关系R可以是“比...年长”,那么(Alice, 30) ∈ R表示Alice比30岁年长。

7. 有向图由顶点和有向边组成,每条边都有一个方向,表示从一个顶点指向另一个顶点。

无向图由顶点和无向边组成,边没有方向。

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案1. 题目描述:以下是离散数学期末考试的题目。

请仔细阅读每个问题,并在题后给出相应的答案。

请注意,答案应尽量详细和准确,以确保得分。

1.1 命题与谓词逻辑(20分)1.1.1 什么是命题逻辑?它可以用于解决哪些问题?1.1.2 简要解释谓词逻辑的概念和其在离散数学中的应用。

1.2 集合和图论(30分)1.2.1 定义两个集合的并、交和差的概念。

1.2.2 解释有向图和无向图的区别,并给出一个实际应用中的例子。

1.3 关系和函数(40分)1.3.1 什么是关系?请给出一个实际应用中关系的例子。

1.3.2 定义函数的概念,并解释函数与关系的区别。

1.4 计数原理(20分)1.4.1 简要阐述乘法原理和加法原理的概念,并给出一个应用实例。

1.4.2 什么是排列和组合?请说明它们的应用场景,并给出一个例子。

2. 答案解析:2.1 命题与谓词逻辑1.1.1 命题逻辑是一种数学分支,用于研究命题之间的关系和推理规则。

其应用范围广泛,包括数学、计算机科学、哲学等领域。

1.1.2 谓词逻辑是一种扩展了命题逻辑的逻辑体系,它考虑了命题中的变量、谓词和量词等元素。

在离散数学中,谓词逻辑常用于描述集合、函数和关系等概念。

2.2 集合和图论1.2.1 集合的并(∪)是指将两个或多个集合中的所有元素取出形成一个新的集合;交(∩)指仅包含两个或多个集合中共有的元素;差(-)是指从一个集合中去除另一个集合中的元素。

1.2.2 有向图中,边是具有方向性的;而在无向图中,边是没有方向性的。

例如,在社交网络中,有向图可以表示人与人之间的关注关系,而无向图可以表示人与人之间的好友关系。

2.3 关系和函数1.3.1 关系是集合之间的一种特殊的子集,它描述了元素之间的某种联系。

例如,家族中的血亲关系可以看作是一个关系。

关系可以用图、矩阵等方式表示。

1.3.2 函数是一种特殊的关系,它将一个集合中的每个元素映射到另一个集合中的唯一元素。

离散数学期末考试试题(有几套带答案)

离散数学期末考试试题(有几套带答案)

离散试卷及答案离散数学试题(A 卷及答案)一、证明题(10分) 1)(P ∧(Q ∧R))∨(Q ∧R)∨(P ∧R)R证明: 左端(P ∧Q ∧R)∨((Q ∨P)∧R)((P ∧Q)∧R))∨((Q ∨P)∧R)((P ∨Q)∧R)∨((Q ∨P)∧R)((P ∨Q)∨(Q ∨P))∧R ((P ∨Q)∨(P ∨Q))∧RT ∧R(置换)R2)x(A(x)B(x))xA(x)xB(x) 证明 :x(A(x)B(x))x(A(x)∨B(x))xA(x)∨xB(x)xA(x)∨xB(x)xA(x)xB(x)二、求命题公式(P ∨(Q ∧R))(P ∧Q ∧R)的主析取范式和主合取范式(10分)证明:(P ∨(Q ∧R))(P ∧Q ∧R)(P ∨(Q ∧R))∨(P ∧Q ∧R))(P ∧(Q ∨R))∨(P ∧Q ∧R) (P ∧Q)∨(P ∧R))∨(P ∧Q ∧R) (P ∧Q ∧R)∨(P ∧Q ∧R)∨(P ∧Q ∧R))∨(P ∧Q ∧R))∨(P ∧Q ∧R) m0∨m1∨m2∨m7 M3∨M4∨M5∨M6三、推理证明题(10分) 1)C ∨D, (C ∨D) E, E (A ∧B), (A ∧B)(R ∨S)R ∨S证明:(1) (C ∨D) E(2) E (A ∧B) (3) (C ∨D)(A ∧B)(4) (A ∧B)(R ∨S)(5) (C ∨D)(R ∨S)(6) C ∨D (7) R ∨S 2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x)) 证明(1)xP(x)(2)P(a) (3)x(P(x)Q(y)∧R(x)) (4)P(a)Q(y)∧R(a)(5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)x(P(x)∧R(x))(11)Q(y)∧x(P(x)∧R(x))四、设m 是一个取定的正整数,证明:在任取m +1个整数中,至少有两个整数,它们的差是m 的整数倍证明 设1a ,2a ,…,1+m a 为任取的m +1个整数,用m 去除它们所得余数只能是0,1,…,m -1,由抽屉原理可知,1a ,2a ,…,1+m a 这m +1个整数中至少存在两个数s a 和t a ,它们被m 除所得余数相同,因此s a 和t a 的差是m 的整数倍。

离散数学期末考试题(附答案和含解析3)

离散数学期末考试题(附答案和含解析3)

一、单项选择题2.设集合A={1,2,3},下列关系R 中不.是等价关系的是( D ) A.R={<1,1>,<2,2>,<3,3>}; B.R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>};C. R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};D. R={<1,1>,<2,2>,<3,3>,<1,2 >}.3.在公式(x ∀)F (x ,y )→(∃ y )G (x ,y )中变元x 是( B )A .自由变元;(前面无∀或∃量词)B .既是自由变元,又是约束变元;C .约束变元;(前面有∀或∃量词)D .既不是自由变元,又不是约束变元.4.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是( C )A .1∈A ;B .{1,2,3}⊆A ;C .{{4,5}}⊆A ;D .∅∈A.5.设论域为{l ,2},与公式)()(x A x ∃等价的是( A )A.A (1)∨A (2);B. A (1)→A (2);C.A (1)∧A (2);D. A (2)→A (1).6.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是( B )A.13 ;B.14 ;C.16 ;D.17 .//设一度结点数为n,则有:5×3+2×2+n=2[(5+2+n)-1]解得:n=7, 所以这棵树的结点数为:m=5+2+7=14.7.设A 是偶数集合,下列说法正确的是( A )A .<A ,+>是群;B .<A ,×>是群;C .<A ,÷>是群;D .<A ,+>, <A ,×>,<A ,÷>都不是群。

厦门大学离散数学2015-2016期末考试试题答案年

厦门大学离散数学2015-2016期末考试试题答案年

一(6%)选择填空题。

(1) 设S = {1,2,3},R 为S 上的二元关系,其关系图如右图所示,则R 具有( )的性质。

A. 自反、对称、传递;B. 反自反、反对称;C. 自反、传递;D. 自反。

123(2) 设A = {1, 2, 3, 4}, A 上的等价关系 R = {<a, b >, <b, a >, <c, d >, <d, c > } A I , 则对应于R 的A 的划分是( )。

A. {{a }, {b , c }, {d }};B. {{a , b }, {c }, {d }};C. {{a }, {b }, {c }, {d }};D. {{a , b }, {c , d }}。

二(10%)计算题。

(1) 求包含35条边,顶点的最小度至少为3的图的最大顶点数。

(2) 求如下图所示的有向图中,长度为4的通路的数目,并指出这些通路中有几条回路,几条由3v 到4v 的通路。

v 1v 2v 3v4三 (14%) (1) 求 )()(p r q p →→∨ 的主析取范式,主合取范式及真值表;(2) 求 )()),(),((x xH y x yG y x xF ∃→∃→∀⌝的前束范式。

四 (8%) 将下列命题符号化:其中 (1), (2) 在命题逻辑中,(3), (4) 在一阶逻辑中。

(1) 除非天下雨,否则他不乘公共汽车上班;(2) 我不能一边听课,一边看小说;(3) 有些人喜欢所有的花;厦门大学《离散数学》课程试卷学院 系 年级 专业主考教师: 张莲珠,杨维玲 试卷类型:(A 卷)(4)没有不犯错的人。

五(10%) 在自然推理系统P中构造下面推理的证明:如果他是计算机系本科生或者是计算机系研究生,则他一定学过DELPHI 语言且学过C++语言。

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

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

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

一(6%)选择填空题。

(1) 设S = {1,2,3},R 为S 上的二元关系,其关系图如右图所示,则R 具有( )的性质。

A. 自反、对称、传递;
B. 反自反、反对称;
C. 自反、传递;
D. 自反。

123
(2) 设A = {1, 2, 3, 4}, A 上的等价关系 R = {<a, b >, <b, a >, <c, d >, <d, c > } A I , 则对应于R 的A 的划分是( )。

A. {{a }, {b , c }, {d }};
B. {{a , b }, {c }, {d }};
C. {{a }, {b }, {c }, {d }};
D. {{a , b }, {c , d }}。

二(10%)计算题。

(1) 求包含35条边,顶点的最小度至少为3的图的最大顶点数。

(2) 求如下图所示的有向图中,长度为4的通路的数目,并指出这些通路中有几条回路,几条由3v 到4v 的通路。

v 1
v 2v 3v
4
三 (14%) (1) 求 )()(p r q p →→∨ 的主析取范式,主合取范式及真值表;
(2) 求 )()),(),((x xH y x yG y x xF ∃→∃→∀⌝的前束范式。

四 (8%) 将下列命题符号化:其中 (1), (2) 在命题逻辑中,(3), (4) 在一阶逻辑中。

(1) 除非天下雨,否则他不乘公共汽车上班;
(2) 我不能一边听课,一边看小说;
(3) 有些人喜欢所有的花;
厦门大学《离散数学》课程试卷
学院 系 年级 专业
主考教师: 张莲珠,杨维玲 试卷类型:(A 卷)
(4)没有不犯错的人。

五(10%) 在自然推理系统P中构造下面推理的证明:
如果他是计算机系本科生或者是计算机系研究生,则他一定学过DELPHI 语言且学过C++语言。

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

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

六(10%) 在自然推理系统中构造下面推理的证明(个体域:人类):
每个喜欢步行的人都不喜欢坐汽车,每个人或者喜欢坐汽车或者喜欢骑自行车。

有的人不喜欢骑自行车,因而有的人不喜欢步行。

七(14%) 下图给出了一些偏序集的哈斯图,判断其是否为格,对于不是格的说明理由,对于是格的说明它们是否为分配格、有补格和布尔格(布尔代数)。

八(12%) 设S = {1, 2, 3, 4, 6, 8, 12, 24},“ ”为S 上整除关系,
(1)画出偏序集>< ,S 的哈斯图;
(2)设B = { 2, 3, 4, 6, 12},求B 的极小元、最小元、极大元、最大元,下界,上界。

九(8%) 画一个无向图,使它是:
(1)是欧拉图,不是哈密尔顿图;
(2)是哈密尔顿图,不是欧拉图;
(3)既不是欧拉图,也不是哈密尔顿图;
并且对欧拉图或哈密尔顿图,指出欧拉回路或哈密尔顿回路,对于即不是欧拉图也不是哈密尔顿图的说明理由。

十(8%)设6个字母在通信中出现的频率如下:
%45:a %13:b %12:c
%16:d %9:e %5:f
用Huffman 算法求传输它们的最佳前缀码。

要求画出最优树,指出每个字母对应的编码,并指出传输)2(10≥n n 个按上述频率出现的字母需要多少个二进制数字。

相关文档
最新文档