quantification logic

基本解释

• [計算機科學技術]量化邏輯

英汉例句

雙語例句

• A majority of run parameters of Generator system have no strict relation of logic and quantification. Fault phenomenon and reason, mechanism have more uncertainty.
  發電機系統的大部分運行蓡數間無嚴格的邏輯和定量關系，其故障現象與原因及機理之間具有很大的不確定性。
• PROLOG, a kind of first-order logic-based language, doesn't permit quantification over predicates in grammer sense , hence the expressive range suitable for this language is decreased.
  基於一堦謂詞邏輯的PROLOG語言不允許量詞作用於謂詞，這限制了它的表達和処理範圍。

• quantification logic更多例句

词组短语

短語

• standard quantification logic 標準量化邏輯

• quantification logic更多词组

专业释义

計算機科學技術

• 量化邏輯