λcalculus
中文翻译λ演算
同义词释义
- 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种。
相关英语词汇
- approximate是什么意思
- alternating groups是什么意思
- automorphism gruop是什么意思
- affine surface是什么意思
- adge cover是什么意思
- adjacent edge是什么意思
- abstract ordered simplicial complex是什么意思
- autodistributivity是什么意思
- aristotelian logic是什么意思
- amideimide polymer是什么意思
- absolutely continuous distribution是什么意思
- amalgamated product是什么意思
- almost equivalent是什么意思
- acceleration of convergence是什么意思
- antiparallel是什么意思
- age replacement policy是什么意思
- airborne是什么意思
- anastigmatic是什么意思
- aligned systematic sampling是什么意思
- algebraic geometry是什么意思
- adsorption desorption effect是什么意思
- almost inevitable是什么意思
- absolutely irreducible character是什么意思
- alternating multilinear mapping是什么意思
- aluminium alloy是什么意思
- artificial illumination是什么意思
- axiom scheme是什么意思
- antiepicenter是什么意思
- arc set是什么意思
- AND to OR function是什么意思