複製鏈接
請複製以下鏈接發送給好友

組合邏輯

鎖定
組合邏輯(combinatory logic)是2018年全國科學技術名詞審定委員會公佈的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
中文名
組合邏輯
外文名
combinatory logic
所屬學科
計算機科學技術
公佈時間
2018年
審定機構
全國科學技術名詞審定委員會

目錄

組合邏輯定義

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

組合邏輯出處

《計算機科學技術名詞 》第三版。
參考資料