go top

## lambda calculus 英 [ˈlæmdə ˈkælkjələs] 美 [ˈlæmdə ˈkælkjələs]

• 演算；微积分

### 网络释义专业释义英英释义

演算

[10] λ演算(lambda calculus)是一仿用于钻研函数订义、函数哄骗以及递归的形式系统,在递归现实以及函数式编程中有灭遍及的运用。

Knights of the Lambda Calculus 兰姆达算法骑士团

lambda calculus of objects 对象式lambda演算

更多收起网络短语
• 演算；微积分
λ演算
• 演算

·2,447,543篇论文数据，部分数据来源于NoteExpress

#### Lambda calculus

• abstract: Lambda calculus (also written as λ-calculus or called "the lambda calculus") is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution. First formulated by Alonzo Church to formalize the concept of effective computability, lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.

### 柯林斯英汉双解大词典

#### lambda calculus

• 1.

N a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages λ演算 [logic]

• 演算；微积分

### 双语例句

• Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.

它被称为lambda演算用于研究函数定义应用程序以及递归概念

• But don't let the complexity of calculus dissuade you from using lambdas: They are really nothing more than anonymous functions. The following function definition, for example, is a lambda.

但是不要calculus复杂性妨碍了lambdas使用它们只不过匿名函数

\$firstVoiceSent
- 来自原声例句