Λ演算的英文
发音:
"Λ演算"怎么读用"Λ演算"造句
英文翻译手机版
- lambda calculus
- "演算" 英文翻译 : perform mathematical calculations; calculation; calculus◇演算器 exerciser
- "d演算" 英文翻译 : d-calculus
- "lambda 演算" 英文翻译 : lambda calculus
- "lambda演算" 英文翻译 : lambda calculus
- "λ演算" 英文翻译 : lambda calculus
- "反演算" 英文翻译 : inversion
- "计算,演算" 英文翻译 : calc calculation
- "类演算" 英文翻译 : calculus of classes
- "演算表" 英文翻译 : boolean operation table
- "演算的" 英文翻译 : algorithmic
- "演算法" 英文翻译 : ant algorithm; cocke-kasami-younger algorithm cky
- "演算器" 英文翻译 : exerciser
- "域演算" 英文翻译 : domain calculus
- "cky演算法" 英文翻译 : cky algorithm (cocke-kasami-younger)
- "d立方演算" 英文翻译 : d cube calculus; d-cube calculus
- "earley演算法" 英文翻译 : earley algorithm
- "em演算法" 英文翻译 : em algorithm
- "kruskal演算法" 英文翻译 : kruskal's algorithm
- "prim演算法" 英文翻译 : prim's algorithm
- "strassen演算法" 英文翻译 : strassen algorithm
- "半演算法" 英文翻译 : semialgorithm
- "保险演算" 英文翻译 : insurance calculus
- "比演算法" 英文翻译 : viterbi algorithm
- "布尔演算" 英文翻译 : boolean calculus
- "Μ operator" 英文翻译 : Μ算子
- "Λ超子" 英文翻译 : lambda hyperon
百科解释
λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐?邱奇和他的学生斯蒂芬?科尔?克莱尼在20世纪30年代引入。邱奇运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案。这种演算可以用来清晰地定义什么是一个可计算函数。关于两个lambda演算表达式是否等价的命题无法通过一个“通用的算法”来解决,这是不可判定性能够证明的头一个问题,甚至还在停机问题之先。Lambda演算对函数式编程语言有巨大的影响,比如Lisp语言、ML语言和Haskell语言。
详细百科解释
相关词汇
Λ演算的英文翻译,Λ演算英文怎么说,怎么用英语翻译Λ演算,Λ演算的英文意思,Λ演算的英文,Λ演算 meaning in English,Λ演算的英文,Λ演算怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。