用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算
... logic decision 逻辑决策 logical calculus 逻辑演算 logit curve 对数成败比率曲线 ...
基于220个网页-相关网页
... 逻辑延迟 {半} logical delay 逻辑演算 logic calculus; Boolean calculus 逻辑移位 logical shift; logic shift ...
基于6个网页-相关网页
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
介绍了命题逻辑演算方法。
This paper introduces a method for propositional logic calculation.
第三部分阐述了冯-赖特建立的行动逻辑演算。
The third part illustrates action logic calculus created by von Wright.
离散数学中的逻辑演算有着广泛的应用,特别是在信息处理方面。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
应用推荐