查询词典 logic

Many of his works in logic and metaphysics had, however, been consigned to the flames, so that he left no school, and the end of the dominion of the Moors in Spain, which occurred shortly afterwards, turned the current of Averroism completely into Hebrew and Latin channels, through which it influenced the thought of Christian Europe down to the dawn of the modern era.

他的许多作品在逻辑和形而上学了，但是，被委托给日本的火焰，让他离开学校，和去年底的统治摩尔人在西班牙，西班牙发生不久后，把当前的averroism完全融入希伯来语和拉丁语渠道，通过它影响了思想的基督教欧洲，下至黎明的现代时代。

Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.

与VDM++中的同步机制相比，不仅吸收了VDM++中两种同步机制的优点，同时也将其两种同步机制化归在统一的框架之下，减轻了用户的负担。

The first one is that the Chinese edition of Elements was very difficult to read, and the second one is the idea that all western knowledge originated from China belittle the axiomatic method, the third one is that no logic knowledge came with it then.

从当时的实际出发，我们认为这主要有三个原因：一、《几何原本》生涩难读；二、"西学中源"说轻视西方科学；三、公理化方法传来的时候本身不完整。

"Intuitionists rejected certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

"Intuitionists reject ed certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

Key Words: Axiomatic method; Elements; the idea of all western knowledge originate from China; logic; spread

搜索词汇；公理化；几何原本；西学中源；逻辑；传播

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

This logical implication that perception of meaning is only possible if and only if the indefinite is included within the perception is the reason why the 19th century dream of a consistent and complete axiomatic system with only well defined empty signs had to fail (see more about that in my article, The Loop Logic).

这一逻辑隐含的意义是唯一可能的观感只要是无限期的观感是列入19世纪梦之所以一贯和明确的，只有彻底公理化体系空迹象已经失败(多看看，我在文章河套逻辑)。

The systematic, formal, axiomatic development of the logic of all forms and models of being.

事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。