| 单词 | intensional |
| 释义 | BETA Examples ofintensionalDictionary> Examples ofintensional intensionalisn’t in the Cambridge Dictionary yet. You can help! Add a definition In other words, the set of possible worlds (contexts) for thisintensionallanguage is the set of lists of natural numbers. From theCambridge English Corpus We believe that a similar potential exists in the area ofintensionalfunctional programming. From theCambridge English Corpus The distinguishing characteristic ofintensionallanguages is that they have context switching operators. From theCambridge English Corpus Anintensionalinterpretation called eduction is then given to programs which introduces the implicit parameters more explicitly. From theCambridge English Corpus As the current knowledge base lacks a representation for plans and the intentions they underlie, the inference scheme failed to recognize subgoals orintensionalinformation. From theCambridge English Corpus Intensionalprogramming is a programming paradigm that is based onintensionallogic. From theCambridge English Corpus The overall structure of the rest of the paper has as follows: section 2 introducesintensionallogic andintensionalprogramming languages. From theCambridge English Corpus As we have seen in the previous sections, the algorithm transforms a significant class of higher-order programs into multidimensional zero-orderintensionalprograms. From theCambridge English Corpus It examines the differences between the extensional computing model, which is usually implemented using reduction, and theintensionalone, implemented using eduction. From theCambridge English Corpus Most of the aforementioned approaches areintensional(schema-based) and symmetric; none is both asymmetric and extensional (element-based). From theCambridge English Corpus We are far from a final resolution of these questions which, because of theirintensionalcharacter, may not have tidy answers. From theCambridge English Corpus Type analysis is 'intensional' when types are analyzed by their structure, rather than by what terms they contain. From theCambridge English Corpus Theintensionaldatabase corresponds to the set of deductive rules which define the semantics of the ontology language. From theCambridge English Corpus Both the head and body may contain a list of variables (names of relations in theintensionalor extensional database). From theCambridge English Corpus The equivalence relation that only considers the public interface will be more useful to the programmer thanintensionalequality, because it is more permissive. From theCambridge English Corpus Intensionallogics of various types have already proven useful in different areas of computer science, but mainly in artificial intelligence and verification (temporal logics). From theCambridge English Corpus Theintensionaloperators that appear in intermediate steps of the transformation are generally higherorder. From theCambridge English Corpus Conversely, theintensionalaspects, such as space consumption and evaluation order, are harder to understand. From theCambridge English Corpus On a more general level, the definition and study of our framework is somewhat complicated by our use of anintensionaltype theory. From theCambridge English Corpus However, theintensionalstructure of powerful notion of induction that is used in the following arguments. From theCambridge English Corpus 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. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。