three valued logic calculus 三值逻辑学
medium logic calculus 中介逻辑演算
predicate calculus logic 述词演算逻辑
logic situation calculus 逻辑情景演算
calculus logic 计算逻辑
medium logic predicate calculus 中介逻辑谓词演算
Medium Logic Propositional Calculus 中介逻辑命题演算
This paper proposes a new definition of reconfigurable material handling system(RMHS) , and presents a novel method based on graph theory and first-order logic calculus for configuration modelling of robot-based RMHS.
提出了可重构物流系统的一种新的定义,并在充分考虑移动机器人个体和群体的重构能力的前提下,提出了一种基于图论和谓词逻辑的多机器人可重构物流系统的建模方法。
参考来源 - 多移动机器人可重构物流系统建模方法To a classical logic calculus problem, using the ideal which Lipton solved the SAT problem, we proposed a DNA algorithm based on sticker model. By improved algorithm, problem is transformed corresponding open-close network graph and contact network graph.
基于DNA计算的粘贴模型,通过把逻辑演算问题转化为对应的开关网络图和Lipton模型的接触网络图,借鉴Lipton模型求解可满足性问题的方法解决了一个经典的逻辑演算问题,进一步开阔了DNA计算解决离散数学中各种问题的思路。
参考来源 - 基于DNA计算模型的几个NP完全问题的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
The third part illustrates action logic calculus created by von Wright.
第三部分阐述了冯-赖特建立的行动逻辑演算。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。
The medium system is a new mathematical theoretical system, in which the medium principle is used as base and the medium logic calculus as a means.
中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。
应用推荐