组合逻辑

更新时间:2022-06-26 18:27

组合逻辑(combinatory logic)是2018年全国科学技术名词审定委员会公布的计算机科学技术名词,出自《计算机科学技术名词 》第三版。

定义

一种不基于集合论的逻辑形式系统,常包含恒等、分配和消去三个组合子。

出处

《计算机科学技术名词 》第三版。

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}