累计查询 0.00 亿次

lambda calculus

英 /ˈlæmdə ˈkælkjələs/美 /ˈlæmdə ˈkælkjələs/
  • λ演算：一种用于研究函数抽象和应用的形式系统，广泛应用于计算机科学、逻辑学和数学等领域。

双语例句

  1. Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
    它被称为lambda演算，用于研究函数定义与应用程序以及递归概念。
  2. 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的使用：它们也只不过是匿名函数。

网络短语

  • Knights of the Lambda Calculus
    兰姆达算法骑士团
  • lambda-calculus
    演算
  • lambda calculus of objects
    对象式lambda演算
  • lambda a calculus
    演算

同义词

differential and integral calculusinfinitesimal calculus
演算；微积分

英英释义

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