That would be a fitting pay-off for a story which, in its beginnings, is a triumph of pure logic.
在一开始的时候,这是一个得到相当回报的故事,击败纯逻辑的胜利。
We can proof it by pure logic that is the truth about the world that we know with absolute certainty.
凭借这是我们所确知事物的真相这一纯粹逻辑,是可以将其证明的。
Let me tell you a little story. There was once a young man who dreamed of reducing the world to pure logic.
让我来给你讲个小故事:曾经有个年轻人,他梦想着把世界简化到纯粹的逻辑里。
In the philosophy of mathematics, the thesis that all mathematical propositions are expressible as or derivable from the propositions of pure logic.
在数学哲学中,认为数学是从逻辑推导出来的一种论点。
Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description.
逻辑综合的功能是对组合逻辑函数的描述进行转换和优化,生成与逻辑功能描述等价的优化的逻辑级纯结构描述。
Similarly, on the pure logic analysis of the Archimedes Principle and Free Fall law, we could get an inevitable conclusion directly, which could help us better understand the laws of physics.
同样对阿基米德原理,自由落体问题等进行纯逻辑的分析,非常直接地得出了必然的结论,并且可以帮助我们更好地理解物理规律。
Again it is not a matter of pure reason, you can't find morality on logic but you can found it on the way we are as human being.
再次说明这并不是纯粹的理由,你不能仰仗逻辑来寻找道德,但却可以凭借人性来进行探求。
You can take your pure HTML content and wrap it in a JSP, for example, and implement some logic.
例如,您可以将您的纯html内容包装在一个JS p中,然后实现一些逻辑。
NOTE: Ideally, you could separate the data access logic into its own deployment unit and keep the controller pure.
注意:理想情况下,可以将数据访问逻辑分隔到它自己的部署单元中并且保持控制器没有被混杂。
Pure interpreted, where all code gets parsed on the device and executed with our AST-walking interpreter logic.
纯解释,所有的代码在设备上完成了解析并且通过我们的AST -walking解释逻辑执行。
Pure XML databases like Mark Logic will continue to convert big publishers that can afford the cost of entry.
纯x ML数据库如MarkLogic将继续转变为能够承担入门费用的大型发行商。
If you want to stay "pure" to MVVM, in general, it'd be better to build a converter, which keeps the logic completely within the presentation layer (View).
如果你还想留下来“纯”MVVM,一般来说,最好建立一个转换器,使逻辑完全在表示层(视图)。
G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
弗雷格的《概念文字:一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
Thought differentiating research is a kind of researching method of pure theory and pure concept based on logic deduction.
思辨研究是以逻辑推导的方式进行的纯理论、纯概念式的一种研究方法。
A logic structure of P2P-Based manufacturing Grid (PBMG) is constructed according to the characteristics of manufacturing networks and the organization of pure P2P model networks.
根据制造网格的特点和纯p 2 P模型网络的组织形式,建立了基于P 2 P的制造网格的逻辑结构。
The comparison of the performance for the designed guidance law with that of pure fuzzy logic guidance law and proportional guidance law widely used in practical engineering was conducted.
并与一般模糊导引律以及工程中广泛应用的比例导引律进行了性能对比。
The comparison of the performance for the designed guidance law with that of pure fuzzy logic guidance law and proportional guidance law widely used in practical engineering was conducted.
并与一般模糊导引律以及工程中广泛应用的比例导引律进行了性能对比。
应用推荐