在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

lambda calculus

美:[ˈlæmdə ˈkælkjələs]英:[ˈlæmdə ˈkælkjələs]查词链接:https://www.dute.org/dict/lambda_calculus复制链接
λ演算:一种用于研究函数抽象和应用的形式系统,广泛应用于计算机科学、逻辑学和数学等领域。
查看英英释义
abstract:
Lambda calculus (also written as λ-calculus or called "the lambda calculus") is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution. First formulated by Alonzo Church to formalize the concept of effective computability, lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.

网络释义
演算
[10] λ演算(lambda calculus)是一仿用于钻研函数订义、函数哄骗以及递归的形式系统,在递归现实以及函数式编程中有灭遍及的运用。
常用短语
近义词
* 以上查询结果来自于网络,仅供参考。
正在查询...