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