证明策略 证明策略 猜想与证明 猜想和反例 停机问题 其他证明方法 序列和求和 序列 特殊的整数序列 求和 基数 数学归纳法 数学归纳法 数学归纳法证明的例子 强归纳法 良序性 为什么数学归纳法有效 递归定义与结构归纳法 递归地定义函数 递归地定义集合与结构 结构归纳法 广义归纳法 递归算法 递归与迭代 归并排序 程序正确性 程序验证 推理规则 条件语句 循环不变量