兰姆达演算 - 中国百科网

高级检索

专业板块专题板块大众板块

首页

兰姆达演算

/Lambda calculus/

最后更新 2022-01-20

浏览 308次

最后更新 2022-01-20

浏览 308次

0 意见反馈一键引用

美国逻辑学家A.丘奇于20世纪30年代提出的一套形式系统。又称λ-演算。

英文名称: Lambda calculus

又称: λ-演算

提出者: A.丘奇

所属学科: 哲学

阅读历史

版权所有 © 2025 中国大百科全书出版社
Copyrights © 2025 by Encyclopedia of China Publishing House.All Rights Reserved
京ICP备13020690号-4 京公网安备 11010202008139号
网络出版服务许可证：(署)网出证(京)字第155号

意见反馈

感谢您的反馈

我们会尽快处理您的反馈！

谢谢！