模态算子的英文
发音:
"模态算子"怎么读用"模态算子"造句
英文翻译手机版
- modal logic
- modal operator
- "模态"英文翻译 modal; modality
- "算子"英文翻译 operator
- "序同态算子" 英文翻译 : order homomorphism operator
- "反序同态算子" 英文翻译 : antiorder homomorphism operator
- "模态运算子" 英文翻译 : modal operator
- "模态" 英文翻译 : modal; modality
- "算子" 英文翻译 : operator 微分算子 differential operator
- "动态算法" 英文翻译 : dynamic algorithm
- "有限态算法" 英文翻译 : finite state algorithm; finite-state algorithm
- "链路状态算法" 英文翻译 : lsa link state algorithm
- "状态算符方程" 英文翻译 : operator equation of state
- "π模态" 英文翻译 : pi mode
- "单模态" 英文翻译 : single mode
- "多模态" 英文翻译 : fiber optic connectors multimode fc/pc
- "复模态" 英文翻译 : complex mode
- "模态,模型" 英文翻译 : model
- "模态的" 英文翻译 : modal
- "模态圆" 英文翻译 : mode circle
- "模态阵" 英文翻译 : modal matrix
- "模态组" 英文翻译 : modal class
- "实模态" 英文翻译 : normal mode
- "双模态" 英文翻译 : bimodal
- "锁模态" 英文翻译 : mode-locked state
- "主模态" 英文翻译 : master mode
- "逆算子, 反算子" 英文翻译 : inverse operator
例句与用法
- Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其-归结原理做了初步探讨,主要在下述三个方面取得了研究成果:第一部分:关于格值模态命题逻辑系统及其归结方法的研究在此部分,把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ,建立了新的格值模态命题逻辑系统lmp ( x ) ,并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理,给出了计算-直接归结式和-自归结式的规则,并总结出具体的归结方法。
相关词汇
模态算子的英文翻译,模态算子英文怎么说,怎么用英语翻译模态算子,模态算子的英文意思,模態算子的英文,模态算子 meaning in English,模態算子的英文,模态算子怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。