话题
搜索

兰姆达微积分

由Alonzo Church和Stephen Kleene开发的一种形式逻辑，用于解决可计算数问题。在lambda演算中，λ定义为抽象运算符。三个定理lambda微积分的贝塔-转换，阿尔法-转换，以及埃塔-转换。λ还原（也称为λ转换）指的是这三个方面。

另请参见

组合器,组合逻辑,可计算数字,兰姆达转换

与Wolfram一起探索| Alpha

新型网络搜索引擎

更多需要尝试的事情：

工具书类

巴伦德雷格特，H.P。兰姆达微积分。荷兰阿姆斯特丹：北荷兰，1981年。汉金，C、。兰姆达微积分：计算机科学家指南。英国牛津：牛津大学出版社，1995年。辛德利，J.R。和J.P.塞尔丁。引言到组合器和λ-微积分。英国剑桥：剑桥大学出版社，1986年。彭罗斯，R。这个皇帝的新思想：关于计算机、思想和物理定律。英国牛津：牛津大学出版社，第66-70页，1989年。雷夫塞兹，例如。λ-微积分，组合器和函数编程。英国剑桥：剑桥大学出版社，1988年。塞尔丁，J.P。和辛德利，J.R。（编辑）。收件人H.B.公司。柯里：关于组合逻辑、兰姆达微积分和形式主义的论文。纽约：学术出版社，1980年。

参考Wolfram | Alpha

兰姆达微积分

引用如下：

埃里克·魏斯坦（Eric W.Weisstein）。“兰姆达微积分。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/LambdaCalculus.html

主题分类