calculus ['kælkjuləs]

calculus的基本解释

n.

微积分学, 结石

与calculus相关的网络例句 [注：此内容来源于网络，仅供参考]

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

与calculus相关的网络解释 [注：此内容来源于网络，仅供参考]

calculus：微积分

由詹姆斯.斯图尔特编写的>(Calculus)是一本在欧美高校中备受欢迎的微积分教材,本版是它的第六版,它采用了由浅人深的方式,向读者介绍了微积分的相关概念和分析解决问题的方法.

calculus：计算

立宪经济学则"力图分析理性的个人在面对种种立宪选择(constitutional choice)问题时的计算(calculus). "[美]詹姆斯.布坎南、戈登.塔洛克著,陈光金译:>,中国社会科学出版社2000年,作者前言.

calculus：微积分学

微积分学(Calculus)是数学的一个基础学科. 内容主要包括极限、微分学、积分学及其应用. 微分学包括求导数的运算,是一套关於变化率的理论. 它使得函数、速度、加速度和曲线的斜率等均可用一套通用的符号进行讨论. 积分学,包括求积分的运算,

calculus：石

牙石(calculus)是附着在靠近牙龈边缘的牙面上或在牙龈沟内的沉积物,牙石表面粗糙,又可促进新菌斑的形成. 通常又分为龈上牙石(fig.5:牙石附着在釉质(E)上)和龈下牙石(fig.6:牙石附着在根部牙本质上),它是口腔卫生不良的主要标志.

operational calculus：算符演算

buck 补偿 | operational calculus 算符演算 | gain 增益