查询词典 statement calculus

In this thesis, we mainly study problems on global geometry and geometricanalysis of Riemannian submanifolds, including vanishing theorem for homologygroups, topological sphere theorem, L~2 harmonic 1-forms, finiteness of end andthe spectrum of the Laplacian. In 1973, by using the Federer-Fleming existence theorem and the techniquesfrom the calculus of variations in the geometric measure theory, H.

本文着重研究黎曼子流形上整体几何与几何分析的若干问题，主要内容包括子流形的同调群消没定理、拓扑球面定理、L~2调和1-形式、端的有限性和Laplace算子谱等问题。

You can't do a calculus class without first taking an Algebra and a Trigonometry class.

在数学课上几乎所有的事情都依赖你前面所学的知识。

No matter whether you use geometry, trigonometry or calculus, you use the simple rules of arithmetic.

不管你用几何，三角或演算，你用简单的规则的算法。

Chemistry is a quantitative subject and requires some familiarity with mathematical concepts such as calculus, algebra and trigonometry.

化学是一门定量的课程需要数学基础，如对微积分、代数和几何学的了解。

The question of whether two lambda calculus expressions are equivalent cannot be solved by a general algorithm, and this was the first question, even before the halting problem, for which undecidability could be proved.

两个lambda演算表达式是否相等的问题不能够被一个通用的算法解决，这是第一个问题，它甚至排在停机问题之前。为了证明停机问题是没有答案的，不可判定性能够被证明。

Results: The calculus was removed uneventfully in all patients without severe complication.

结果：全部病例均顺利取出结石，无严重并发症发生。

By the age of 24, he had already discovered universal gravitation and the nature of the light spectrum, and was working on the basic principle of calculus.

当他只是 24 岁时，已发现了万有引力及光谱的性质，同时也正在研究微积分的基本定理。学生可浏览以下网页，以了解更多有关牛顿的资料

Objective To study the CT diagnosis of ureteral calculus at the distal end of ureter.

目的 回顾性分析输尿管膀胱入口处结石的CT诊断结果，评价其CT检查的临床应用价值。

To assess the clinical value of multi-slice spiral CT urography in the diagnosis and the treatment of patients with complex renal calculus.

目的 探讨多层面螺旋CT泌尿系成像对多发性肾结石诊断和治疗的临床价值。

Objective:To compare the efficacy and the safety of ureteroscopic pneumatic lithotripsy and extracorporeal shock wave lithotripsy in treatment of ureteral calculus,in order to choose the right program for urologist.

随着科学技术的发展，近20～30年来ESWL和URS相继应用于临床治疗泌尿系结石，并取得了显著的成果，现在临床已基本取代了传统的开放性手术。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。