查询词典 propositional logic

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

The character of research is that the development trend of flexible logic of intelligent decision support system is shown.The grey logic representing the incomplete and randomcity and induction method based on it are proposed.

其研究特点在于明确了智能决策决策支持系统的逻辑柔性化的发展方向，并给出了一种表示信息不完全性和随机性的具体的柔性逻辑推理方法。

On one side, he inherits the tradition of pragmatism, on the other side , he emphasizes the effect to philosophy from logic and mathematics. His emphasis on mathematical logic, meaning theory and experience verify theory, which makes up pragmatic insufficience.

在刘易斯那里，他一方面继承实用主义的传统，另一方面又强调逻辑和数学对哲学的影响，重视对数理逻辑的研究，重视对意义理论、经验证实理论等等的探讨，弥补了实用主义在这方面的不足。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

This method combined with logic and game theory can achieve the balance between negotiation logic rationality and utility rationality and dynamically adjust utility and deal with irredeemable problems.

在此提出基于遗忘理论的多问题协商，结合逻辑学和对策论的方法，达到了Agent协商逻辑理性和效用理性的平衡。

Jevons's foundation to the probabilistic inductive logic, until the system of modern probabilistic inductive logic which Carnap represents.

内容摘要：概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

Karnaugh map plays an important role in the simplification of logic function and the design of logic circuit.

卡诺图在逻辑函数的化简和逻辑电路的设计中，有着重要作用。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。