全部

1·It is an example of symbolic logic.

这是个象征逻辑的例子。

2·Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.

阅读关于 George Boole 博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。

3·Symbolic logic is often divided into two branches, propositional logic and predicate logic.

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

4·Clearly the infamous inventor of symbolic logic, Dr. George Boole — see Resources — would feel right at home.

显然，“声名狼籍的”符号逻辑发明者George Boole博士—请参阅参考资料—会觉得这些选项很亲切。

5·Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

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

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

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

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

8·So the research on symbolic logic become an academic focus, the French philosopher Jean Baudrillard is a typical representative.

于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。

9·I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.

我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。

10·This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。