查询词典 symbolic logic

Atom propositions are the basic unit of symbolic logic.

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

These remind one ever so much of tortuous university lectures in symbolic logic on a warm spring day.

这些对人影响很大，很多学校开展了形体逻辑的讲座，大受欢迎。

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.

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

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

虽然符号逻辑已经长大了，在随后的几十年相当大，这本书仍然是经典之作。

A system of symbolic logic devised by George Boole; used in computers.

乔治·布尔发明的符号逻辑；用在电脑上。

An operation that follows the rules of symbolic logic.

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

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

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

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

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.

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