组合逻辑
(计算机科学技术名词)
组合逻辑(combinatory logic)是2018年全国科学技术名词审定委员会公布的计算机科学技术名词,出自《计算机科学技术名词 》第三版。一种不基于集合论的逻辑形式系统,常包含恒等、分配和消去三个组合子。
加载更多
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》