数理逻辑

Atom propositions are the basic unit of symbolic logic.

原子命题是数理逻辑研究的基本单位。

In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.

本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。

Actually, how to integrate the interrelation of the sets into symbolic logic is extremelly fantastic and worthy of further research.

如何将集合论中的集合间关系与数理逻辑结合起来，这是一个值得研究也很有趣的问题。

An operation that follows the rules of symbolic logic.

依据数理逻辑法则进行的操作或运算。

It includes symbolic logic, set theory, graph theory and algebra system.

本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。

At present, the way of Theory of Axiomatic Sets is the best one to dissolve the paradox.

另外，数理逻辑的其它三个分支即证明论、递归论、和模型论也都是在研究悖论问题中逐渐形成和发展的。

Russell 'Mathematical Logic as based on the Theory of Types' in van Heijenoort From Frege to Godel.

二罗素，'数理逻辑的基础上，理论类型'的车Heijenoort，从弗雷格的哥德尔。

The third part touches upon the enlightenments gained from the study on the relationship between paradox and mathematical logic on the relationship between paradox and mathematical logic, which are the following: so long as we combine the way of formalization with the philosophizing analysis, look at things dialectically, and deal with things systematically, not only can the problem of paradox be solved relatively, but also a series of important discovery can be found in the process of resolution to it.

第三部分论述在探析悖论与数理逻辑的关系中所得到的意义和启示：只要我们把形式化的方法和哲学性的分析结合起来，用辩证的观点看问题，用系统的方法研究问题，悖论不但可以得到相对的解决，而且在解决悖论的过程中会引出一系列的重大发现。

The origins of life very much content accumulated experience, with mathematical logic, philosophy, its public-welfare everything can be applied to all personnel on the ground when, can search on measures of universe and knew that can guide of life, and become a loose-packed of life and the life important treasure.

经传的内容累积甚多之人生经验，以数理逻辑、汇萃万物，其哲理可应用一切人事时地物上之措施，故上能探求宇宙本体而知天命，下可指导人生之行藏，而成为一部人生重要处世与行事之宝典。

In this paper, the author queried a few conclusions in [1] , and elaborated different views on several problems, such as relations between non-Euclidean geometry and real space, relations between mathematical logic and thinking, the significance of Godel s second incompleteness theorem, and so on.

本文对文〔1〕的几个论断提出一些疑问，并在&非欧几何与现实空间&、&数理逻辑与思维&、&哥德尔不完备性定理的意义&等若干问题上表述了与《数学是什么》一文中不同的观点。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。