查询词典 hilbert nullstellensatz

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Moreover, when X is a Hilbert space, Miaxoguchi and Takahashi provided the ergodic retraction theorem for general semigroups of asymptotically nonexpansive mapping by using the concept of invariant submean.

进一步，当X是Hilbert空间时，Miaxoguchi及Takahashi引入了不变子平均的概念，在一般拓扑半群上给出了渐近非扩张半群的遍历压缩定理。

After the mathematic model of spatial spectrum analysis was introduced, interharmonic signals can be transformed to spatial signals received by linear sensor array through Euler\'s formula or Hilbert transform. The number of sinusoidal components of the interharmonic parametric model was corresponding to the source number of transformed spatial signals, and the frequencies of sinusoidal components were corresponding to that of transformed spatial signals.

3介绍了空间谱分析的数学模型，证明了间谐波信号经欧拉公式或希尔伯特变换后可以转变为空间线性阵列接收的空域信号，正弦成分数对应空域信号源数，正弦成分频率对应空域信号频率。

The problems considered can be very facilely translated into Riemann-Hilbert problem by application of the approaches which are resolved by usual Muskhelishvili's methods, and their closed solutions are acquired rather straightforward.

应用该法可以很容易地将所讨论的问题转化为Riemann-Hilbert问题，而后一问题可以用通常的Muskhel-ishvili方法进行求解，并且可以相当简单地得到问题的闭合解。

A new kind of exceptional family of elements is introduced for a class of mixed variational inequality problem in a Hilbert space.

本文对Hilbert空间中的一类混合变分不等式引入了一种新的元素例外族。

In the first chapter,the Riemann-Hilbert boundary value problem of non-normal type for biregularfunctions and some boundary value problems of the inhomogeneous secondorder equation

共有三章，在第一章中主要运用文[2]中的理论与方法讨论了平面上双解析函数的非正则型Riemann-Hilbert边值问题及非齐次二阶方程

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

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

In the twentieth century, David Hilbert employed axiomatic reasoning in his attempt to update Euclid and provide modern foundations of geometry.

古典文书允许在几何结构的指南针和直尺。

David Hilbert was particularly interested in the foundations of mathematics.

大卫希尔伯特特别有兴趣在数学的基础。

On one occasion, Hilbert squeaked to the assembly: There have been two great crises in the Foundations of Mathematics.

有一天，希尔伯特对它的听众说：数学基础存在两个极大的危机。

That phoney program will infect you with something else or even the web page you go to will.

这一计划将感染虚假别的东西，甚至是网页，你去你。

Ci power case undertakes an analysis to queenly lifetime with the method of psycho, and banquet straps the freedom that uses a poet adequately, model the Maliya that gives a kind of brand-new be repentant change.

茨威格以心理分析的方法对女王的一生进行分析，而席勒则充分运用诗人的自由，塑造出一个崭新的悔过迁善的玛利亚。