《离散数学》第一二部分复习提纲.docVIP

《离散数学》第一二部分复习提纲 命题逻辑 基本概念 命题 命题的真值 真命题 假命题 简单命题（原子命题） 复合命题 命题常项 命题变项 五个联结词 命题公式（合式公式） 命题公式的赋值（解释） 成真赋值 成假赋值 公式的真值表 永真式（重言式） 永假式（矛盾式） 可满足式 二公式等值 等值演算 N元真值函数 联结词集 功能完备集 冗余联结词 极小功能完备集 文字 简单析取式 简单合取式 析取范式 合取范式 极小项 极大项 主析取范式 主合取范式 推理 推理的形式结构 前提 结论 正确推理 不正确推理 合法结论 逻辑结论 推理的证明 推理定律 基本方法 命题的判断方法 命题的表示方法 命题符号化方法 命题公式赋值的表示方法 求命题公式的真值表的求法 判断二公式是否等值的方法（真值表法、等值演算法） 等值演算（掌握常用等值式） 将公式化为析取范式 将公式化为合取范式 将公式化为主析取范式 将公式化为主合取范式 主析取范式的表示方法 主合取范式的表示方法 推理正确性的证明方法（掌握推理定律和推理规则） 谓词逻辑 1、基本概念 个体 个体常项 个体变项 论域（个体域） 全总个体域 谓词 谓词常项 谓词变项 函数 函数常项 函数变项 N元谓词 量词 全称量词 存在量词 字母表 项 原子公式 合式公式（谓词公式） 指导变项 约束出现 自由出现 闭式（封闭的公式） 谓词公式的解释 永真式 永假式（矛盾式） 可满足式 代换实例 谓词公式等值式 前束范式 推理的形式结构 正确推理 推理定律 推理规则 2、基本方法 用谓词公式表示命题的方法（命题符号化） 判断公式的类型的方法（代换实例法、按定义判断） 求在给定解释之下公式的真值 谓词公式的等值演算 将公式化为前束范式 推理正确性的证明（掌握推理规则的运用） 集合的基本概念和运算 1、基本概念 集合 元素 子集（含于、包含） 真子集（真含于、真包含） 两集合相等 空集 全集 集合的幂集 并、交、相对补、绝对补、对称差等运算 集合运算的文氏图 有穷集合 2、基本方法 集合表示方法 集合运算的计算 集合包含式的证明（掌握证明方法和常用集合恒等式） 集合相等的证明 有穷集合的计数方法 二元关系与函数 1、基本概念 有序对 两有序对相等 两集合的笛卡儿积 二元关系（关系） 从A到B的二元关系 A上的二元关系 常用的关系（空关系、全域关系、包含关系、真包含关系、小于关系、小于等于关系、大于关系、大于等于关系、整除关系） 关系矩阵 关系图 关系的定义域 关系的值域 逆关系 两关系的右复合 关系的幂 自反性 反自反性 对称性 反对称性 传递性 自反闭包 对称闭包 传递闭包 等价关系 等价类 商集 划分 划分块 偏序关系 小于 可比 全序关系 偏序集 覆盖 哈斯图 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 函数 两函数相等 从A到B的函数 B上A f(A1) 满射、单射、双射（一一对应） 恒等函数 单调性 特征函数 自然映射 复合函数 反函数 2、基本知识点和基本方法 笛卡儿积的性质 用不同的表示法表示二元关系 求关系的定义域、值域、逆、右复合、幂、集合的象 判断关系的性质 画各种闭包的关系图 求等价类 求商集 判断划分 画哈斯图 由哈斯图写出关系 求某集合的最大元、最小元、极大元、极小元、上界、下界、上确界、下确界。 判断关系是否是函数 判断函数的性质（单射、满射、双射） 掌握复合函数的性质 掌握反函数存在的条件 求反函数 构造双射函数