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

语境代换公理 ω(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} 总结 离散数学是计算机专业的可靠基础 理论基础、硬件基础、软件基础 逻辑是集合论、图论及代数系统重要基础 命题逻辑和集合是数字逻辑及计算机组成基础 数