离散数学复习提纲的.pdfVIP

《离散数学》 复习提纲 2014.5 第一章 命题逻辑 ■ 命题符号化及联结词 ■ 命题公式及分类 ■ 等值演算 会运用等值式(P9)证明两个公式是否相等、判 断公式的类型(P33:7-9) ■对偶与范式 求命题公式的(主)析取范式及用途、(主)合取 范式(P33 ：12 ，13) 第一章 命题逻辑 ■联结词全功能集 复合联结词、N个命题变项可构成的不等价的命 题公式数 ■推理理论 推理的形式结构、常用推理规则(P23) 构造证明法（直接证明法、附加前提证明法、反 证法）(P34-35 ：18,19) ■本章的应用 P11例11 ， P27例28 ，P34 ：15 第二章 一阶逻辑 ■一阶逻辑基本概念、命题符号化 ■一阶逻辑公式、解释及分类 公式的解释、代换实例(P53-54 ：5 ，13) ■一阶逻辑等值式、前束范式 量词否定等值式（P46） 量词辖域收缩和扩张等值式(P47) 量词分配等值式(P47) 第二章 一阶逻辑 ■一阶逻辑推理理论 有关量词的推理规则(EI,EG,UI,UG)及运用 ■本章应用 例：证明: “金属都是导电体, 铜是金属，所以铜是导电体。” 解：令 F(x): x是金属, G(x): x是导电体, a:铜 前提：∀x(F(x)→G(x)) ，F(a) 结论：G(a) 涉及到 证明： ① F(a) 前提引入 ➢ 命题的符号表示 ② ∀x(F(x)→G(x)) 前提引入 ➢ 有关量词的推理规则 ③ F(a)→G(a) ②UI ➢ 量词的等值式 ④ G(a) ①③假言推理 第三章 集合的基本概念和运算 ■集合的基本概念 集合之间的关系、 ∅、E、幂集 ，文氏图 ■集合的基本运算 会运用集合运算算律(P60-61)证明有关集合运算 的命题成立与否、进行化简 ■集合中元素的计数(本章应用 ) 包含排斥原理（P63例9 ，10 ，P65-67例11-13） 第四章　二元关系与函数 ■集合的笛卡儿积与二元关系 会计算和运用笛卡儿积的性质(P83)证明命题成立与否 重要关系(∅、E、I 、L、D、⊆) ■关系的运算 dom、ran、fld ，R-1和合成R∘S、关系上的幂运算 ■关系的性质(判断、证明) 自反性、反自反性、对称性、反对称性、传递性 关系运算与性质的关系(P87)、关系性质的充要条件 ■关系的闭包 对称闭包、自反闭包和传递闭包的定义和构造方法 第四章　二元关系与函数 ■等价关系和偏序关系 等价类，商集、划分及其关系 哈斯图，偏序集的特定元素及性质 ■函数的定义和性质 满射、单射、双射的性质、判断 双射函数的构造 ■函数的复合和反函数 函数复合运算及性质，反函数的计算 ■本章应用 等价类及划分, 构造双射函数 第五章 图的基本概念 ■无向图及有向图 握手定理、推论及应用 图的同构条件及判断 完全图、正则图、生成子图、自补图 ■通路、回路、图的连通性 无向图和有向图的连通性，点割集、边割集 ■图的矩阵表示 关联矩阵、邻接矩阵及性质 会计算图中指定长度的通路和回路的个数