查询词典 symbolic logic

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

Leibniz wrote memoranda that can now be read as groping attempts to get symbolic logic—and thus his calculus—off the ground.

莱布尼茨写了我们现在可认为是探索得到符号逻辑—还有他的微积分—取得进展的备忘录。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

Metamathematics is a subject on symbolic logic ,which focuses on the mathematics discrepancy.

元数学是一门数理逻辑方面的学科，其主要研究对象是数学本身的矛盾性问题。

Leibniz's calculus ratiocinator, which resembles symbolic logic, can be viewed as a way of making such calculations feasible.

莱布尼茨的"推理演算"，类似于符号逻辑，可以被视为进行此种可行计算的方式。

His characteristica universalis, calculus ratiocinator, and a "community of minds"—intended, among other things, to bring political and religious unity to Europe—can be seen as distant unwitting anticipations of artificial languages, symbolic logic, even the World Wide Web.

他的普遍语言、推理演算与"心灵共同体"—意在把欧洲带向政治与宗教统一—可视为对很久以后人工语言、符合逻辑与万维网的无意预见。

This now classic text is his treatment of symbolic logic.

这已是他的经典文本的符号逻辑处理。

Finally, on the basis of former empirical analysis and symbolic logic analysis, the paper makes some pertinent suggestions.

最后，在以上实证研究和逻辑分析的基础上，给出了提升我国贸易利益的政策建议。

Then we actually establish a model in the symbolic logic.

其次，认真分析了访问控制安全性的本质。

What remains to be explained is the symbolic logic involved.

人们经常用这个动作来强调谈话中的微妙之处。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。