结构归纳法关于递归定义的集合的命题-南京大学.pptVIP

* * * * 归纳与递归 离散数学─归纳与递归 南京大学计算机科学与技术系 * 内容提要 递归定义 结构归纳法 递归算法 * 递归定义（N上的函数） 递归地定义自然数集合N上的函数。 基础步骤：指定这个函数在0处的值； 递归步骤：给出从较小处的值来求出当前的值之规则。 举例，阶乘函数F(n)=n!的递归定义 F(0)=1 F(n)=n?F(n-1) for n0 * Fibonacci 序列 Fibonacci 序列 {fn} 定义如下 f0 = 0, f1 = 1, fn = fn – 1 + fn –2, 对任意n ? 2. 其前几个数 0, 1, 1, 2, 3, 5, 8, … 证明：对任意n ? 0， 其中， * 归纳证明: Fibonacci 序列 验证：当n=0,1时，陈述正确。 对于k+1, 注意：?2 = ? + 1，且?n + 1 = ?n + ?n – 1 对任意n ? 1. * 归纳证明: Fibonacci 序列 * 递归定义（集合） 递归地定义集合。 基础步骤：指定一些初始元素； 递归步骤：给出从集合中的元素来构造新元素之规则； 排斥规则（只包含上述步骤生成的那些元素）默认成立 举例，正整数集合的一个子集S，定义如下： 2?S 若x?S且y?S，则 x+y?S。 *