离散数学复习纲要课件.pptVIP

第一章 命题逻辑基本概念 命题、真值、简单命题与复合命题、命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化（pp7,表1.1） 命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会判断一句话是否为命题，会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 第二章 命题逻辑等值演算 深刻理解等值式的概念 牢记基本等值式的名称及它们的内容（基础，PP17） 熟练地应用基本等值式及置换规则进行等值演算 理解简单析取式、简单合取式、析取范式、合取范式的概念（重点） 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系（重点） 熟练掌握求主范式的方法（等值演算、真值表等） 会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值 第三章 推理理论 牢记 P 系统中各条推理规则 熟练掌握构造证明的直接证明法、附加前提证明法和归谬 法 第六章 集合代数 熟练掌握集合的表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关系 熟练掌握集合的基本运算 掌握证明集合等式或者包含关系的基本方法 第七章 二元关系 主要内容 有序对与笛卡儿积 二元关系的定义与表示法 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 第七章 二元关系 熟练掌握关系的三种表示法 能够判定关系的性质（5条，掌握）PP113 掌握含有关系运算的集合等式 掌握等价关系、等价类、商集、划分、哈斯图、偏序集等概念 （重要） 计算A?B, dom R, ranR, R?1, R?S , Rn , r(R), s(R), t(R) 求等价类和商集A/R（重要） 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界（掌握） 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系（重要） 第八章 函数 会判别函数f: A →B的性质 （单射、满射、双射） 熟练计算函数的值、像、复合以及反函数 第9,10,11章 代数系统 主要内容 代数系统----二元运算及其性质、代数系统和子代数 半群与群----半群、独异点、群 环与域-----环、整环、域 要求 判断给定集合和运算能否构成代数系统（类型） 会求二元运算的特异元素（单位元、零元、逆元） 理解有限整环与域之间的逻辑蕴含关系（PP197-200） 第14、15、16图论 整数列可图化、可简单图化 特殊图的顶点与边的关系（考点） 图的邻接矩阵与关联矩阵、可达矩阵 欧拉图的基本概念 带权图的概念 无向树、有向树的概念与性质，生成树、根树、 最优树、W(T)（重点、难点） 树的顶点与边的关系（联系握手定理、树叶的度） 2叉树（又名2元树，每个节点的出度小于等于2）与完全2叉树（完全2元树，每个节点的出度为2或零），正则2元树（每个节点的出度为2） * 第四、五章 一阶逻辑推理、等值理论 一阶逻辑命题符号化（掌握） 准确地将给定命题符号化（考点） 熟练地给出公式的解释 一阶谓词公式等值判断（量词辖域收缩与扩张） * * *