查询词典 statement calculus

In addition to calculus with linear algebra, I had two semesters of mathematical analysis, partial differential equations, abstract algebra was also a senior this semester in the measurement theory.

除了微积分跟线性代数，我还上了两个学期的数学分析，偏微分方程，抽象代数还有在大四这个学期上的测量理论。

Integral calculus' learning is one is abstract to turn mathematics foundation academics of a higher door of the degree.

积分学是一门抽象化程度较高的一门数学基础学科。

A kind of automatic calculus method is used for the recognition and extraction of skeleton feature,in which some algorithms are used,such as the actinism amendment,fuzzy inference of feature,and edge detection.

运用感光度修正，特征的模糊推理和图像处理的边缘检测等手段，设计一种自动识别骨龄特征的骨龄计算方法。

Image segmentation ; active contour model ; variational calculus ; level set methods ; additive operator splitting scheme

图像分割；活动轮廓模型；变分方法；水平集方法；可加算子分裂算法

Methods Examine 35 case ureteral calculus by MSCT and application aftertreatment technology.

35例输尿管结石患者行MSCT检查，并应用后处理技术重建。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

This article listed the main clue of the development of mathematics in the sixteenth and seventeenth century. Based on that, we analyzed the algebraic basis of calculus. The basis had an algorithmic character which could use program to calculate.

本文在列出十六、十七世纪代数学发展主线的基础上，分析了微积分产生的代数学基础，这个基础本身带有强烈的程序化的算法特征。

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

The resulting characteristic included a logical calculus, some combinatorics, algebra, his analysis situs, a universal concept language, and more.

因而普遍文字包括逻辑算法、组合数学、带数学以及他的位置几何、普遍概念语言等。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。