《《离散数学》复习提纲(2018).pdf》由会员分享，可在线阅读，更多相关《《离散数学》复习提纲(2018).pdf（14页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、学习资料收集于网络，仅供参考学习资料离散数学期末复习大纲一、数理逻辑复习知识点 1、命题与联结词（否定、析取、合取、蕴涵、等价?），复合命题2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）5、命题逻辑的推理理论6、谓词、量词、个体词（一阶逻辑3 要素）、个体域、变元（约束出现与自由出现）7、命题符号化、谓词公式赋值与解释，谓词公式的类型（永真、永假、可满足）8、谓词公式的等值式（代换实例、消去量词、量词否定和量词辖域收与扩
2、、量词分配）和置换规则（置换规则、换名规则）9、一阶逻辑前束范式（定义、求法）本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、命题逻辑的推理、谓词与量词、命题符号化、谓词公式赋值与解释、求前束范式。复习要求 1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。4、掌握利用真值表、等值演算法和主析
3、取/合取范式的唯一性判别公式类型和公式等价方法。5、掌握命题逻辑的推理理论。6、理解谓词、量词、个体词、个体域、变元的概念；理解用谓词、量词、逻辑学习资料收集于网络，仅供参考学习资料联结词描述一个简单命题；掌握命题的符号化。7、理解公式与解释的概念；掌握在有限个体域下消去公式量词，求公式在给定解释下真值的方法；了解谓词公式的类型。8、掌握求一阶逻辑前束范式的方法。二、集 合复习知识点 1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补以及对称差等运算及有穷集的计数（文氏（Venn）图、包含排斥原理）3、集合恒等式（幂等律、交换律、结合律、分配律、吸
4、收律、矛盾律、德摩根律等）及应用本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明。复习要求 1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。2、掌握集合的表示法和集合的交、并、差、补、对称差等基本运算。3、掌握集合运算基本规律，证明集合等式的方法。三、二元关系复习知识点 1、序偶、迪卡儿积，迪卡儿积的性质及运算。2、二元关系（定义、空关系、全域关系、恒等关系）、关系表达式、关系矩阵与关系图3、关系的定义域、值域、限制、像、复合关系（右复合）与逆关系4、关系的性质（自反性、反自反性、对称性、反对称性、传递性）5、关系的闭包（自反闭包、对称闭包、传递闭包）6、等价
5、关系与等价类、商集、划分7、偏序关系与哈斯图、极大/小元、最大/小元文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF
6、1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2
7、Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:
8、CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8
9、HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 Z
10、O2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编
11、码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9学习资料收集于网络，仅供参考学习资料本章重点内容：二元关系的概念、关系的性质、关系的闭包、等价关系及划分、偏序关系和哈斯图复习要求 1、了解序偶与迪卡儿积的概念，掌握迪卡儿积的运算。2、理解关系的
12、概念：二元关系、空关系、全域关系、恒等关系；掌握关系的集合表示、关系矩阵和关系图、关系的运算。3、掌握求复合关系与逆关系的方法。4、理解关系的性质（自反性、反自反性、对称性、反对称性、传递性），掌握其判别方法（定义、图）。5、掌握求关系的闭包（自反闭包、对称闭包、传递闭包）的方法。6、理解等价关系和划分、掌握等价类和划分的求法7、理解偏序关系的概念，掌握画哈斯图的方法，极大/小元、最大/小元的求法。四、函数复习知识点 1、理解函数概念：函数、函数相等、A 到 B 的函数。2、理解单射、满射、双射等概念，掌握其判别方法。3、函数的复合与反函数本章重点内容：函数的定义及判别方法、函数的三大性质、函
13、数的复合与反函数。复习要求 1、掌握函数及从 A 到 B 的函数的判别方法。2、理解函数的像与原像。3、掌握函数的单射、满射、双射的判别方法。4、掌握求函数的复合与反函数的方法。五、图论复习知识点 1、图的基本概念：无向图与有向图、顶点与边的关联关系、顶点（边）与顶点文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档
14、编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10
15、F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A
16、9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9
17、文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J
18、10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F
19、4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7
20、C9学习资料收集于网络，仅供参考学习资料（边）之间邻接关系、简单图与多重图、顶点度数（度）与握手定理、图的同构、完全图、子（补）图。2、通路与回路、简单通（回）路与初级通（回）路；连通图与非连通图、连通分支、点割集、边割集、点（边）连通度；强连通图、单向连通图与弱连通图；二部图。3、图的矩阵表示：关联矩阵、邻接矩阵、可达矩阵。4、欧拉通（回）路、（半）欧拉图；哈密尔顿通（回）路、（半）哈密尔顿图；5、无向树、生成树、带权树、最小生成树。6、有向树、树根、有序树、二叉树、最优二叉树、前缀码、最佳前缀码、霍夫曼（Huffman）算法、二叉树的周游及应用。本章重点内容：握手定理、点（边）割集、通路与
21、回路、特殊图（欧拉图与哈密顿图、无（有）向树）、最优二叉树、最佳前缀码、霍夫曼（Huffman）算法。复习要求 1、理解图的有关概念：图、完全图、简单图、子图、母图、生成子图等。2、深刻理解握手定理及其推论的内容，并能熟练地应用它们。3、能判断两个图是否同构。4、理解连通度、点割集、边割集、割边和割点。5、能判断图是否为强连通图、单向连通图与弱连通图。6、理解图的矩阵表示（关联矩阵、相邻矩阵）和性质以及熟练掌握用有向图的邻接矩阵及各次幂求图中通路与回路数的方法。4、理解欧拉图、哈密顿图的定义及判别定理。在无向图中找出一条欧拉通路或欧拉回路、哈密顿通路或哈密顿回路。5、理解无向树的定义，熟练掌握
22、无向树的主要性质，并能灵活应用它们。6、理解生成树的有关概念与性质。7、理解有向树、根树、二叉树和前缀码的有关概念；掌握用霍夫曼（Huffman）算法求带权图的最优二分树，掌握求最佳前缀码方法，二叉树的中序和前序行遍法。文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F
23、4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7
24、C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R
25、7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X
26、7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1
27、H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W
28、6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9学习资料收集于网络，仅供参考学习资料考试说明
29、一、考核方式1）期末笔试为 100 分钟的闭卷考试，占总评成绩的70。2）平时成绩来自作业、考勤和课堂考核，占总评成绩30。二、各部分比例（大概为讲授学时*2.5）1）数理逻辑：35 分2）集合论：40 分3）图论：25 分三、考题类型1）单选题：20 题，每题 1 分，共 20 分2）判断题：20 题，每题 1 分，共 20 分3）填空题：10 题，每题 2 分，共 20 分4）综合题：5 题，每题 8 分，共 40 分四、常见综合题1.用等值演算法证明等值式。2.在自然推理系统 P 中构造证明推理（多种方法）3.用等值演算法求解主析取范式或主合取范式，计算分析4.集合恒等式的证明或化简(1
30、-2 例题或练习)5.集合的运算，有穷集的计数（文氏图、包含排斥原理）6.求二元关系导出的划分(1-2 例题或作业)7.给定一个偏序集，画出哈斯图并求极大、极小元素、求最大、最小元素、上界、最小上界、下界、最大下界、上确界和下确界。8.图的集合表示、图形表示、矩阵表示，以及相互之间的转换。9.利用握手定理，无向树中的顶点数、边数、度数、叶子数，知道其中部分数据，求其余部分数据。10.用 Huffman 算法求 最优二叉树产生的最佳前缀码（根树的应用）。文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 Z
31、O2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编
32、码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F
33、8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9
34、 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文
35、档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J1
36、0F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4
37、A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9学习资料收集于网络，仅供参考学习资料离散数学试卷结构及样题一、单选题（20小题，每题 1分，共 20分）1.设xxM：)(是人，xxP：)(犯错误，命题“没有不犯错误的人”符号化为（）A.)()(xPxMxB.)()(xPxMxC.)()(xPxMxD.)()(xPxMx2.设 A=x,y,B=y,z 则 AB 为（）A.(x,y),(x,z),(y,y),(y,z)B.(y,x),(x,z),(y,y)
38、,(y,z)C.(x,y),(z,x),(y,y),(y,z)D.(x,y),(x,z),(y,y),(z,y)3.设集合 A=1,2,3,A 上的关系 R(1,1),(2,2),(2,3),(3,3),(3,1),则 R 具有()A.反自反性B.传递性C.对称性D.以上答案都不对4.关于整数集 Z 上的“”关系 R，以下描述不正确的是（）A.R 的自反闭包是“”关系B.R 的对称闭包是“”关系C.R 的传递闭包是它本身D.R 的反自反闭包是“”5.下列图中（）是欧拉图二、判断题（20 小题，每题 1 分，共 20 分）1.公式(xF(x)yG(y)yG(y)是可满足式。（）2.C)(AC)(
39、BB)(A这个定律叫做假言三段论。（）3.设 A=a，b，c，d，R 是 A 上的一个二元关系，R=,是自反的，是反对称的，是传递的。（）4.在每个图中，所有顶点的度数之和等于边数的两倍。（）5.树是不包含回路的连通图，在（n，m）树中必有 m=n+1（）。文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA
40、5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF
41、1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2
42、Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:
43、CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8
44、HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 Z
45、O2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9学习资
46、料收集于网络，仅供参考学习资料三、填空题（10 小题，每题 2 分，共 20 分）1.已知命题公式RQPG)(，则G 的析取范式为。2.设A=2,3,4,5，若 A上的关系为 R=|(x-y)/2是整数，则R=。3.R是集合 X上的一个关系，如果 R 是自反的，对称的，传递的，则R 称为。4.无向完全图 Kn的边数为。5.在一个图中，不与任何一个顶点相邻接的点叫做。四、综合题（5 小题，每题 8 分，共 40 分）1 用等值演算法证明等值式(pq)(p r)(p(q r)。2 对偏序集（3，5，6，15，24，30，|）上的整除关系，画出哈斯图并回答下列问题：1）求极大、极小元素；2）求最大、
47、最小元素；3）找出 3，5的所有上界，如果存在的话求出最小上界；4）找出 15，30的所有下界，如果存在的话求出最大下界。文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z
48、2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:C
49、A5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 H
50、F1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO2Z2Y1H7C9文档编码:CA5W6R7J10F8 HF1Q8X7F4A9 ZO