查询词典 true course

This book, then, does not represent the tried and true formula I've been using since 1944. It presents the tried and true formula I'd use if I could go back to 1944 and start all over again.

这本书讲述并不是我在1994年以来一直使用的方法，而是如果让我回到1944年并重头开始，我将会使用的方法。

Though it is true that the Formula One chapter has been completely closed for me for a long time, it is also true that for reasons of loyalty to the team I cannot ignore this unfortunate situation.

车神继续说：即使我已经离开F1舞台有一段时间了，但是我对法拉拉的忠心使我无法忽略这个不幸的状况。

Though it is true that the chapter of Formula 1 has been completely closed for me for a long time, it is also true that for loyalty reasons to the team I cannot ignore that unfortunate situation.

尽管说真的F1对我来说已经是遥远的篇章了，但也是处于忠诚的缘故我无法忽视车队的遭遇。

If an elementary proposition is true, that means, at any rate, one more true elementary proposition.

如果有一个基本命题为真，那就意味着无论如何有多于一个的基本命题为真。

For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual.

例如，一个必然真命题，就是无论哪一个可能世界成为现实世界都会是真的命题。

Their relation of satisfaction is that if a reasontyped concrete proposition is true, the corresponding statementtyped concrete proposition will be true.

追求形式真理，是逻辑科学特有的任务和使命，因而形式真理是逻辑科学基本的、核心的概念，是逻辑学存在和发展的惟一根据。

Source of information; he was true to his word; I would be true for there are those who trust me.

可靠'。''来源；他言而有信；我愿意相信那些信赖我的人。

A true-blue American; a reliable true-blue country club conservative.

忠诚的美国人；忠诚可靠的野外体育俱乐部保守派。

From these two incontrovertible premises he deduced that the Library is total and that its shelves register all the possible combinations of the twenty-odd orthographical symbols (a number which, though extremely vast, is not infinite): Everything: the minutely detailed history of the future, the archangels' autobiographies, the faithful catalogues of the Library, thousands and thousands of false catalogues, the demonstration of the fallacy of those catalogues, the demonstration of the fallacy of the true catalogue, the Gnostic gospel of Basilides, the commentary on that gospel, the commentary on the commentary on that gospel, the true story of your death, the translation of every book in all languages, the interpolations of every book in all books.

包括句号，逗号，空格号，字母表的二十二个字母。他还引证了一个被所有的旅行者认同的观点。那就是：在这个庞大的图书馆中，没有两本书是完全相同的。从所有这些无可辩驳的假定中，他推断出：图书馆容纳了一切事物，它的书柜包含了这二十多个拼写代号的所有可能的组合。（组合的数目，虽然很大，但不是无限的。）它们就是我们所有语言可以表达的事物的总和。包括关于未来的缜密历史、天使长的自传、图书馆的真实的目录、数千种错误的目录、这些错误目录的谬误性的展示以及真实目录的谬误性的展示、巴士底的诺斯替教的教义、对这个教义的评说、对这个教义评说后的评论、对你的死亡的真实记录、用各种语言写成的每本书的版本以及每本书的改编本。

God join'd my heart and Romeo's, thou our hands; And ere this hand, by thee to Romeo seal'd, shall be the label to another deed, or my true heart with treacherous revolt turn to another, this shall slay them both: Therefore, out of thy long-experienced time, give me some present counsel, or, behold, 'twixt my extremes and me this bloody knife shall play the umpire, arbitrating that which the commission of thy years and art could to no issue of true honour bring.

既然上帝把我的心和罗密欧的心结合在一起，您也把我和他的手连到了一起；如果我的这只手（这是您秘密把它给了罗密欧的）将成为另一婚礼的证据，或者，如果我真诚的心因为叛变而转向他人，我就先用这把小刀把手和心一起杀死。所以，您现在就凭长期的阅历给我一些指教吧；要不您就眼看着我用血淋淋的刀在我的生与死之间（或直译"我的极端与我之间"）充当仲裁者，解决您的阅历与才干不能光荣解决的问题。

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月底。