网站首页  词典首页

请输入您要查询的英文单词:

 

单词 constant
释义

Examplesofconstant

constant
However, this is only true for datatypes that do not contain constants.
From theCambridge English Corpus
The type 1 consists of just one member and serves as the source type for constants.
From theCambridge English Corpus
The algorithm only deals with region variables; region constants only appear in the static semantics.
From theCambridge English Corpus
The main results of this paper may be extended to expressions with constants without difficulty.
From theCambridge English Corpus
Indeed, the arbitrage model has the advantage of nonrealism, since only relative values matter for the stability of the network of prices or constants.
From theCambridge English Corpus
We treat g and rb as constants for present purposes.
From theCambridge English Corpus
Rate constants for the transitions are determined by reaction rate theory.
From theCambridge English Corpus
The rate constants did not vary much among the different treatments, except for osmoprimed seeds during the initial 6-h period of hydration and dehydration.
From theCambridge English Corpus
Fragments of propositional logic are obtained by restricting the use of atoms, constants and/or the use of the connectives.
From theCambridge English Corpus
We consider a first order language with a universe of constants, a set of variables, a set of predicate names and no function symbols.
From theCambridge English Corpus
An extended set expression is an expression built out of variables, base symbols, function symbols (including constants), and the generalized projection symbols.
From theCambridge English Corpus
In a many-sorted signature, we will have different constants 'a', each one of an appropriate sort.
From theCambridge English Corpus
We denote variables, predicate symbols and function symbols with small letters and constants with capital letters.
From theCambridge English Corpus
We introduce constants for the object-level type constructors.
From theCambridge English Corpus
We call these constants as well as any other terms whose type ends in "-> pf" proof constructors.
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.
#https://dictionary.cambridge.org//dictionary/english/constant##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 3:39:26