繁體版 English Francais한국어ไทยViệt
登录 注册

Λ演算的英文

发音:  
"Λ演算"怎么读用"Λ演算"造句

英文翻译手机手机版

  • lambda calculus

其他语种

百科解释

λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐?邱奇和他的学生斯蒂芬?科尔?克莱尼在20世纪30年代引入。邱奇运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案。这种演算可以用来清晰地定义什么是一个可计算函数。关于两个lambda演算表达式是否等价的命题无法通过一个“通用的算法”来解决,这是不可判定性能够证明的头一个问题,甚至还在停机问题之先。Lambda演算对函数式编程语言有巨大的影响,比如Lisp语言、ML语言和Haskell语言。
详细百科解释
Λ演算的英文翻译,Λ演算英文怎么说,怎么用英语翻译Λ演算,Λ演算的英文意思,Λ演算的英文Λ演算 meaning in EnglishΛ演算的英文Λ演算怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。