网站首页  词典首页

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

 

单词 calculus
释义
Examples from literature
  • Conversely, given the force at every point, and the initial position and velocity, the rules of the integral calculus assist us in calculating the position and velocity of the body at any future time.
  • He creates mathematics, and discovers that the phenomena of the heavens and the earth are ruled according to the laws of the calculus.
  • Naturally the student who is equipped with these subjects as well as with the calculus will be a little more mature, and may be expected to follow the course all the more easily.
  • Then, still others divide and subdivide, and science becomes the sciences, and mathematics becomes arithmetic, and algebra, and geometry, and trigonometry, and calculus, and astronomy.
calculus
noun[U]
mathematicsspecialized
uk
/ˈkæl.kjə.ləs/
us
/ˈkæl.kjə.ləs/
anareaofadvancedmathematicsin whichcontinuouslychangingvaluesarestudied
微积分

Examplesofcalculus

calculus
Qualitative spatial representation and reasoning with the region connectioncalculus.
From theCambridge English Corpus
We can show that in ourcalculusprograms can be reduced to values that are pure terms.
From theCambridge English Corpus
Furthermore, the typing of ensures that only well-typed syntactic expressions can be represented in thecalculus.
From theCambridge English Corpus
The sequentcalculuswe consider just has implication, no structural rules and a changed axiom.
From theCambridge English Corpus
The latter is a sequentcalculusthat needs none of the standard structural rules of weakening, contraction or cut.
From theCambridge English Corpus
In their analysis, they used motorcalculusand the concept of virtual work coefficient.
From theCambridge English Corpus
Because of this extension, the naive adaptation of labelled bisimulations from the picalculusis too strong to be useful for the purposes of verification.
From theCambridge English Corpus
A weak head reduction relation is defined for the expressions of thecalculus.
From theCambridge English Corpus
Focusing on simple cognitive heuristics does not make the application of rational standards derived from formal calculi unnecessary.
From theCambridge English Corpus
This requirement is essential in the simply typedcalculusfor obtaining non-trivial inequalities.
From theCambridge English Corpus
The understanding of the proof-theoretic structure of a logic demands more than simply describing its sequentcalculus.
From theCambridge English Corpus
Each set of equivalence classes is called a limited model of simply typed lambdacalculus.
From theCambridge English Corpus
This is in contrast to the simply typed lambdacalculusand its extensions, which ignore type information at runtime.
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/calculus##
随便看

 

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

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 12:19:55