歸結的讀音 歸結的意思
歸結 歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時,對任一要證明的永真公式取非后,證明它不可滿足,為此先轉化成一種標準型,然后對這個標準型不斷使用單一的推理規則,即實行歸結,直到導出矛盾。
- 歸
- 結
“歸結”的讀音
- 拼音讀音:
- [guī jié]
- 漢字注音:
- ㄍㄨㄟ ㄐㄧㄝ ˊ
- 簡繁字形:
- 歸結
- 是否常用:
- 是
“歸結”的意思
基本解釋
基本解釋
歸結 guījié
(1) [settle]∶了結
歸結這樁公案
(2) [put in a nutshell;sum up]∶總括而求得結論
然后大家議論之后,歸結是不怕。——魯迅《社戲》
歸結 guījié
[end(of a story,etc.)] 歸宿,結果定局
這部小說是以主人公出走做歸結的
辭典解釋
歸結 guī jié ㄍㄨㄟ ㄐㄧㄝˊ 結果、最后。
《三俠五義.第一○五回》:「白玉堂英名一世,歸結卻遭了別人的暗算,豈不可氣可恥!」
總括而求得結論。
英語 to sum up, to conclude, in a nutshell, the end (of a story)?
德語 zusammenfassen, zusammennehmen (V)?
法語 résumer, en résumé
網絡解釋
歸結
歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時,對任一要證明的永真公式取非后,證明它不可滿足,為此先轉化成一種標準型,然后對這個標準型不斷使用單一的推理規則,即實行歸結,直到導出矛盾。
“歸結”的單字解釋
【歸】:同“歸”。
【結】:[jié]1.用線、繩、草等條狀物打結或編織。2.指結成之物。3.比喻疑難困惑的關鍵。4.繫;扎縛。5.連接。6.聯結;結合。7.聚合;凝聚。8.形容憂愁、氣憤積聚不得發泄。9.建造;構築。10.植物長出(果實或種子)。11.屈曲;盤旋。12.結束;終了。13.判決;治罪。14.舊時表明保證負責或承認了結的文書。15.揪住,扭住。16.姓。[jiē]見“結巴”、“結實”。
“歸結”的相關詞語
* 歸結的讀音是:guī jié,歸結的意思:歸結 歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時,對任一要證明的永真公式取非后,證明它不可滿足,為此先轉化成一種標準型,然后對這個標準型不斷使用單一的推理規則,即實行歸結,直到導出矛盾。
基本解釋
歸結 guījié
(1) [settle]∶了結
歸結這樁公案
(2) [put in a nutshell;sum up]∶總括而求得結論
然后大家議論之后,歸結是不怕。——魯迅《社戲》
歸結 guījié
[end(of a story,etc.)] 歸宿,結果定局
這部小說是以主人公出走做歸結的
辭典解釋
歸結 guī jié ㄍㄨㄟ ㄐㄧㄝˊ結果、最后。
《三俠五義.第一○五回》:「白玉堂英名一世,歸結卻遭了別人的暗算,豈不可氣可恥!」
總括而求得結論。
英語 to sum up, to conclude, in a nutshell, the end (of a story)?
德語 zusammenfassen, zusammennehmen (V)?
法語 résumer, en résumé
歸結
歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時,對任一要證明的永真公式取非后,證明它不可滿足,為此先轉化成一種標準型,然后對這個標準型不斷使用單一的推理規則,即實行歸結,直到導出矛盾。
【歸】:同“歸”。
【結】:[jié]1.用線、繩、草等條狀物打結或編織。2.指結成之物。3.比喻疑難困惑的關鍵。4.繫;扎縛。5.連接。6.聯結;結合。7.聚合;凝聚。8.形容憂愁、氣憤積聚不得發泄。9.建造;構築。10.植物長出(果實或種子)。11.屈曲;盤旋。12.結束;終了。13.判決;治罪。14.舊時表明保證負責或承認了結的文書。15.揪住,扭住。16.姓。[jiē]見“結巴”、“結實”。