开放逻辑
(计算机科学技术)
开放逻辑(open logic),计算机科学技术名词,中国科学院院士李未提出的一个可以刻画知识增长、更新以及进化的逻辑理论。由形式理论版本序列及其极限、修正演算和过程模式以及归纳演算四部分组成。
加载更多
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》