基本释义:

λ演算

网络释义

1)λ-calculus,λ演算

2)lambda calculus,λ-演算

3)calculus of λ-conversion,λ转换演算

4)λ algorithms,λ算法

5)SARSA(λ) algorithm,SARSA(λ)算法

6)DFSARSA(λ) algorithm,DFSARSA(λ)算法

用法和例句

The base of the theory is the typed λ-calculus.

类型系统的理论基础是类型化的λ演算。

e Study the correspondence between CL(Combinalory Logic)and lambda calculus by means of the following rules and respectively:is a functional CL-tenn and Where“λ￣*x” is an any abstraction operation in CL.

本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。

In the Direct Spread Spectrum System,there are three usual algorithms for estimating the weighting based on DFT:N-sigma, algorithms,median filter.

在直接扩频通信系统中,基于傅里叶变换的门限估计常用的有N-sigma法、λ算法和中值滤波3种。