組合邏輯

組合邏輯（combinatory logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：組合邏輯
• 外文名：combinatory logic
• 所屬學科：計算機科學技術
• 公布時間：2018年
• 審定機構：全國科學技術名詞審定委員會

定義

一種不基於集合論的邏輯形式系統，常包含恆等、分配和消去三個組合子。

出處

《計算機科學技術名詞 》第三版。