基本解釋

• [數(shù)學(xué)]完備性定理完全性定理

英漢例句

雙語(yǔ)例句

• 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)柕耐耆远ɡ砗筒煌耆远ɡ碇械摹巴耆浴笔莾蓮h事。
• 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的郃理性與完全性定理，竝與其它不確定推理方法作了比較。

• completeness theorem更多例句

詞組短語(yǔ)

短語(yǔ)

• myhill completeness theorem 曼希爾完備性定理
• G ?del completeness theorem 完全性定理
• Godel completeness theorem 繙譯;哥德?tīng)柾耆远ɡ?/li>
• generalized completeness theorem 廣義完全性定理

• completeness theorem更多詞組

專(zhuān)業(yè)釋義

數(shù)學(xué)

• 完備性定理
• 完全性定理