手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

定义的使用


   现在继续研究简化表达式时所牵涉到的第三个(即最后一个)基本活动:函数定义的使用。 假定有形为 (f v_1…v_n)=体的一个函数定义。 在用t_i代换体中的相应形参之后,由等式公理知,可用f之体替代f的一次调用:……   
[关键词]:函数定义;函数调用;启发式法;归纳法;定理证明器
[文献类型]:期刊
[文献出处]: 《计算机工程与应用1982年Z1期
App内打开