查询词典 imbedding theorem

At last, this theorem was turned out to be wrong.

最后，这个定理被证明是错误的。

On the other hand, we give a different proof of a theorem.

另外，我们给出一个定理的一种不同的证明。

Do you know a theorem that could be useful ?

你知道可能有用的定理吗？

Furthermore, it has been shown that the conditions in the theorem are best possible in some sense.

并指出定理中的条件在一定意义上是最好可能的。

But now it has also helped prove a new mathematical theorem as well.

但现在这个结果同时也帮助证明了一个新的数学定理。

I'll prove it like a theorem!

我一定会证明的

This is a good theorem.

这是一个很好的定理。

It is a great theorem .

这是一个伟大的定理。

This is part of Nyquist's Theorem, which we'll talk about later.

这是Nyquist定理的一部分，我们将在后面继续讨论。

It is a main theorem .

这是一个重要的定理。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。