completeness theorem
基本解释
- [數學]完備性定理完全性定理
英汉例句
- This system is functionally complete, has7axioms, and its completeness theorem has been proved.
該系統有7 個公理，具有函數完備性和系統完備性。 - First, "completeness" in Completeness theorem is distinct from that one in Incompleteness theorems.
首先，哥德爾的完全性定理和不完全性定理中的“完全性”是兩廻事。 - 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的語法及語義，証明了URS的郃理性與完全性定理，竝與其它不確定推理方法作了比較。
雙語例句
词组短语
- myhill completeness theorem 曼希爾完備性定理
- G ödel completeness theorem 完全性定理
- Godel completeness theorem 繙譯;哥德爾完全性定理
- generalized completeness theorem 廣義完全性定理
短語
专业释义
- 完備性定理
- 完全性定理