查询词典 theorems

A corresponding theorem is obtained by using an auxiliary function and two main theorems.

定理的证明主要利用p-adic亚纯函数论中的两个基本定理和一个辅助函数。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

In chapter 5,we introduce the De Morgan algebra of metric and investigate the pseudo-metric Uniformity and the pseudo-metric topology and the separation axioms in De Morganalgebra of metric.We establish the Baire category theorem and the Banach contraction theo-rem,the Edelstein contraction theorem and other fixed quasi-atom theorems in De Morganalgebra of metric.In final,we give a sufficient condition for the metrization of a De Morganalgebra of topology.

在第五章里，我们地德摩根代数中引进了伪度量，探讨了伪度量一致和伪度量拓扑以及德摩根度量代数的分离公理，得到了Baire范畴定理、Banach收缩定理、Edelstein收缩定理以及其它不动拟原子定理，最后给出一个德摩根拓扑代数可度量化的充分条件。

The corresponding fixed point theorems of ordered mappings in ordered Banach space were improved and generalized.

结论改进和推广了相应的序Banach空间中序映射的不动点定理。

Some theorems about modulus of continuity were obtained by discussing the Bernstein polynomial.

首先定义了微晶粒的化学势，进而利用它推导出2个高分散度物性的数学函数式，最后根据推导结果讨论过饱和溶液，过冷液体两种介稳状态的存在原

The classical theorems of analytic function of one complex variable such as Morera theorem and Liouville theorem were generalized to the regular function, similarly to biregular function.

Clifford分析中，正则函数是单复分析中全纯函数在高维空间的推广，全纯函数的经典函数理论如Morera定理，刘维尔定理等都可推广到正则函数，同样也可推广到双正则函数。

Events,Operation and Relation of Sets, Classical Probability, Geometrical Probability , Statistical Stability of a Frequency, Axioms of Probability, Conditional Probability, Total Probability Theorem, Bayes' Rule,Independent Events,Independent Repeated Trials, One Dimensional Random Variables, Discrete Random Variables, Distribution Function of a Random Variables , Continuous Random Variables, Normal Distribution, Distribution of a Function of a Random Variable, Multidimensional Random Variables, Joint Distribution Function, Marginal Distribution Function,Discrete Two—Dimensional Random Variables,Continuous Two—Dimensional Random Variables, Independent Random Variables, Distribution of Functions of Random Variables,Expectation,Variance, Covariance, Coefficient of Correlation, Bivariate Normal Distribution, Law of Large Numbers, The Central Limit Theorems, Sample and Population ,Chi—Squared, T and F Distributions , Sampling Distributions , Point Estimation , Interval Estimation , Testing Hypotheses , A Test of Significance for Parameters in a Single Sample From a Normally Distributed Population , A Test of Significance for Parameters in Two Sample From Normally Distributed Populations .

本课程的主要内容：概率的概念与运算、随机变量及其分布、随机变量的数字特征与极限定理、数理统计的基本概念、估计和检验的基本方法，随机事件与概率随机事件、事件的关系与运算、几何概率、统计概率等，条件概率、全概率公式、贝叶斯公式、事件的独立性、二项概率公式，随机变量的概念、离散型随机变量、随机变量的分布函数、连续型随机变量、随机变量函数的分布，多维随机变量及其分布函数、边缘分布函数、随机变量的独立性、二维随机变量函数的分布，数学期望、方差、协方差和相关系数、大数定律、中心极限定理，总体与样本， X 2-分布、 t-分布和 F-分布，统计量及抽样分布，假设检验的基本概念、单个正态总体参数的显著性检验、两个正态总体参数的显著性检验。

Ada received further training from Augustus DeMorgan, today famous for one of the basic theorems of Boolean algebra

中： Ada 从 Augustus DeMorgan 被承认进一步的训练，为在今日著名的一个布尔代数基本定理

This result can best be viewed as a quantum black hole version of the third law of thermodynamics. As a result of this area spectrum, the spectrum of M is discrete, bounded below, and can be made positive. Prom the physical point of view, the semiboundedness and positivity of the spectrum are very satisfying results: The semi-boundedness of the spectrum implies that one cannot extract an infinite amount of energy from the system, whereas the positivity of the spectrum is in agreement with the well-known positive-energy theorems of general relativity.

同时根据EMDA黑洞动力学，存在与面积谱对应的大于零且有下界的质量离散谱，从物理上来看，质量谱的半有界性意味着不可能从系统吸取无限的能量，而正定性则与广义相对论中的正能定理一致，也就说稳态轴对称EMDA时空的ADM能量总是大于零。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。