高级搜索
    专业板块 专题板块 大众板块
    首页

    兰姆达演算

    /Lambda calculus/
    最后更新 2022-01-20
    浏览 60次
    最后更新 2022-01-20
    浏览 60次
    0 意见反馈 条目引用

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

    英文名称
    Lambda calculus
    又称
    λ-演算
    提出者
    A.丘奇
    所属学科
    哲学

    精选发现

      相关条目

      阅读历史

        版权所有 © 2021 中国大百科全书出版社
        Copyrights © 2021 by Encyclopedia of China Publishing House.All Rights Reserved
        京ICP备13020690号-4 京公网安备 11010202008139号
        意见反馈

        提 交

        感谢您的反馈

        我们会尽快处理您的反馈！
        您可以进入个人中心的反馈栏目查看反馈详情。
        谢谢！