| 词汇 | example_english_set-variable |
| 释义 | set variablecollocation in Englishmeanings of setand variableThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with variable or set. set noun uk /set/ us /set/ a group of similar things that belong together in ... See more at set variable adjective uk /ˈveə.ri.ə.bəl/ us /ˈver.i.ə.bəl/ likely to ... See more at variable Examples of set variableThese 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. Choosing a fresh setvariable in this manner yields a more accurate analysis. We presuppose a countable setvariable of variables. The lower bound of the cardinality corresponds to the size of the required set as for a classical constrained setvariable. Whenever this rule is applied, we need to choose a fresh setvariable for that is not used elsewhere in the constraint derivation. Employers may setvariable rates or costs for their employees. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Many of the constraint derivation rules introduce new set variables. With annotated types we can consider the introduction of set variables and their quantification. Variables in a set term are always interpreted as set variables. Set variables have the ability to reduce the search space by cutting symmetries. By introducing quantified set variables we can avoid this dependency and give the function a set-polymorphic type independent of its uses. Moreover, on the right-hand sides of the equations, all set variables occur below at least one constructor. Since the sets associated with these function names have not been computed at this point, the set variables gi are used instead. An arithmetical formula may have free set variables and bound individual variables. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In printed mathematics, the norm is to set variables and constants in an italic typeface. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. A formula with no bound set variables (that is, no quantifiers over set variables) is called arithmetical. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. For these examples, which involve sets over small domains, the improved performance is usually achieved by the compiler representing set variables as bit vectors. 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 set Go to the definition of variable See other collocations with variable See other collocations with set |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。