2016离散数学考试复习大纲.docVIP

2016－2017学年度离散数学考试大纲 第一部分 数理逻辑总结 第1章 命题逻辑 一、命题符号及联结词 1、命题联结词 2、命题符号化 二、命题公式及分类 1、命题公式的类型及判断 2、命题公式的成真赋值与成假赋值 例1.6、例1.7 三、等值演算 1、基本等值式 2、等值演算 3、用等值演算判断公式类型 4、用等值演算判断公式是否等值 例1.10 四、析取范式与合取范式 1、主析取范式 2、主合取范式 3、用主析取范式判断公式类型 4、用主析取范式判断公式是否等值 例1.12、例1.14、例1.15 五、推理理论 1、推理的形式结构 2、推理是否正确的判断方法（等值演算、主析取范式） 3、推理定律（P23页） 4、自然推理系统 5、推理规则（P23页） 6、推理证明(例1.21 、例1.22、例1.23、例1.24 六、教材作业：P31-35 1.5(4,6,8)、1.7(2,4,6)、1.12（2）、1.19、1.20、1.22 第2章 一阶逻辑 一、一阶逻辑命题 1、一阶逻辑命题符号化的三个基本要素 2、一阶逻辑命题的符号化 二、一阶逻辑命题公式 1、一阶逻辑命题公式的解释 （1）指导变元、辖域、约束出现 （2）一阶逻辑公式的解释 2、一阶逻辑公式的类型 例2.4、例2.5、例2.8、例2.9 三、一阶逻辑等值式与前束范式（P46页- P49页） 1、一阶逻辑等值式 2、一阶逻辑等值演算规则 3、一阶逻辑前束范式（例2. 11） 四、一阶逻辑推理理论 1、一阶逻辑推理定律（课件） 2、一阶逻辑自然推理（课件）课件上例2.13、2.14 五、教材作业 1、P52-54页 6题、10题、11题、14题与课件上16题、17题、18题 第二部分 集合论总结 第3章 集合代数 一、集合 1、集合及集合的表示方法：列举法与描述法 2、集合的基数 3、集合的子集及幂集 二、集合间的关系 1、集合间的包含关系 2、集合间的相等关系 3、集合间的真包含关系 三、集合的运算 1、集合的并、交 2、集合的绝对补与相对补运算 3、集合的对称差运算 四、有穷集合的计数 1、用文氏图解决有穷集的计数 2、用包含排斥原理解决穷集的计数 例3.9 、例3.11、例3.12 五、教材作业：P73 3.5、3.13、3.14 第4章 二元关系与函数 一、有序n元组与笛卡尔积 1、有序n元组与笛卡尔积 2、序偶 二、二元关系（简称为关系） 1、关系的定义 2、关系的定义域及值域 3、集合A上的几种特殊关系：恒等关系、全域关系、空关系 4、关系的表示方法（利用关系的表示判断关系的性质） （1）集合表示法 （2）图解表示法 （3）矩阵表示法 三、关系的性质 1、集合A上关系的五种性质 2、集合A上关系性质的判断 四、关系的运算 1、逆关系 2、关系的复合 五、集合A上的几种特殊关系 1、等价关系及性质 2\、等价关系、等价类（用关系图表示） 3、商集与划分 4、偏序关系及其性质 5、用哈斯图表示偏序关系 6、偏序集与格的关系 例4.5、例4.6、例4.8、例4.10、例4.11 、例4.14、例4.15、例4.16 六、函数的概念 1、函数的定义 2、函数的定义域及值域 七、函数的性质 1、单射 2、满射 3、双射 十二、函数的运算 1、求复合函数 2、求逆函数 例4.18、例4.19、例4.21、例4.35 十三、教材作业 1、P112-117页 4.3题、4.8题、4.9题、4.13题、4.12题、4.16题、4.25题 第三部分 代数结构总结 第9章 一、二元运算及性质 运算的定义 运算的封闭性 二元运算的特异元素 二元运算的性质 例9.2、例9.3 二、代数系统 1、代数系统的定义 2、代数系统的同态与同构 三、群 1、半群、独异点 2、群的定义、判定及证明（找出例9.7这些特殊代数系统的特异元素，及判断理由） 3、交换群 4、群的幂运算及元素的阶（理解定义后的例子，会求解） 5、群的性质（理解定理9.4、9.5后的例子，会求解） 6、子群与陪集 7、利用子群、陪集进行群分解 8、拉格朗日定理 例9.9 四、格 1、偏序集的定义 2、用哈斯图表示偏序集 3、偏序集中几特殊元素 4、格的定义、性质、判定及满足的算律 5、偏序集与格的关系 6、利用哈斯图判断一个偏序集是否为格 五、几种特殊的格 1、分配格及判断 2、有补格及判断 3、有补分配格判断 4、布尔格及判定（利用五角格与钻石格判断） 六、布尔代数的性质 七、教材作业 1、P223页-P229页 9.8题、9.16题、9.20题、9.23题 第四部分 图论总结 第5章 一、图及其基本概念 图的定义（边集、结点集） 图的表示 图的阶、顶点数及边数 顶点相邻、边相邻及边与顶点