第二章逻辑和证明（六）.pptVIP

第二章 逻辑和证明 2.6 递归定义 递归定义： 用自己定义自己的方法 对照递归程序 2.6.1 函数的递归定义 递归地定义函数f（以非负整数集为定义域）： (1)定义（规定）f(0)的值 (2)定义f(n+1)，给出从f(0)、f(1)、…、f(n)和n导出f(n+1)的值的方法 例1 给出阶乘函数f(n)=n!的归纳定义。 解 可以通过规定阶乘函数的初值，即f(0)=1，并且给出从f(n)求出f(n+1)的规则，来定义这个函数。要得出这个结果，注意通过乘以n+1就从n!计算出(n+1)!因此，所需要的规则是f(n+1)=(n+1)f(n). 递归地定义函数是唯一的（严格定义的） 例2 斐波那契数（Fibonacci）f0, f1, f2,…是用等式f0 =0， f1=1，以及对n=2,3,4,…来说fn= fn-1+ fn-2来定义的。Fibonacci f2, f3, f4, f5是什么？ 解 因为这个定义的第一部分说f0 =0和f1=1，所以从这个定义的第二部分得出： f2 = f1 + f0 =1+0=1 f3 = f2 + f1 =1+1=2 f4 = f3 + f2 =2+1=3 f5 = f4 + f3 =3+2=5 例3 斐波那契不等式 证明：每当n?