completeness theorem
基本解釋
- [數(shù)學(xué)]完備性定理完全性定理
英漢例句
- This system is functionally complete, has7axioms, and its completeness theorem has been proved.
該系統(tǒng)有7 個(gè)公理，具有函數(shù)完備性和系統(tǒng)完備性。 - First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先，哥德?tīng)柕耐耆远ɡ砗筒煌耆远ɡ碇械摹巴耆浴笔莾苫厥隆?/li> - The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved. The paper concludes with a comprehensive comparison of our proposal w…
給出了URS的語(yǔ)法及語(yǔ)義，證明了URS的合理性與完全性定理，并與其它不確定推理方法作了比較。
雙語(yǔ)例句
詞組短語(yǔ)
- myhill completeness theorem 曼希爾完備性定理
- G ?del completeness theorem 完全性定理
- Godel completeness theorem 翻譯;哥德?tīng)柾耆远ɡ?/li>
- generalized completeness theorem 廣義完全性定理
短語(yǔ)
專(zhuān)業(yè)釋義
- 完備性定理
- 完全性定理