探讨的问题一 递归函数的语义 对应的整数域上的数学函数的定义(x≥0》 -x) ifx=0 then 1 else xx fx-1) -g(c) ifx =0 then 1 else (if x =1 then g(3)else g(x-2)) 它们是递归定义式，代表什么函数？ 函数：集合A到集合B的一种二元关系R,并且对 任何a∈A,正好只有一个b∈B,使得a,b)∈R -上述第一个定义代表阶乘函数 {0,1),1,1,2,2),3,6),(4,24),5,120),…}探讨的问题——递归函数的语义 • 对应的整数域上的数学函数的定义（x  0） – f(x) if x = 0 then 1 else x  f(x−1) – g(x) if x = 0 then 1 else (if x =1 then g(3) else g(x−2)) 它们是递归定义式，代表什么函数？ – 函数：集合A到集合B的一种二元关系R，并且对 任何aA，正好只有一个bB，使得a, bR – 上述第一个定义代表阶乘函数 { 0, 1, 1, 1, 2, 2, 3, 6, 4, 24, 5, 120, … } 9