Chinese translation for "对偶算子"
|
- dual operator
Related Translations:
- Example Sentences:
| 1. | Lipschitz - dual operators and dual spaces 对偶算子及对偶空间 | | 2. | Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution 第二部分:关于格值时态命题逻辑系统及其归结方法的研究此部分的主要工作是在格值命题逻辑系统lp ( x )中引进时态算子e (曾经) 、 f (将会)及其对偶算子h (曾经总是) 、 g (将会总是) ,提出了以时轴为语境的格值时态命题逻辑系统ltp ( x ) ,并给出其具体的语义解释和语法结构,并讨论了它的一些性质,证明了该系统的可靠性和协调性。 |
- Similar Words:
- "对偶式" Chinese translation, "对偶式编碥" Chinese translation, "对偶数" Chinese translation, "对偶四元数" Chinese translation, "对偶素理想" Chinese translation, "对偶同构" Chinese translation, "对偶同构格" Chinese translation, "对偶同态" Chinese translation, "对偶凸锥" Chinese translation, "对偶图" Chinese translation
|
|
|