go top

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

  • λ演算:一种用于研究函数抽象和应用的形式系统,广泛应用于计算机科学、逻辑学和数学等领域。

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

  演算

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

基于4884个网页-相关网页

短语

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

lambda-calculus 演算

lambda calculus of objects 对象式lambda演算

lambda a calculus 演算

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

·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.

以上来源于: WordNet

 柯林斯英汉双解大词典 

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演算用于研究函数定义应用程序以及递归概念

    youdao

  • 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的使用它们也只不过匿名函数

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定