查询结果
归结原理
guī jié yuán lǐ
ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ
「归结原理」是什么意思？
更新 2026-07-11 08:32:27
- 拼音字母gui jie yuan li
- 首字母gjyl
- 注音符号ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ
扩展释义
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
拆字组词
相关词语
- 一言已定查含义
- 世纪大讲堂查含义
- 人参提取物查含义
- 奥气传说查含义
- 奥仕兰奇查含义
- 外公切线查含义
- 姜素英查含义
- 孙楼村查含义
- 巴比伦饭店查含义
- 左耳听见查含义
- 张积民查含义
- 我错了查含义
- 无容赘言查含义
- 可惜查含义
- 核糖醇基查含义
- 永靖县查含义
- 水之波动查含义
- 火线战场查含义
- 牛胆汁查含义
- 琼枝玉叶查含义
- 王盛烈查含义
- 电子迁移查含义
- 矮河马查含义
- 菜娥查含义
- 蓝色查含义
- 蟌科查含义
- 谋害查含义
- 重氮化查含义
- 道县桥头林场查含义
- 长葶鸢尾查含义
- 批话多查含义
- 云阳县卫生局查含义
- 布施步查含义
- 绿之日查含义
- 灰黄啄木鸟查含义
- 黑耳雀百灵查含义
- 冠微查含义
- 畑亚贵查含义
- 双活鹅查含义
- 疯门全书查含义
- 保命丹锭子查含义
- 娄欣云查含义
- 茅土查含义
- 秋道长治查含义
- 生活文摘报查含义
- 赵主宽查含义
- 博尔加内斯查含义
- 路天珍查含义
- 覃绍宪查含义
- 超级组合查含义