查询词典 proof theory

Incompleteness Theorem indicates that any formal system rich enoughis an incomplete theory, in which proof can be verified mechanically.

不完全性定理表明任何足够丰富的形式系统都是不完全的理论，而有机械的证明验证是对形式系统的基本要求。

Firstly, Wavelet-Galerkin algorithm for solving the first kind of singular integral equation with the Hilbert kernel is proposed, we use the characteristic of periodic wavelet on L~2([0,1]) and Hilbert kernel to solve and make stiff matrix lower dimensions and become sparser through thresholding,thus the cost of computation is reduced. Because of the singularity of Hilbert kernel we use Tikhonov regularization method to solve the system of stiff equation. At last the convergence and numerical result of approximate solution are given. Secondly, an approach of regularization based on Fourier is presented for sideways heat equation; we give the theory proof and error estimate.

首先，提出了含Hilbert核的第一类奇异积分方程的小波伽辽金(Wavelet-Galerkin)数值算法，该算法中利用了L~2([0，1])上的周期小波和Hilbert核的特点进行处理，使得刚性矩阵维数降低并且通过阈值使得它更加稀疏，减少了计算量；由于Hilbert核的奇异性，通过Tikhonov正则化方法求解所得到的刚性方程组，给出了收敛性和数值结果；其次，对标准的一维逆热传导方程给出了一种基于Fourier正则化方法，给出了理论证明及其误差估计，解决了文献中算法与理论误差估计的不相匹配的现象，该正则化方法不仅保留了测量数据的部分高频成份，且与文献中的算法具有同样的计算量和误差估计。

The thesis is rightly on this background, from the land agent's point of view, taking the object as residential district, describing the theory of value engineering,and combining real estate development projects in the planning and design of the present situation and problems ,researching the establishment of real estate projects, use the principle and procedure of optimizing the design model and an example to proof that.

本文正是在此背景下，从房地产开发商的角度出发，以房地产业所占比重最大的住宅产业中的住宅小区开发为研究对象，通过对价值工程理论的系统阐述，结合现阶段房地产开发项目规划设计的现状及存在的问题，探讨了建立房地产项目优化设计方案模型的原理和步骤，并结合实例加以论证和运用。

The state-space representation of linear time-invariant fractional order systems is introduced, and a proof of their stability theory is also given.

介绍了分数阶线性定常系统的状态方程描述，并给出了其稳定性定理的一个证明。

In proof of this theory, I shall make certain study .

为了证明这一理论，我将进行某些研究。

In proof of this theory, I shall make certain studies.

为了证明这一理论，我将进行某些研究。

Through the use of linear space of the basic nature of the linear mapping, linear transformation, the matrix theory of knowledge, some of the linear transformation of the nature of proof, reasoning and calculation.

本文通过利用线性空间的基本性质、线性映射、线性变换、矩阵理论的知识，对线性变换的一些性质进行证明，推论和计算。

This paper expound: Measure the space curved in the space of the earth, Proof the theory of relativity is correct.

本文推出：空-时弯曲的测量方法，证明相对论是正确的。

But mathematical science, which is the only real science that the entire civilized world has agreed upon, furnishes unmistakable proof of history repeating itself and shows that the cycle theory, or har monic analysis, is the only thing that we can rely upon to ascertain the future.

但是数学，整个文明世界承认的科学已明白无误地证明了历史的再现性，并向我们展示了循环理论，或类比分析，它是我们发现未来的唯一方法。

But since this effect was already known observationally, its explanation by Einstein was not a convincing proof of his theory.

自从这个效应已经由观测所得知，但是这个解释还是不能充分验证爱因斯坦的理论。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。