查询词典 proofs

British empiricist whose arguments against the proofs for God's existence are still influential.

英国经验主义者，其论据反对证明上帝的存在仍具有影响力。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

By contrast,the Western culture seeks for logically authentic proofs and accurately faithful representation in terms of aesthetics of scienticism,being,too,full of vitality,and developing rapidly with the support of advanced science and technology.

与之相比，西方追求逻辑实证、精密写实的科学主义美学，也有着自己悠久的历史和充足的活力，并在得到现代高科技坚定的支持而迅猛地发展。

The critical rationalism proofs that the demarcation standard between science and non-science is falsifiability; but Feyerabend insists that the demarcation standard between science and non-science should be cleared up. The core of critical rationalism is perjury methodology. He considers the scientific method is not induction but deduce inspection. Feyerabend retorts critical rationalism School still can't be escaped from angle of view of the logical empiricism.

批判理性主义论证了科学与非科学的划界标准是可证伪的；而费耶阿本德主张消解科学与非科学的划界标准；批判理性主义的核心思想是证伪主义方法论，认为科学的方法不是归纳法而是演绎检验法，费耶阿本德反驳到：批判理性主义学派依然逃脱不了逻辑经验主义学派的"经验论"视角。

This paper talks about these two theorems around the finiteness conjecture and mainly gives detailed proofs for them.

本文将围绕有限性猜测仔细来讨论这两个定理，主要是详细补出了这两个定理的证明。

Proof theory grew out of David Hilbert 's ambitious program to formalize all the proofs in mathematics.

证据理论中衍生出来的大卫希尔伯特的雄心勃勃的计划，正式的所有证据在数学。

She also figured out what to do with all those wedding proofs not suitable for framing.

她还发现，所有的这些婚礼照片都不适合装入照框中。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

Objective: To provide more proofs for expounding the genetic relationships among the species in genus Fritillaria from Sichuan province.

中文摘要：目的：为阐明川产贝母资源间亲缘关系提供更多证据。

Contamination as such from fumigation during transport are avoided and proofs are available.

在运输的过程中，避免了熏蒸的污染且有证据可以证明。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。