inglês

alemão árabe catalão checo chinês coreano dinamarquês eslovaco espanhol farsi francês grego hebraico hindi húngaro inglês italiano japonês neerlandês polonês português romeno russo sueco tailandês turco ucraniano vietnamita

chinês

Definição alemão árabe catalão checo chinês coreano dinamarquês eslovaco espanhol farsi francês grego hebraico hindi húngaro inglês italiano japonês neerlandês polonês português romeno russo sueco tailandês turco ucraniano vietnamita

Favoritos

lambda calculus

Definição

1. branch of mathematics that uses function abstraction and application 2. formal system for... Ver mais

Tradução de "lambda calculus" em chinês

Definição NEW

lambda演算

In domain theory, the basic idea is to find constructions from partial orders that can model lambda calculus, by creating a well-behaved cartesian closed category.

在域理论中，基本想法是通过建立良好行为的笛卡儿闭范畴，从可建模lambda演算的偏序中找到构造。

The important step to find a model for the lambda calculus is to consider only those functions (on such a partially ordered set) which are guaranteed to have least fixed points.

为 lambda 演算找到模型的一个重要步骤是只考虑保证有最小不动点的那些函数（在这种偏序集合上）。

Propositions in the logical interpretation are now viewed as types, and proofs as programs in the lambda calculus.

在逻辑释义中的命题现在被看作类型，而证明被看作使用lambda 演算写的程序。

A logical framework is based on a general treatment of syntax, rules and proofs by means of a dependently typed lambda calculus.

它基于了通过有依赖类型的lambda 演算方式的对语法、规则和证明的一般性处理。

A lambda calculus system with the normalization property can be viewed as a programming language with the property that every program terminates.

带有规范化性质的 lambda 演算系统可以被看作带有所有程序都终止性质的编程语言。

All the systems mentioned so far, with the exception of the untyped lambda calculus, are strongly normalizing: all computations terminate.

迄今提到的所有西，除了无类型lambda演算是例外，都是"强规范化"的：所有计算都会终止。

In the simply typed lambda calculus extended with recursive types, fixed-point operators can be written, but the type of a "useful" fixed-point operator (one whose application always returns) may be restricted.

带有扩展的递归类型的简单类型lambda演算，可以写出不动点算子，"有用的"不动点算子（它的应用总是会返回）的类型将是有限制的。

Moreover, in lambda calculus, notions such as '3' and' {\displaystyle } 'can be represented without any need for externally defined primitive operators or constants.

此外，在lambda演算中，概念比如3和，不需要任何额外定义基本运算符或常量就可以表示出来。

However, in the untyped lambda calculus, there is no way to prevent a function from being applied to truth values, strings, or other non-number objects.

然而，在無型別的lambda演算中，沒有辦法避免函數被應用於真值、字串或其它非數字物件。

This property is inherited from lambda calculus, where multi-argument functions are usually represented in curried form.

這個屬性是從lambda演算繼承而來的，其中多參數的函數通常以柯里形式表示。

Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.

因为在lambda演算中抽象是制造函数的唯一方式，在组合子演算中必须有某种东西替代它。

Because several programming languages include the lambda calculus (or something very similar) as a fragment, these techniques also see use in practical programming, but may then be perceived as obscure or foreign.

因為幾個編程語言部份含括了lambda演算（或者非常相似的東西），所以這些技術也可以在實際的編程中見到，但有可能被認為是模糊或外來的。