組合代數

組合代數

組合代數(combinatory algebra)是2018年公布的計算機科學技術名詞。

基本介紹

  • 中文名:組合代數
  • 外文名:combinatory algebra
  • 所屬學科:計算機科學技術
  • 公布時間:2018年
定義,出處,

定義

一種代數系統,被用來研究包含分配組合子和消去組合子的邏輯系統。

出處

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

相關詞條

熱門詞條

聯絡我們