七递归函数.pptVIP

第七章 递归函数 绪：在递归理论中均以数论为研究对象，其中中国数学家华罗更在60年代出了一本专著即：《数论原理》一书，其中阐述与自然数集有关的论证方法。即：数学归纳法。另外他的另一贡献是“黄金分割法”也就是我们常说的0.618方法，由此可见自然数在自然界中的地位。 7.1 数学归纳法 1）用数学归纳法证明n元命题的方法是： 设：p（n）是一个含有自然数变元个数为n的命  题，我们采用数学归纳法来证明它对一切自然  数n均成立。 （注意：这里包括n→奠基时） 2）证明步骤： （1）当n=0时该命题成立（证明p（0 ）成立）我  们称为或初始； （2）当n=k时成立（假设条件）即：n=k时该命题  成立； （3）证明n=k+1时成立即：p（k）→ p（k+1）时 成立这一步称为归纳。3）归纳原理（对自然数而言） 第一步证明：要求该命题中含有自然数变元n； 第二步证明：要求对一切自然数n均成立； 第三步证明：注意的是有条件假设前提（我们称  归纳假设）即：n=k