离散数学复习 3.pptVIP

数理逻辑与计算机科学 程序 ＝ 算法＋数据 算法 ＝ 逻辑＋控制 归纳的过程:命题的符号化 真值表、等值演算 练习 自然推理系统 P 定义3.3 一个自然推理系统 P 由三部分组成： 1.字母表 （1）命题变元符号：p,q,r,… （2）联结词符号：?，∧，∨，→，? （3）逗号，与括号（） 2.合式公式 3.推理规则 推理规则 （1）前提引入规则 在证明的任何步骤上，都可以引入前提。 （2）结论引入规则 在证明的任何步骤上，所得到的结论均可作后续证明的前提加以引用。 （3）置换规则 在证明的任何步骤上，命题公式中的任何子公式都可以用与之等值的公式置换。 推理规则 （4）假言推理规则（或分离规则）： A→B A ∴ B （5）附加规则： A ∴ A∨B （6）化简规则： A∧B ∴ A （7）拒取式规则： A→B ? B ∴ ? A （8，9）三段论规则： A→B A∨B B→C ? B ∴ A→C ∴ A （12）合取引入规则： 在证明的序列中出现公式A与B，则可以在任意步引入A∧B。 A B ∴ A∧B 一般的证明问题，怎么证？ 习题十九的22题： 如果 a|bc，且 a 与 b 互素，则 a|c 如果 a|bc，且 a 与 b 互素，则 a|c 证明： a 与 b 互素， 则 xa+yb=1, 乘 c 得： cxa+ybc=c a|cxa， 且 a|ybc， 则 a|c 证明就是一个“命题序列” 证明： （前提引入规则） a 与 b 互素 （互素的规律） ? xa+yb=1 （恒等变换的规律） cxa+ybc=c （整除的规律） a|cxa （前提引入规则） a|ybc （整除的规律） ? a|c 例题 【例19.10】 求 5 的模 7 逆 解：5 与 7 互素，故 5 的模 7 逆存在。 解方程 ax ≡ 1(mod m)， 即 5x ≡ 1(mod 7) 将 x=-3,-2,-1,0,1,2,3 带入得 5×3 ≡ 1(mod 7) 因此 5-1 ≡ 3(mod 7) 辗转相除求逆 辗转相除： 7=5+2 5=2×2+1 回代: 1=5-2×2 =5-2×(7-5) =3×5-2×7 得： 5-1 ≡ 3(mod 7) 3-1 ≡ 5(mod 7) 欧拉函数： 对任意正整数 n，把｛0,1,…,n-1｝中与 n 互素的个数记作φ(n)，称为欧拉函数。 如 φ(1) ＝φ(2) ＝1 φ(3) ＝φ(4) ＝2 定理： 当 n 为素数时 φ(n)＝n-1 当 n 为合数时 φ(n) n-1 欧拉函数 欧拉定理与费马小定理 定理19.11 设 a 与 n 互素，则 aφ(n) ≡ 1(mod n) 定理19.12 设 p 是素数，a 与 p 互素，则 ap-1 ≡ 1(mod p) 利用费马小定理计算 1. 5923 mod 11 ≡ 510×92+3 ≡ (510)92×53 ≡ 53 ≡ 4 (mod 11) 2. 习题十九 367页 45题 产生均匀伪随机数的方法 （0,1）上均匀分布的伪随机数 线性同余法 选择 4 个非负整数： 模数 m，乘数 a，常数 c 和种子数 x0 ， 其中 2≤a＜m, 0≤c＜ m, 0≤x0＜ m, 递推公式： xn = (axn-1 + c) mod m, n=1,2, … un = xn/m, n=1,2, … 乘同余法 xn = axn-1 m