英语释义

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

片语

Association of Symbolic Logic符号逻辑学会

Journal of Symbolic LogicThe Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logi It was established in 1936 and covers mathematical logi

mathematical logic[数] 数理逻辑

symbolic logic algorithm符号逻辑算法

Formal symbolic logic逻辑

model of symbolic logic[计]

Symbolic Logic I符号逻辑

Association for Symbolic Logic符号逻辑协会

semi-symbolic logic半符号逻辑

英汉例句

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

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

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

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

• the process of simulating the estimation through a computer is actually to find out the symbolic logic relations between the factors which have influences on music play and the index of estimation.

  采用电脑来模拟这个评价过程，实质上就是要找出影响音乐演奏效果的因素和评价指标之间的数理关系。

• so the research on symbolic logic become an academic focus, the french philosopher jean baudrillard is a typical representative.

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

• in this paper, we put forward numeration of marginal cost based on nonlinear cost function. this numeration is proved symbolic logic preciseness, operation doable.

  在联产品协同生产过程中，所采取的基于非线性成本函数的边际成本计算法，应该是数理依据严谨、实务应用可行的方法。

• in particular, i find that a class in either symbolic logic or computer programming (preferably both) teaches one to think logically, and to be precise.

  特别值得一提的是，我发现数理逻辑课或是电脑编程课能够很好的训练人的逻辑思维能力，从而做到精确思考。

• from the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

  从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。

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

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

• this dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization.

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

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

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

• symbolic logic is often divided into two branches, propositional logic and predicate logic.

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

• mathematics is a more general program that focuses on the analysis of quantities. magnitudes. forms. and their relationships. using symbolic logic and language.

  数学专业学习的重点在于使用符号逻辑和语言对数量的形式，种类级之间的关系的分析。

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

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

相似词

logic逻辑；逻辑学；逻辑性