探讨的问题一 递归函数的语义 对应的整数域上的数学函数的定义(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,正好只有一个beB,使得(a,b》∈R 偏函数(partial function,部分函数)：..最多只 有一个b∈B 注：需要这个概念来回答上述问题探讨的问题——递归函数的语义 • 对应的整数域上的数学函数的定义（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 – 偏函数（partial function, 部分函数）：…最多只 有一个bB … 注：需要这个概念来回答上述问题 11