离散数学课程教学理性思考.ppt

语境代换公理 ω(xn){if Q then R1 else R2 end} =Q[x/xn]?ω(xn){R1}??Q[x/xn] ?ω(xn){R2} ω(xn){while Q do R end}= ω(xn){if Q then R end}{while Q do R end} Q的终止条件 限定归纳法求逻辑公式 ω(xn){R1;R2}=ω(xn){R1}{R2} ω(xn){x=f(x);R}= x(n+1)≡f(xn)?ω(x(n+1)){R} = θ (x (n+1))?Q(x(n+1), xn)?ω(x (n+1)){R} θ (x (n+1))类型保持性 循环的归纳证明 ω(xn){while Q do R end} =ω(xn){if Q then R end;while Q do R end} 基础 ω(x0){while Q do R end} 假设与归纳 ω(xk){while Q do R end} ? ω(xk+1){while Q do R end} 结论 ω(xn){while Q do R end} 总结 离散数学是计算机专业的可靠基础 理论基础、硬件基础、软件基础 逻辑是集合论、图论及代数系统重要基础 命题逻辑和集合是数字逻辑及计算机组成基础 数字逻辑与CPU设计是基于Verilog的软件设计 离散数学是操作系统和编译系统的基础 离散数学是安全关键软件程序基础 高层需求、底层需求及软件架构描述 程序的形式证明 形式证明之验证 * * 集合相等关系 定义(外延性公理）： 如果集合A 和B 含有相同的元素，则称A 和B相等，记为A = B。 A = B ??x (x?A? x?B) ??x (x?A? x?B)??x (x?B? x?A) 其中?表示当且仅当关系。在数理逻辑证明中，用“符号?”代替集合符号“?”。 集合的“=”是集合之间的一种关系，即相等关系； 这个等关系也可以是表示相等谓词。 谓词“=”概念是由集合及“?”这两个基本概念的导出概念。 集合包含关系（子集） 定义 若集合 A 的元素都是集合B的元素，则称A是B的子集，也称 A包含于B，或者B包含 A ，记为 A ? B 或 B ? A 。 A ? B ??x (x?A? x?B) 定义 若A ? B且A ?B ，则称A是B的真子集，也称A真包含于B，或者B 真包含A ，记为A ? B 或 B ? A 。 A ? B ??x (x?A? x?B) ? ?x (x?B ? x?A) 关系“?”和“?”概念也是由集合及“?”这两个基本概念的导出概念。 在数理逻辑证明中，“?”和“?”也可以看作是包含谓词。 集合运算性质 结合律 (A ? B ) ? C = A ? ( B ? C) (A ? B ) ? C = A ? (B ? C) 交换律 A ? B = B ? A A ? B = B ? A 分配律 A ? ( B ? C ) = (A ? B) ? (A ? C) A ? ( B ? C ) = (A ? B) ? (A ? C) 德?摩根律 ? (A ? B ) = ? A ? ? B ? (A ? B ) = ? A ? ? B 幂等律 A ? A = A A ? A = A 吸收律 A ? (A ? B ) = A A ? (A ? B ) = A 同一律 A ? ? = A A ? U = A 零 律 A ? ? = ? A ? U = U 互补律 A ? ? A = ? A ? ? A = U 对合律 ? ? A = A ? ? = U ? U = ? 关系运算性质 (R1°R2 )°R3 = R1°(R2°R3) (R1 ? R2 )°R3 = R1°R3 ? R2°R3 R1°(R2 ? R3)= R1°R2 ? R1°R3 (R1 ? R2 ) ° R3 ? R1 ° R3 ? R2° R3 R1 ° (R2 ? R3) ? R1 ° R2 ? R1° R3 (R1 ? R2 ) ° R3 ? R1 ° R3 ? R2° R3 RmRn = Rm+n (Rn)m = Rmn (R1?R2)-1= R1-1?R2-1 (R1?R2)-1= R1-1?R2-1 (R1-R2)-1= R1-1-R2-1 (~R1)-1= ~R1-1 (R ° S)?1 = S ?1 ° R?1 函数运算性质 定理：设f : X ? Y，则f ° IX = IY ° f = f。 定理 设 f : X ? Y， g