内蒙古大学离散数学12-13学年期末试卷

合集下载

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

广东技术师范学院模拟试题科目：离散数学考试形式：闭卷考试时间: 120 分钟系别、班级：姓名：学号：一．填空题（每小题2分，共10分）1. 谓词公式)()(x xQ x xP ∃→∀的前束范式是__ ∃x ∃y¬P(x)∨Q(y) __________。

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

4. 在代数系统（N ，+）中，其单位元是0，仅有 _1___ 有逆元。

5．如果连通平面图G 有n 个顶点，e 条边，则G 有___e+2-n ____个面。

二．选择题（每小题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)自反性 3. 在图>=<E V G ,中,结点总度数与边数的关系是( ) (A)E v i 2)deg(= (B) E v i =)deg((C)∑∈=Vv iE v 2)deg((D) ∑∈=Vv iE v )deg(4. 设D 是有n 个结点的有向完全图,则图D 的边数为( ) (A))1(-n n (B))1(+n n (C)2/)1(+n n (D)2/)1(-n n5. 无向图G 是欧拉图,当且仅当( )(A) G 的所有结点的度数都是偶数 (B)G 的所有结点的度数都是奇数(C)G 连通且所有结点的度数都是偶数 (D) G 连通且G 的所有结点度数都是奇数。

内蒙古大学离散数学12-13学年期末试卷

计算机学院 11 级计算机科学与技术&软件工程专业 12/13 学年一学期
离散数学试卷(A 卷)
（闭卷 120 分钟）
班级
总分核分人题号得分得分
姓名
一二三四
学号
五六七
重修标记□
八九
线
复查人
得分
评卷人
一、
本大题 10 分求命题公式(P(Q∧R))∧(¬P(¬Q∧¬R))主合取范式。
略
第4页
共6页
得分
评卷人
七、本大题共 4 小问，每问 3 分，共 12 分
图 G=<V，E>如下所示：（1）写出 G 的一个生成子图。（2）求 E1={(a,b),(a, d)}的导出子图 G[E1]。（3）求 V1={a, b, c, d}的导出子图 G[V1]。（4）G 的任何一个子图是否都可以由某一个顶点子集导出？试说明理由。
(1) δ(G)=2 κ(G)=2 λ密尔顿图 b a c d e
第6页
共6页
得分
评卷人
九、本大题 7 分
已知由 k 个连通分支构成的 n 阶平面图 G 有 r 个面，求 G 的边数 m？欧拉定理 r+n-m=k+1 m=r+n-k-1
（1）自反，对称，传递（2） r(R)=s(R)=t(R)=R
得分
评卷人
三、
大题共 4 小问，每问 3 分，共 12 分
设集合 S={a，b，c}，问：（1）可定义多少不同的 S 上的二元关系？（2）可定义多少不同的 S 上的等价关系？（3）S 到 S 的不同的映射的数量？（4）在 S 上可以定义多少不同的二元运算？ (1) 29 (2)5 (3)33 (4)39

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

离散数学期末考试试题及答案离散数学期末考试试题及答案离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。

下面是小编整理的离散数学期末考试试题及答案，欢迎阅读参考！一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。

1、在由3个元素组成的集合上，可以有 ( ) 种不同的'关系。

[A] 3 [B] 8 [C]9 [D]272、设A1,2,3,5,8,B1,2,5,7,则AB( )。

[A] 3,8 [B]3 [C]8 [D]3,83、若X是Y的子集，则一定有( )。

[A]X不属于Y [B]X∈Y[C]X真包含于Y [D]X∩Y=X4、下列关系中是等价关系的是( )。

[A]不等关系 [B]空关系[C]全关系 [D]偏序关系5、对于一个从集合A到集合B的映射，下列表述中错误的是( )。

[A]对A的每个元素都要有象 [B] 对A的每个元素都只有一个象[C]对B的每个元素都有原象 [D] 对B的元素可以有不止一个原象6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为( )。

[A]p→q [B]q→p [C]┐q→┐p [D]┐p→q7、设A={a,b,c},则A到A的双射共有( )。

[A]3个 [B]6个 [C]8个 [D]9个8、一个连通G具有以下何种条件时，能一笔画出：即从某结点出发，经过中每边仅一次回到该结点( )。

[A] G没有奇数度结点 [B] G有1个奇数度结点[C] G有2个奇数度结点 [D] G没有或有2个奇数度结点9、设〈G,*〉是群，且|G|>1，则下列命题不成立的是( )。

[A] G中有幺元 [B] G中么元是唯一的[C] G中任一元素有逆元 [D] G中除了幺元外无其他幂等元10、令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为( )[A] p→┐q [B] p∨┐q[C] p∧q [D] p∧┐q11、设G=的结点集为V={v1,v2,v3},边集为E={,}.则G的割(点)集是( )。

离散数学期末考试卷

离散数学期末考试卷一、选择题（每题2分，共20分）1. 在集合论中，下列哪个选项不是集合的基本运算？A. 并集B. 交集C. 差集D. 幂集2. 命题逻辑中，下列哪个命题不是合取命题？A. (p ∧ q)B. (p ∨ q)C. (p → q)D. (p ↔ q)3. 关系R在集合A上是自反的，这意味着：A. 对于所有a∈A，(a, a)∈RB. R是对称的C. R是传递的D. R是反对称的4. 在图论中，下列哪个不是图的基本概念？A. 顶点B. 边C. 路径D. 矩阵5. 布尔代数中，下列哪个操作不是基本操作？A. 与（AND）B. 或（OR）C. 非（NOT）D. 模（MOD）6. 函数f: A → B，下列哪个条件不是函数的一一对应的必要条件？A. 对于A中不同的元素，它们的函数值不同B. 对于B中的每个元素，A中至少有一个元素映射到它C. 对于A中的每个元素，B中只有一个元素映射到它D. A和B的元素数量相同7. 在组合数学中，下列哪个是排列的定义？A. 从n个不同元素中取出r个元素的所有可能组合B. 从n个不同元素中取出r个元素的所有可能排列C. 从n个元素中取出r个元素的所有可能组合，不考虑顺序D. 从n个元素中取出r个元素的所有可能排列，考虑顺序8. 逻辑等价是指两个命题：A. 总是同时为真或同时为假B. 在所有可能的真值分配下都具有相同的真值C. 只有在某些真值分配下具有相同的真值D. 至少在一个真值分配下具有相同的真值9. 递归函数的特点是：A. 只能通过迭代来实现B. 必须有一个或多个基本情况C. 只能通过递归调用自身来实现D. 不能包含任何循环结构10. 在证明中，归纳法的基本步骤是：A. 基础步骤和归纳步骤B. 假设步骤和证明步骤C. 假设步骤和归纳步骤D. 基础步骤和假设步骤二、填空题（每空2分，共20分）11. 集合{1, 2, 3}的幂集包含元素个数为______。

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

离散数学期末考试试题及答案一、选择题（每题3分，共30分）1. 设集合A={1, 2, 3, 4, 5}，B={2, 4, 6, 8}，则A∩B是（）A. {1, 2, 3, 4, 5}B. {2, 4}C. {1, 3, 5}D. {2, 4, 6, 8}2. 下列关系中，哪个是等价关系？（）A. 小于关系B. 大于等于关系C. 模2同余关系D. 整除关系3. 设P(x)是谓词逻辑公式，下列哪个命题与∀xP(x)等价？（）A. ∃x¬P(x)B. ¬∀xP(x)C. ¬∃xP(x)D. ∃x¬P(x)4. 一个图的欧拉回路是指（）A. 经过每一条边的路径B. 经过每一个顶点的路径C. 经过每一条边的环D. 经过每一个顶点的环5. 设G是一个无向图，下列哪个说法是正确的？（）A. G的每个顶点的度数都相等B. G的每个顶点的度数都不相等C. G的任意两个顶点之间都有一条边D. G的任意两个顶点之间都不一定有边6. 下列哪个图是哈密顿图？（）A. K3,3B. K5C. K4,4D. K67. 设G是一个具有n个顶点的连通图，则G的最小生成树至少包含（）A. n个顶点B. n-1条边C. n+1条边D. 2n条边8. 下列哪个算法可以用来求解最短路径问题？（）A. Dijkstra算法B. Kruskal算法C. Prim算法D. Floyd算法9. 设P和Q是两个命题，下列哪个命题与(P→Q)∧(Q→P)等价？（）A. P∧QB. P∨QC. P↔QD. ¬P∨¬Q10. 设A是一个有限集合，A的幂集是指（）A. A的所有子集B. A的所有真子集C. A的所有非空子集D. A的所有非空真子集二、填空题（每题3分，共30分）11. 设集合A={1, 2, 3, 4, 5}，B={2, 4, 6, 8}，则A-B=______。

12. 设P(x)是谓词逻辑公式，∃xP(x)表示“存在一个x使得P(x)成立”，那么∀x¬P(x)表示“______”。

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

离散数学期末考试题及答案一、选择题（每题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. ⊂答案：A2. 如果A和B是两个集合，那么A∪B表示什么？A. A和B的交集B. A和B的并集C. A和B的差集D. A和B的补集答案：B3. 以下哪个命题是真命题？A. ∀x∈N, x^2 > xB. ∃x∈N, x^2 = x + 1C. ∀x∈N, x^2 ≥ xD. ∃x∈N, x^2 < x答案：C4. 在图论中，一个无向图的边数为E，顶点数为V，那么这个图的生成树的边数是多少？A. EB. V-1C. VD. E-1答案：B5. 以下哪个算法是用于解决旅行商问题（TSP）的？A. 动态规划B. 贪心算法C. 分支限界法D. 回溯法答案：D6. 在逻辑中，以下哪个符号表示“蕴含”？A. ∧B. ∨C. →D. ↔答案：C7. 以下哪个是二进制数？A. 1010B. 2A3C. 12BD. ZYX答案：A8. 在关系数据库中，以下哪个操作用于删除表中的行？A. SELECTB. INSERTC. UPDATED. DELETE答案：D9. 以下哪个是布尔代数的基本运算？A. 并集B. 交集C. 差集D. 所有以上答案：D10. 在离散数学中，以下哪个概念用于描述两个集合之间的关系？A. 函数B. 映射C. 序列D. 所有以上答案：D二、多项选择题（每题3分，共15分）11. 以下哪些是集合的基本运算？A. 并集B. 交集C. 差集D. 补集答案：ABCD12. 在图论中，以下哪些是图的基本类型？A. 无向图B. 有向图C. 完全图D. 二分图答案：ABCD13. 在逻辑中，以下哪些是命题逻辑的基本连接词？A. 与（∧）B. 或（∨）C. 非（¬）D. 蕴含（→）答案：ABCD14. 在关系数据库中，以下哪些是SQL的基本操作？A. SELECTB. INSERTC. UPDATED. DELETE答案：ABCD15. 在离散数学中，以下哪些是组合数学的基本概念？A. 排列B. 组合C. 二项式系数D. 图论答案：ABC三、填空题（每题3分，共30分）16. 如果集合A={1, 2, 3}，集合B={2, 3, 4}，那么A∩B=______。

大学《离散数学》期末考试试卷及答案(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也一定不成立。

(完整word版)离散数学期末考试试题及答案

离散数学试题(B卷答案1）一、证明题（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))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明：∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(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 P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2)，I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4)， I(6) C∨D P(7) R∨S T(5)，I2) ∀x(P(x)→Q(y)∧R(x))，∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1)，ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3)，US(5)Q(y)∧R(a) T(2)(4)，I(6)Q(y) T(5)，I(7)R(a) T(5)，I(8)P(a)∧R(a) T(2)(7)，I(9)∃x(P(x)∧R(x)) T(8)，EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9)，I四、某班有25名学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。

2013学年第二学期《离散数学》期末考试试卷(A卷)

大学期末考试试卷（A 卷）20 -20 学年第二学期考试科目：离散数学考试类型：（闭卷）考试考试时间： 120 分钟学号姓名年级专业(在下划线上填空. 在圆括号内填✓或✗. 笔字符✐表示用铅笔作图或在图上答题)一. 逻辑24分1. (8分)公式(p ∧q ) →(p ∨r )是重言式( ); {∨, ↔}是联结词完备集( ); ∀x ∃y (F (x ,y )∨G (x ,y ))是闭式( ); ∀xF (x ) → ∀yG (x , y )是前束范式()..2. (4分) (p →q ) ∨ (q →r )的成真赋值是______________________________________. 论域是人, F (x ): x 量小; G (x ): x 是君子, “量小非君子”符号化为______________________.3.(4分)用等值演算法证明(p → q ) ∧ (p → r ) ⇔ p → q ∧r .4. (4分)求(p ∨q ) ∨r 的主析取范式.5. (4分)前提: p→q, ⌝(q∧r), r, 结论: ⌝p. 构造推理的证明.序号公式依据(只填序号)①二. 关系24分1. (6分)设R={〈0,2〉,〈1,3〉,〈2,2〉,〈3,4〉}, 则R是函数( ), R是单射(), R是反对称的().2. (4分)设R= {〈a, a〉, 〈a, c〉, 〈d, e〉}, 则|r(R)|= ________ , dom R={________________}.3. (6分)设R= {〈a, a〉, 〈b, c〉, 〈d, e〉}, S= {〈a, b〉, 〈b, c〉, 〈c, b〉}. 画出R的关系图并求R S.3. (4分)写出集合A的划分{{1}, {2, 3}, {4}}}导出的等价关系R, 并写出A.4. (4分) 画出{2, 3, 12, 18}上的整除关系的哈斯图 , 并写出偏序集的极小元.三. 组合计数16分1. (2分) x1 + x2 + x3 = 13 (x1, x2, x3≥ 0)有________个整数解.2. (4分)有多少个十进制三位数的数字恰有一个8和一个9?3. (4分)把3只蓝球, 2只红球, 2只黄球排成一列, 黄球不相邻, 有多少种方法?4. (6分)运用二项式定理和微积分技巧证明11112111n n k n k k n ++=⎛⎫-=⎪-+⎝⎭∑.四. 图论36分1.(6分)图1的各图中, 割边最多的是________; 点色数最大的是________; 支配数最小的是________ (填相应字母).2.(8分)图2中的两个实心点之间有____条简单通路. 该图有____条简单回路, 它有____个点割集; 要使它成为哈密顿图, 至少要加有____条边.3.(4分)森林里有5棵树, 18片树叶, 其余顶点是2度或3度的. 森林里有几个3度分枝点?4.(4分)证明数列2, 3, 3, 5, 5, 6, 6不可简单图化.5. (4分)证明K 5不是平面图.图1图27. (6分)(a)画一个5阶自对偶图. (b)画一个6阶3正则的平面图.。

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

离散数学期末考试试题及答案一、选择题（每题4分，共40分）1.下列哪一个不是集合操作？ A. 并 B. 交 C. 补 D. 叉积正确答案：D2.下列哪一个不是真命题？ A. 1 + 1 = 2 B. 所有的猫都会飞 C. 所有的数都是整数 D. 狗是哺乳动物正确答案：B3.设A = {1, 2, 3}，B = {3, 4, 5}，则A ∩ B的结果是：A. {1, 2}B. {3}C. {1, 3}D. {4, 5}正确答案：B4.设A = {1, 2, 3}，B = {3, 4, 5}，则A × B的结果是：A. {(1, 3), (2, 4), (3, 5)}B. {(1, 1), (2, 2), (3, 3)}C. {(3, 3), (3,4), (3, 5)} D. {(3, 1), (3, 2), (3, 3)}正确答案：A5.若n为正整数，则n是偶数的充要条件是： A. n可以被2整除 B. n除以2的余数为1 C. n大于2 D. n的绝对值是偶数正确答案：A6.若A = {1, 2, 3, 4}，B = {3, 4, 5}，则A - B的结果是：A. {1, 2}B. {3}C. {1, 3, 4}D. {4, 5}正确答案：A7.已知命题P和命题Q，下列哪个是它们的逻辑等价式？A. P ∧ (P ∨ Q) = P B. P ∧ (P ∨ Q) = Q C. P ∨ (P ∨ Q) = P D. P ∨ (P ∨ Q) = Q正确答案：A8.设n为奇数，则n + n的结果是： A. 2n B. n^2 C.n(n+1) D. n(n-1)正确答案：C9.已知集合A = {1, 2, 3, 4}，B = {4, 5, 6}，C = {6, 7, 8}，则(A ∩ B)∩ C的结果是： A. {1, 2, 3} B. {4} C. {6} D. 空集正确答案：D10.若命题P为真，则下列哪个推理是正确的？ A. 如果P为真，则Q为真（反证法） B. P与Q都为真（析取引理）C. P蕴含Q（推理法则） D. P等价于Q（假设法）正确答案：A二、解答题（每题10分，共60分）1.证明：任取集合A和B，有(A ∪ B) - B = A - B解答：运用集合的基本运算性质：对任意元素x，x∈ (A ∪ B) - B，即x ∈ (A ∪ B)且x ∉ B。

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

离散数学期末考试试题及答案一、选择题（每题5分，共25分）1. 设A={1,2,3,4,5}，B={2,3,5,7,11}，则A∩B等于（）A. {1,2,3,4,5}B. {2,3,5}C. {1,4}D. {2,3,5,7,11}2. 下面哪一个图是连通图？（）A. 无向图B. 有向图C. 平面图D. 连通图3. 若一个图G有n个顶点，e条边，则以下哪个条件是图G 为连通图的必要条件？（）A. n ≥ eB. n ≤ eC. n = eD. n + e = 24. 在一个简单图中，若每个顶点的度数都等于n-1，则该图是（）A. 无向图B. 有向图C. 完全图D. 平面图5. 以下哪一个命题是正确的？（）A. 每个图都有欧拉回路B. 每个连通图都有哈密顿回路C. 每个图都有哈密顿路径D. 每个连通图都有欧拉路径二、填空题（每题5分，共25分）6. 设A={a,b,c}，B={1,2,3}，则A×B的结果是______。

7. 一个连通图的生成树包含______条边。

8. 在一个n阶完全图中，任意两个不同顶点之间的距离是______。

9. 一个图G的顶点集为V，边集为E，则图G的邻接矩阵表示为______。

10. 在一个简单图中，若每个顶点的度数都等于n-1，则该图的边数是______。

三、判断题（每题5分，共25分）11. 一个图的子图包含原图的所有顶点和边。

（）12. 一个连通图的所有顶点都连通。

（）13. 在一个简单图中，每个顶点的度数都小于等于n-1。

（）14. 每个图都有哈密顿路径。

（）15. 一个图G的生成树是原图G的子图。

（）四、解答题（共50分）16. （10分）设A={1,2,3,4,5}，B={2,3,5,7,11}，求A∪B 和A-B。

17. （10分）证明：一个连通图的每个顶点的度数都大于等于2。

18. （10分）给定一个图G，顶点集V={a,b,c,d,e}，边集E={ab,bc,cd,de,ac,ad}，求图G的所有连通分支。