1) lambda calculus
λ-演算
1.
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.
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。
2) λ-calculus
λ演算
1.
The base of the theory is the typed λ-calculus.
类型系统的理论基础是类型化的λ演算。
3) calculus of λ-conversion
λ转换演算
4) λ algorithms
λ算法
1.
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种。
5) SARSA(λ) algorithm
SARSA(λ)算法
6) DFSARSA(λ) algorithm
DFSARSA(λ)算法
补充资料：λ演算
λ演算
-calculus В lambda calculus
又演算以心目回迢或hm政b口kJ场;几一:c，Nc，HHe]【补注】引言又演算是于1932一1933年由A.〔七比ch([ A31)提出的，当时试图把它作为数学基础的理论部分之一.此理论部分包括两个内容二一是关于逻辑符号与规则，二是作用于这些符号上的算法，在5.C.幻优ne和J.B.R。骆er(〔A7」)发现这一理论体系是不协调的之后，关于算法的这一部分从原先理论中分离出来称为(类型无关的)又演算它被证明在反映可计算函数(eompu恤bleft川etion)的直观概念方面是相当成功的.Kleene(【A6」)证明递归函数(rec-明ive fun ction)恰好是元可定义的(其意义见下文).接着，A.M.T山勿g(【A10])引人了他自己定义的一种机器(见1知山嗯机(Turing几心ch的e))，并证明了TI创ng可计算和又可定义是等价的.这便是有关Om比h~Turing论题的讨论，即可计算的直觉概念被正确地形式化为又可定义，T以勿g可计算，或者递归(也见:C扭.由论题(C七urch lh巴is)).虽然许多程序设计语言是基于T如架的可计算模型(强制式程序设计)，但目前在函数式程序设计领域Ch眠h的模型受到很大关注. 又项设V是变量的无限集.又项的集合(记为A)是满足下列条件的最小集合:若x6V，则x〔A;若M，N〔A，则(材N)〔A;若M‘A且x任A，则(又xM)任A.其中项MN的含义为:M是作用于N的函数，N是参数;几xM表示把值M(可能包含幻指派给对x的直接作用.用三表示项之间的语法相等.这样，元xx二又xx举又x夕以及(又xx)a学。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条