繁體版 English 日本語Francais한국어
登录 注册

可靠性定理的英文

发音:  
"可靠性定理"怎么读用"可靠性定理"造句

英文翻译手机手机版

  • soundness theorem

例句与用法

  • Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed . the syntax and semantics of lp ( x ) are discussed . the soundness theorem is proved
    四、格值逻辑系统的研究建立了基于格蕴涵代数的格值命题逻辑系统l试x ) ,并讨论了它的语法和语义问题,证明了可靠性定理
用"可靠性定理"造句  

其他语种

百科解释

可靠性定理(或健全性)是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。
详细百科解释
可靠性定理的英文翻译,可靠性定理英文怎么说,怎么用英语翻译可靠性定理,可靠性定理的英文意思,可靠性定理的英文可靠性定理 meaning in English可靠性定理的英文可靠性定理怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。