lambda calculus:λ演算
λ演算(Lambda calculus)是一种由Alonzo Church和Stephen Kleene于1930年开发的程序语言数学基础,它可以用来表示所有可计算的函数。在正规化可计算性(也是可构造性和有效计算性)的概念努力中,Church和Kleene开发出一种只需要简单的句法和少量的语法约束强力有效地语言。这种语言把函数程序当成它的一个参数(一个函数是一套规则),把实体像其他变量一样表示,一个函数功能对另一个对的调用,或者当成“lambda抽象”(用希腊字母lambda表示的一个函数定义维抽象运算)。λ演算和类似合成逻辑和分类系统理论一样,他们是学习数学逻辑和计算机编程语言的重要基础。
最近更新时间:2008-06-17 EN
相关推荐
-
通过机器学习将数据转化为可操作见解
我们都知道,现在业务受数据驱动。随着数据收集的兴起,分析已成为业务价值的最大驱动力之一。但是,分析程序取决于底 […]
-
Nutanix新CEO优先事项:软件转型
Nutanix和VMware正在争夺超融合基础架构软件市场。Nutanix公司新任首席执行官Rajiv Ram […]
-
实现云计算财务收益的5种方法
大多数企业仍在将工作负载从数据中心迁移到云端。尽管通常省钱不是这种迁移的主要目的,但是如果能省钱,又可更好地扩 […]
-
企业成功实现数字化转型的4个实例
数字化转型不仅仅涉及部署数字技术,还需要做更多的工作。在很多成功实现数字化转型的企业中,我们学习到一件事,那就 […]