离散数学章节总结.docxVIP

离散数学章节总结 第一章[1.1命题逻辑]1.逻辑运算1.否定:Negation ? NOT2.交:Conjunction AND3.并:Disjunction OR4.蕴含:Implication IMPLIES5. Biconditional ? IFF6.Exclusive-Or XOR2.逆/否/逆否1.逆:converse 2.否:inverse3.逆否:conytrapositive3.问题的一致性[1.2逻辑等价]1.p→q 等价于 ?pq 等价于 ? q→?p2. pq 等价于 ?p→q pq 等价于 ?( p→?q)3.(p→q) (p→r) 等价于p→(qr) (p→r) (q→r) 等价于(pq)→r (p→r) (q→r) 等价于(pq) →r4.证明等价: 真值表 逻辑符号证明 找反例(假设左为假 右必为假 假设右为假 左必为假)[1.3 1.4 谓词逻辑]1.量词 存在 任意量词顺序不能随机改变不全为真:(p1p2…pn) (p1p2…pn) x P(x ) x P(x )没有一个为真:(p1p2…pn) (p1p2…pn) x P(x ) x P(x )[1.5 推理][1.6 1.7 证明]1.证明方法:直接证明 间接证明 反证 列举证明(列举所有情况) 构造证明(构造出满足结论的元素)2.证明步骤:正向证明 反向证明 第二章[2.1 2.2 集合及运算]1.特殊集合: R Q Z 无穷/有限集2.集合表述方法: 列举法 描述法 图表法3.集合运算: 交/并/补/差/取子集P(S)/元素数|S|/乘积P×Q/容斥原理4.证明集合相等:1.证明互为子集 2.从属表 3.逻辑证明[2.3 函数]1.函数的定义2.术语：定义域，值域，象，原象，范围，3.f(a)/f(A) 第五章[5.1序、归纳]1.序：在某种关系下存在最小元素则为well-ordered2.第一数学归纳法：basic step P(C)成立and inductive step P(k)→P(k+1)3.第二数学归纳法:basic step:P(c)成立 and inductive step: 任意k小于等于nP(k)成立→P(n+1)[5.2递归]1.递归：以相同形式用小的项来定义的大的项 不能一直递归下去（存在初始项）必须存在可以直接解决问题的一项basic step:原有元素② recursive step:原有元素如何产生新元素2.字符串的定义：空字符，回文3.结构归纳：用于证明递归结构对所有元素都成立：①basic step:原有元素成立②recursive step:用递归式导出的新元素成立[5.3递归算法]1.定义：把问题转化为相同形式但值更小的算法2.递归算法有初始步骤（是可终止的）并且递归时至少改变一个参数值使之向初始步骤靠拢3.递归时间复杂度高，可以用非递归（loop或 stack）来代替[5.4程序的正确性]1.测试与证明：证明更有说服力2.证明：①程序会终止②（部分正确）程序只要可以终止得出的结论都是正确的正确的程序：对任意可能的输入都有正确的输出部分正确，完全正确3.Hoare triple：P{S}QP: precondition S: assertion Q:postcondition??P{S}Q:当PQ正确时为部分正确当证明了S的可终止性为完全正确4.程序的基本语句：赋值，命题，条件，循环5.弱化结论：P{S}R R→Q：P{S}Q 强化条件Q→R R{S}P：Q{S}P 复合：P{S1}R R{S2}Q: P{S1;S2}Q第六章[6.1加法乘法原理]1.加法乘法原理：方法不重复，互不影响，做1or2 m+n 做1and2 mn2.容斥原理：方法有重叠：|AB|=|A||B||AB|3.包含条件的问题。[6.2分类原理]1.抽屉原理。2.抽屉原理推论：n插入k个抽屉：至少有一个抽屉含有[n/k]个元素（上取整）[6.3排列组合]1.排列：选择的元素只出现一次r-permutation of SP(n,r) = n(n?1)…(n?r+1) = n!/(n?r)!2.组合：[6.4二项式系数]1.杨辉三角：C(n+1, k) = C(n, k-1) + C(n, k)第九章[9.1关系]1.关系：函数的推广2.二元关系：①.定义：A binary relation from A to B is a set R where a R b denotes (a, b) R 包含于A X B. a is said to be related to b by R.②.数量：with |A| = m and |B| = n共有2mn relations from A to B,