离散数学复习指导.doc

离散数学复习指导 一、考试范围 第一部分 数理逻辑 第七章 二元关系 9.1二元运算及其性质 11.1格的定义与性质 第五部分 图论 二、重点题型 第一部分 数理逻辑 命题逻辑（一至三章） 1、求命题公式的真值表 知识：P7表1.1 例题：P9例1.8 2等值演算 知识：P17基本等值式 例题：P19例2.3 3、判断公式的类型 知识：P10定义1.10 例题：用真值表法判断P15习题19 用等值演算法判断P20例2.5 4、求主析取范式与主合取范式 知识：P25开始 例题：真值表法 幻灯片例题2.9 等值演算法 P26例2.8 5、推理 知识：P46定义3.3 例题：P48例3.3（直接推理） 例3.4（命题符号化后再推理） 例3.5（附加前提证明法） 例3.6（反证法） 一阶逻辑（四五章） 6、一阶逻辑等值演算 知识：P68开始 例题：P72例5.5 7、求一阶逻辑前束范式 知识：P73定义5.2 例题：p73例5.6 8、一阶逻辑推理 知识：p76定义5.3 例题：P77例5.9例5.10（直接推理） 例5.11（命题符号化后再推理） 第七章 二元关系 1、求二元关系的矩阵p105、关系图 2、关系的运算：逆、右复合、幂p107 定义7.7、7.8、7.10 定理7.1、7.2、7.3、 3、判断二元关系的性质 知识：五种二元关系性质的定义、p117表7.1（定义法、集合表达式法、关系矩阵法、关系图法） 例题：p117例7.14（关系图法） 幻灯片例7.13、7.14、7.15、7.16、7.17（定义法、集合表达式法） 4、求关系的闭包 知识：p118定义7.14、定理7.10及推理（集合表达式法）、p119（关系矩阵法） 例题：幻灯片例7.19（集合表达式法）、例题7.20（关系矩阵法） 5、判断是否是等价关系、求等价类及划分 知识：定义7.15、7.16、7.17、7.18 例题：幻灯片例7.26、4.20（幻灯片编号有误，应为7.20） p133习题36 6、判断是否是偏序关系、画出偏序关系的哈斯图 知识：p126定义7.19、7.20、7.22、7.23 例题：幻灯片例4.26、4.27、4.28（幻灯片编号有误，应为7.26...） 9.1二元运算及其性质 1、画出二元运算的运算表 2、求二元运算的单位元、零元、可逆元的逆元 例题：p172例9.7 11.1格的定义与性质 1、格的对偶原理的应用 知识：p209对偶原理 第五部分 图论 1、判断正整数序列是否是可图化的 知识：p276定理14.1、14.2、14.3 例题：p277例14.2 2、路、基本路、简单路、初级路 概念 3、求点割集与边割集 知识：p283开始 例题：p292习题21、22 4、求图的关联、邻接矩阵、求两结点长度为（或小于等于）n的通路数、求一结点长度为（或小于等于）n的回路数 知识：p287开始 例题：幻灯片例14.4、p294习题44、45 5、判断一个图是否具有欧拉路、欧拉回路、是否是欧拉图 知识：p296开始 例题：p305习题1 6、树的分支点、树叶和度的关系 知识：p308定理16.1、定理16.2 例题：p318习题2、3、4 7、求生成树、最小生成树 知识：p310定义16.2、16.5 例题：p312例16.3 8、求最优二叉树及其权 知识：p314定义16.9、huffman算法 例题：p314例16.5