lambda calculus:λ演算
λ演算(Lambda calculus)是一种由Alonzo Church和Stephen Kleene于1930年开发的程序语言数学基础,它可以用来表示所有可计算的函数。在正规化可计算性(也是可构造性和有效计算性)的概念努力中,Church和Kleene开发出一种只需要简单的句法和少量的语法约束强力有效地语言。这种语言把函数程序当成它的一个参数(一个函数是一套规则),把实体像其他变量一样表示,一个函数功能对另一个对的调用,或者当成“lambda抽象”(用希腊字母lambda表示的一个函数定义维抽象运算)。λ演算和类似合成逻辑和分类系统理论一样,他们是学习数学逻辑和计算机编程语言的重要基础。
最近更新时间:2008-06-17 EN
相关推荐
-
缓解多云治理挑战的5个最佳做法
部署多云模型会给云团队带来更多的复杂性和管理挑战。这些挑战影响着企业环境的方方面面,包括设计、部署、配置、运营 […]
-
联合国决议表明全球关注AI规则和原则
联合国大会周四通过了一项关于人工智能的最终决议,这是朝着全球合作迈出的一步-关于如何使用人工智能和全球支持保护 […]
-
4个需要解决的虚拟现实道德问题
虚拟、增强和混合现实(统称为扩展现实XR)的增长导致出现分歧。一边是用户和供应商,另一边是法律专家和伦理学家& […]
-
如何逐步改进和优化业务流程
随着企业的发展壮大,他们的业务流程也在不断发展。根据企业的规模不同,企业内部和外部的利益相关者每天都会参与数十 […]