组词典 词语

λ演算

【λ演算】基础信息( 英文,繁体)

  • 词语λ
  • 繁体λ演算
  • 英文lambda calculus

【λ演算】是什么意思

一种对逻辑公式中限制变数值进行代入,为主要计算的演算法,用于程式语言的语义学相关数学基础。

浏览历史