离散数学复习重难点.docVIP

《离散数学》复习重点 第一章 命题逻辑的基本概念 一、命题公式的类型：重言式 矛盾式 可满足式 二、给出公式的成真赋值、成假赋值 例：p q 成真赋值为 01 00 11 三、判断公式类型 四、题目：P15 20 21 P13 6 第二章 命题逻辑的基本概念 一、熟记等值演算判断公式的类型 二、求公式的主析取范式和主合取范式 1 方法1 等值演算 2 方法2 真值表 3 主吸取范式和主合取范式的关系 第三章 命题逻辑的推理理论 一、推理定理 P46 二、自然推理系统 三、题目：P50 例3.5 例3.6 P53 14 15 18 第四章 一阶逻辑的基本概念 一、在一阶逻辑中将命题符号化 1 注意：同一命题在不同个体域中符号化形式可能不一样 二、习题:P57 例4.2 P65 2 4 5 注意：例4.2中 任意用蕴含，存在用合取 第五章 一阶逻辑等值演算与推理 这章不是重点，不考 第六章 集合代数 一、P85 定理6.1 定义6.5 二、运算： 1 相对补 对称差 2 交 并 补 第七章 二元关系 一、笛卡尔积 A*B={x，y|x∈A∧y∈B} 二、二元关系 P104 定义7.4 三、集合的表示方法： 集合表达式 关系图 关系矩阵 四、关系的运算 1 关系的定义域 domR = {x|?y(x，y∈R)} 关系的值域 ranR={y|?x(x，y∈R)} 2 复合运算（右复合） ={x，y|?t（x，t∈F∧t，y∈G）} 3 关系的逆运算 ={x，y|y，x∈R} 4 恒等关系 ={x，x|x∈A} 五、关系性质：自反 反自反 对称 反对称 传递 P117 表7.1 六、关系闭包 1 r（R） 自反闭包 2 s（R） 对称闭包 3 t（R） 传递闭包 七、等价关系 P123 1 R等价 则 R是自反的对称的传递的 八、偏序关系 1 R偏序 则 R是自反的反对称的传递的 2 重点：整除关系 九、哈斯图 1 画出哈斯图，根据哈斯图 求 最大元 最小元 极大元 极小元 十、题目：P131 12 16 20 22 25 43 45 46 全域关系 恒等关系 第八章 函数 一、什么是函数？ 1判断 给出的二元关系是不是函数 二、单射：不存在多对一 满射：所有Y都有X对映 双射：既是单射，也是满射。又称：一一映射。 三、反函数存在的条件 1 必须是双射 四、复合函数 P146 例8.8 ??°g(=g(?? (x)) g°?? (=?? (g(x)) 五、题目：P161 5 19 21 26 第九章 代数系统 这章不是重点，不考 第十章 群与环 这章不是重点，不考 第十一章 格与布尔代数  这章不是重点，不考 第十二章 基本的组合计数公式 这章不是重点，不考 第十三章 递推方程与生成函数 这章不是重点，不考 第十四章 图的基本概念 一、无向完全图 有向完全图 1 完全图：每个点都与其他点有连线 2 无向完全图：n个点的连线总条数n(n-1)/2 有向完全图：n个点的连线总条数n(n-1) 二、有向图的基图 三、n阶k^(-1)正则图。表示：n个顶点，每个顶点有K条边