查询词典 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.

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

Methods: Five patients with parkinsonism or dystonia were assigned to general anesthesia using an modified endotracheal tube.

本实验依照人体实验之相关规定进行，五位患有帕金森氏症或肌张力异常的病人接受神经立体定位手术。

If you can benefit from this book, it is our honour.

如果您能从本书获益，这将是我们的荣幸。