Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/組合邏輯/6579034
組合邏輯
鎖定
組合邏輯(combinatory logic)是2018年
全國科學技術名詞審定委員會
公佈的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
中文名
組合邏輯
外文名
combinatory logic
所屬學科
計算機科學技術
公佈時間
2018年
審定機構
全國科學技術名詞審定委員會
目錄
1
定義
2
出處
組合邏輯
定義
一種不基於集合論的邏輯形式系統,常包含恆等、分配和消去三個組合子。
[1]
組合邏輯
出處
《計算機科學技術名詞 》第三版。
參考資料
1.
組合邏輯
.術語在線
[引用日期2020-08-23]
圖集
組合邏輯的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:6次
歷史版本
最近更新:
聂媳窗票倩跃
(2022-06-26)
1
定義
2
出處
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄