暨南大学离散数学DmathI-review-new(译文).docxVIP

前言七 同伴网站xvi 致学生十七 1基础：逻辑与证明1 1.1命题逻辑1 1.2命题逻辑的应用16 1.3命题等价25 1.4谓词和量词36 1.5嵌套量词57 1.6推理规则69 1.7校对简介80 1.8证明方法和策略92 第109章材料结束 2基本结构：集合、函数、序列、和和和矩阵。115 2.1 2.2设置操作127 2.3 2.4序列和总和156 2.5Sets170的基数 2.6 章节结束材料185 3算法191 3.1 3.2功能的增长204 3.3算法的复杂性218 章节结束材料232 4数论与密码学237 4.1可分性与模算术237 4.2整数表示和算法245 4.3素数和最大公约数257 4.4解决一致性274 4.5一致性的应用287 4.6 章节结束材料306 三 IV目录 5归纳和递归311 5.1数学归纳311 5.2强归纳和良好排序333 5.3递归定义和结构归纳344 5.4递归算法360 5.5程序更正372 第377章材料结束 6计数385 6.1计数基础385 6.2鸽子洞原理399 6.3置换和组合407 6.4二项式系数和恒等式415 6.5广义置换与组合423 6.6生成置换和组合434 章节结束材料439 7离散概率445 7.1离散概率导论445 7.2概率论452 7.3贝叶斯理论468 7.4期望值和差异477 章节结束材料494 关键条款和结果 条款 命题：对或错的陈述 命题变量：表示命题真值的变量：真或假  逻辑运算符：用于组合命题的运算符 复合命题：通过使用逻辑运算符组合命题构造的命题 真值表：显示命题所有可能真值的表 1101/基础：逻辑与证明 p的逆→ q： 条件语句q→ p p的反阳性→ q： 条件语句-q→ ?p pq（双条件）：命题“p当且仅当q，” 这是真的，当且仅当p和q具有相同的真值 位：0或1布尔变量：值为0或1的变量 位操作：对一个或多个位的操作 位字符串：位的列表 按位操作：对位字符串的操作，对一个字符串中的每个位和另一个字符串中的相应位进行操作 逻辑门：对一个或多个位执行逻辑操作以产生输出位的逻辑元件 逻辑电路：由产生一个或多个输出位的逻辑门组成的开关电路 重言式：总是真矛盾的复合命题：总是假偶然性的复合命题：有时是真的复合命题 有时是假的 一致性复合命题：将真值分配给变量的复合命题，使所有这些命题均为真 可满足复合命题：一个复合命题，其变量的真值赋值使其变为真 逻辑等价复合命题：总是具有相同真值的复合命题 谓语：句子的一部分，将一个属性归于主语 命题函数：一个包含一个或多个变量的语句，当其每个变量都被赋予一个值或被一个量词约束时，该语句就成为一个命题 话语的领域（或宇宙）：命题函数中的变量可能具有的值 逻辑等价表达式：无论使用哪个命题函数和域，都具有相同真值的表达式自由变量：不受命题函数约束的变量 绑定变量：量化的变量 量词的范围：语句中量词绑定其变量参数的部分：一系列语句  论元形式：包含命题变量的复合命题序列 前提：论点或论点形式中的陈述，而不是最后的陈述 结论：论点或论点形式中的最后陈述 有效论元形式：一系列涉及命题变量的复合命题，其中所有前提的真值暗示结论的真值 有效参数：具有有效参数形式的参数 推理规则：一种有效的参数形式，可用于证明参数有效 谬误：一种无效的论证形式，通常被错误地用作推理规则（有时，更普遍地说，是一种错误的论证） 循环推理或乞求问题：一个或多个步骤基于被证明陈述的真实性的推理 定理：可以证明为真的数学断言 猜想：一种数学断言，被认为是真的，但尚未被证明 证明：证明一个定理是真的 公理：假定为真的陈述，可用作证明定理的基础 引理：一个用来证明其他定理的定理 推论：一个可以作为刚被证明的定理的结果来证明的命题 q为真 详尽证明：通过检查所有可能案例的列表来确定结果的证明 案例证明：一种分为不同案例的证明，这些案例涵盖了所有的可能性而不丧失普遍性：证明中的一种假设，通过减少证明中要考虑的案例数量，可以证明一个定理 反例：元素x使得P（x）为false 构造性存在性证明：具有指定属性的元素存在并显式找到此类元素的证明 非结构化存在性证明：具有指定属性的元素存在但未显式找到此类元素的证明 有理数：可以用两个整数p和q的比值表示的数，使得q?=0 唯一性证明：证明只有一个元素 满足指定属性 补充练习111 结果 第1.3节表6、7和8中给出的逻辑等效性。 德摩根量词定律。 命题演算的推理规则。量化陈述的推理规则。 复习问题 1.a） 定义命题的否定。 b） 对“这是一门枯燥的课程”的否定是什么？ 2.a） 定义（使用真值表）命题p和q的析取、连接、异或、条件和双条件。 b） “