52单词网 > 英语词典 > symbolic logic

symbolic logic

小编 分享 时间:
symbolic logic是什么意思
英式音标:[sɪmˈbɔlɪk ˈlɔdʒik]英式读音
美式音标:[sɪmˈbɑlɪk ˈlɑdʒɪk]美式读音
词汇分类:Word Menu
词义:

n.

数理逻辑,逻辑符号;

英英释义

symbolic logic

n.any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

同义词:mathematical logicformal logic

用法:

双语例句

用作名词(n.)

On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic.
柏格森的敌人罗素肯敷衍中国人,请他喝过一次茶,他从此研究数理逻辑。

The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。

Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.
除了线性逻辑符号,人工智能研究者还为逻辑开发了图形符号,叫做语义网络。

权威例句

Symbolic Logic

Symbolic Logic

Symbolic logic /

Symbolic Logic, An Introduction

Survey of symbolic logic

Journal of Symbolic Logic

Elements of symbolic logic

Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

A survey of symbolic logic / by C. I. Lewis.

Classifying regular events in symbolic logic

Automatic Verification of Synchronous Circuits Using Symbolic Logic Simulation and Tempral Logic

Reasoning foundations of medical diagnosis; symbolic logic, probability, and value theory aid our understanding of how physicians re...
造句:

1. The schoolwork came easily to me, although I entered somewhat behind my class-mates in understanding that other method of symbolic logic: arithmetic.

学校的作业对我来说不难,但我在另一种象征逻辑学——数学——方面的理解力就落后于同学。

youdao

2. 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.

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

youdao

3. It is an example of symbolic logic.

这是个象征逻辑的例子。

youdao

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

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

youdao

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

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

youdao

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

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

youdao

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

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

youdao

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

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

youdao

9. Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.

数理逻辑,也称为符号逻辑,是当人们终于认识到,数学的工具可以用来研究的结构,逻辑本身。

youdao

10. The third part is on the inevitability and the state of symbolic society which is based on the logic of symbolic exchange.

第三部分阐述以符号交换的逻辑为基础的符号社会产生的必然性和它所指称的特定的社会状态。

youdao

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

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

youdao

12. For realizing symbolic substitution rules of binary addition. This paper proposes a simple optical logic system which includes only one 2-d array of optical bistable device.

为了实现二进制加法符号替换规律,本文提出了一种简单的光逻辑系统,它仅包括一片二维列阵光学双稳器件。

youdao

13. Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

数理逻辑的延伸符号逻辑到其他领域,特别是研究模型理论,证据理论,集理论,并递归理论。

youdao

14. As a new branch of logic, semi-symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand.

半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。

youdao

15. "Model" is a simple and direct description for the internal mechanism and external relationship to some items or entities, and is a symbolic and logic assumption to relatively simple status.

“模式”是对某一事项或实体的内在机械设计与外部联系的直观和简洁的描述,是对相对简单状况所做的象征性合乎逻辑的设想。

youdao

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

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

youdao

17. However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.

但是,由于突变理论有着高深的数理逻辑结构和推演规则,其应用却未在方案优选中得到应有的推广。

youdao

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

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

youdao

19. On this basis, the thesis put forward the symbolic expressing of the topological relationships which are in the concrete domain and use description logic to express the spatial relationships.

在此基础上,对具体域中表达的空间拓扑关系进行符号化表示,用描述逻辑的形式表达空间关系。

youdao

20. On this basis, the thesis put forward the symbolic expressing of the topological relationships which are in the concrete domain and use description logic to express the spatial relationships.

在此基础上,对具体域中表达的空间拓扑关系进行符号化表示,用描述逻辑的形式表达空间关系。

youdao

symbolic logic

将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档文档为doc格式