基本属性
- 拼音字母gui jie yuan li
- 拼音首字母gjyl
- 注音符号ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ
扩展释义
Robinson第一定理,即归结原理,在数理逻辑和自动定理证明中(GOFAI涉及的主题),归结(resolution)是对于命题逻辑和一阶逻辑中的句子的推理规则,它导致了一种反证法的定理证明技术。
「归结原理」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:guī jié yuán lǐ,注音:ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ。
Robinson第一定理,即归结原理,在数理逻辑和自动定理证明中(GOFAI涉及的主题),归结(resolution)是对于命题逻辑和一阶逻辑中的句子的推理规则,它导致了一种反证法的定理证明技术。