Λ转换演算

来自计算思维百科
Weapon讨论 | 贡献2015年10月13日 (二) 12:31的版本 (创建页面,内容为“{{λ转换演算}}”)

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转至: 导航搜索

λ转换演算是一种定义函数的形式演算系统,A.Church于1935年为精确定义可计算性而提出的。他引进λ记号以明确区分函数和函数值,并把函数值的计算归结为按照一定规则进行一系列转换,最后得到函数值。按照λ转换演算能够得到函数值的函数称为λ可定义函数。