查询词典 sequential logic

Patten provides a chapter-by-chapter skeleton key to Alice, which meticulously demonstrates how its various episodes reveal Dodgson's profound knowledge of the rules of clear thinking, informal and formal logic, symbolic logic, and human nature.

作者逐章、细致地阐述了《爱丽丝漫游仙境》里的各种情节是如何把刘易斯关于数理逻辑拥有的渊博知识、对人性的认识和他清晰的创作思路体现的淋漓尽致！

In doing back-up data, we followed the work to be done is to switch to a system running DOS, and DOS command line in the implementation of "fdisk / mbr" command string to try to repair the hard disk of soft failure occurred ; if such a repair method to try is invalid, then we can go online to download and install the hard drive Bad Track professional testing tool to double-check the local hard disk in the phenomenon of the existence of Bad Track, Bad Track If you can not find the hard disk, it can not detect hard drive through the phenomenon is likely to be caused by the logic of failure, when the only thing we can use the way is hard to find the logic of the corresponding brand Bad Track Repair Repair Tool to re-click the hard disk, I believe that case the hard disk will be able to detect the phenomenon can not be resolved the.

在做好数据的备份工作后，我们接下来要做的工作就是将系统切换到 DOS 运行状态，并在 DOS 命令行中执行" fdisk /mbr "字符串命令，来尝试修复硬盘中发生的软故障；要是这种修复方法尝试无效的话，我们可以到网上下载安装一些专业的硬盘坏道检测工具，来仔细检查本地硬盘中是否存在坏道现象，如果找不到硬盘坏道的话，那硬盘检测无法通过的现象很可能是逻辑故障引起的，此时我们唯一可以使用的办法就是找到对应品牌硬盘的逻辑坏道修复工具来重新修复一下硬盘，相信这么一来硬盘检测无法通过现象就能被解决了。

OR is harder in soft science, has the characteristic of both logic mathematics and mathematical logic, and are a basic theory and indispensable method, means and tool.

运筹学是软科学中"硬度"较大的一门学科，兼有逻辑的数学和数学的逻辑的性质，是系统工程学和现代管理科学中的一种基础理论和不可缺少的方法、手段和工具。

The logic function classification with spectral coefficients is discussed and the definition of characteristic threshold logic function is given.

由于阈值逻辑门具有很强的逻辑功能以及其它独特的优点，受到了国内外学术界的重视[1～3]。

According to analyzing the characteristic of the logic of "and" and "or" gates, this paper derives a conversion rule between the logic of fault tree and the step function. Using this conversion, we can convert fault tree to step function which is easy to calculate by programming in the computer.

通过对故障树中逻辑"与"门和"或"门的特点进行分析，推导出故障树逻辑关系与阶跃函数之间的转换规则，利用该规则可将故障树转化为便于编程求解的函数表达式。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

His logic does not possess the essential characteristics of syllogism, and thus is not logic in its reasoning.

但该逻辑不具有三段论的实质特征，因而不能成为严格的逻辑推理。

Defining the problem. Firstly, two important concepts------judicialreasoning and the explanation of law ------are introduced. After that,law-applying process is examined by way of syllogistic argument. Hence, the work of this paper is determined: to analyze the law-applying process on 3 phrases cognizanting of the facts, interpreting of law and making judicial judgment; to define the mission of Logic concerning the difficulties of AI in Law System, and therefore to introduce my understanding of the main task of logic in 21st Century: problematic reasoning.

首先解释了本文所使用的两个重要概念：法律推理和法律解释，而后以三段论的方式考察了法律适用的过程，最后说明本文所要作的工作：在事实认定，法律解释，司法判决三个阶段上以逻辑的手段分析法律适用是如何进行的；逻辑和法律的新的契合点——人工智能法律系统所面临的困境给逻辑学规定了什么样的任务，并由此提出我所理解的逻辑学在21世纪的研究重点：或然性推理。

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

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

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。