词汇 | example_english_logical-relation |
释义 | logical relationcollocation in Englishmeanings of logicalandThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with relation. logical adjective uk /ˈlɒdʒ.ɪ.kəl/ us /ˈlɑː.dʒɪ.kəl/ using ... See more at logical relations See more at Examples of logical relationThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. This is the 'logicalrelation' style of definition. But this logicalrelation cannot be expressed numerically. What is the logicalrelation between non-manipulability as defined above and strategy-proofness? This relation forms the basis of the logicalrelation defined below. By the way, the logicalrelation style eventually reduces to a definition by orthogonality. At this type each logicalrelation is (again) equality, because of the definability of finite functions. One of its roles is to tie the operational semantics into the logicalrelation. The logicalrelation of the next section will provide the means to prove them. But, in their day, they had immense value: a logicalrelation paraphrases the logical formula from which it comes. The logicalrelation is objective, but the knowledge of this relation, as well as of its premises, is subjective. We then use the technique of logicalrelation to define and prove the correctness of binding-time analysis. At this type, the models agree on the totality of their common elements (here, functions), and each logicalrelation is equality. His analysis is conducted in terms of a non-standard logicalrelation, indication, the formal properties of which are not self-evident. The desired result then follows by relating this interpretation to the standard set-theoretic one by means of a certain logicalrelation. The typings drive both the partial evaluator's operation and the correctness proof, where in the latter, the correctness criterion is phrased as a logicalrelation. For the logical sum, there is a procedure that assigns a specific weight to each term in the logicalrelation. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The most important characteristic of a social function is identification of the interactive effect of alternatives and creating a logicalrelation with the ranks. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Want to learn more? Go to the definition of logical Go to the definition of See other collocations with relation |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。