再谈离散数学.pptVIP

Discrete Math. , DeRen Chen 再谈离散数学 Reviewing in Discrete Mathematics Discrete Math. 离散数学 研究离散对象及其相互间关系的一门数学学科。 研究离散结构的数学分支。（辞海） 离散数学的内容：基础——概念 原理——方法 应用——实践 基础部分: 逻辑(Logic) 集合(Sets) 算法(Algorithms) 数论(Number Theory) 逻辑（LOGIC）： 命题逻辑 Proposition Logic 命题演算 Propositional Equivalences 谓词和量词 Predicates and Quantifiers （1）命题的概念：定义、逻辑值、 符号化表示 （2）从简单命题到复合命题： 逻辑联接词：运算方法、运算优先级 （3）从命题常量到命题变量， 从复合命题到命题公式： 命题公式的真值描述：真值表 （4）命题公式的分类： 永真公式、永假公式、可满足公式 （5）命题公式的等价演算：基本等价定理；两种方法 （6）命题公式的标准化描述：表达、判定、分类与应用 （7）从命题到命题函数：N元谓词、个体、个体变量、个体域 （8）从命题公式到谓词公式：存在量词、全称量词；变量的分类 （9）谓词公式的演算：基本等价定理 Table 5 Table 6 判断命题公式逻辑等价的方法： 1、真值表 2、命题公式的演算 基本等值定理（基本等价定理）； 公式的代入不变性； 等值关系的传递性。 命题公式逻辑等价关系的应用： 1、判定是否逻辑等价； 2、判断是否为永真公式或永假公式； 3、命题公式的化简 定理2 （基本量词等值定律） 量词分配律 Vx（A(x)∧B(x)）??VxA(x)∧VxB(x) ?x(A(x)∨B(x)）?? ?xA(x)∨ ?xB(x) 另两种情况的思考：V与∨， ?与∧ 量词否定律 量词扩张/收缩律 Vx(P∨B(x))??P∨VxB(x) Vx(P∧B(x))??P∧VxB(x) ?x(P∨B(x))??P∨ ? xB(x) ?x(P∧B(x))??P∧ ?x B(x) 这里A、B是任意包括个体变量x的谓词公式，P是不包括个体变量x的任意谓词公式。 集合 集合的表示 集合间的关系：相等、包含 集合间的运算 一些特殊的集合：空集、全集、幂集、X集 集合的分类：集合的基 函数的概念 函数的分类 函数的运算 一些特殊的应用函数：语言 Table 1 命题演算的基本等值定理 证明两个集合相等的方法： 1、定义方法：谓词公式 2、相等定理：互相包含 3、集合相等运算：基本相等定理 4、Venn 图（文氏图）：图解 5、位运算 几个常用的函数： Eigenfunction floor function ceiling function DEFINITION 2. 算法（Algorithm）是通过一个有限的指令序列集合对特定问题进行求解的一种计算执行描述。 An algorithm is a finite set of precise instructions for performing a computation or for solving a problem. 一个算法通常应具有下列特征： （1）输入：一个算法具有零个或多个取自指定集合的输入值； （2）输出：对算法的每一次输入，算法具有一个或多个与输入值接联系的输出值； （3）确定性：算法的每一个指令步骤都是明确的； （4）有限性：对算法的每一次输入，算法都必须在有限步骤（即有限时间）内结束； （5）正确性：对每一次输入，算法应产生出正确的输出值； （6）通用性：算法的执行过程可应用于所有同类求解问题，而不是仅适用于特殊的输入。 Let f and g be functions from the set of R or I to the se