五章节 递归函数论.pptVIP

第五章 递归函数论;派生法;5.2.1 迭置法;迭置与非迭置的例子; 迭置法;一、(m，n)标准迭置 ;例 下面的迭置化为(m，n)标准迭置:;例 下面的迭置化为(m，n)标准迭置:;例 下面的迭置化为(m，n)标准迭置:;例(6分) 下面的迭置化为(m，n)标准迭置:;二、凑合定义法 ;化凑合定义为迭置;例 (p58)试用凑合定义法定义函数lm(x，3)，并把它化为迭置。;例 将下列凑合定义化为迭置;例 将下列凑合定义化为迭置;第五章 递归函数论;5.2.2 算子法;一、迭函算子;迭函算子;迭加算子、迭乘算子;二、原始递归式 ;(1) 不含参数的原始递归式;阶乘函数n!;(2)含参数的原始递归式;第五章 递归函数论;一、原始递归函数的构造方法;二、原始递归函数的构造过程;例 (p60) f(x,y)=x+y;例 f(x,y)=xy;例(p60);例(p60);例 f(x)=Nx;例 f(x, y)= x ? y;例(p60) min(x，y);例 max(x，y);例(p61) x ?? y;例(p61) 试证明下列函数为原???递归函数;例 Ca(x);;;第五章 递归函数论