Rough set-based method of combinatory logic optimization was presented by using knowledge expression of logic function with rough set theory, and its corresponding algorithm was given, also.
运用粗集理论对逻辑函数进行知识表达的方法，提出了基于粗糙集的组合逻辑优化方法，并给出了相应的算法。
The reasoning mechanism of PTES can deal with both uncertain facts and uncertain rules in a formal way by employing possibilistic logic and fuzzy set theory as its logical basis.
PTES的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础，并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。
On the logical foundation, the application of assumption and set theory is a kind of method to study the philosophy, just like mathematics which is based on assumption and logic.
还是全部?在逻辑的基础上，运用假设和集合论是研究哲学的一种方法，正如数学是建立在假设和逻辑之上的一样。
The theorem has many deep extensions which are important not only in graph theory and combinatorics but in set theory(logic)analysis as well.
这个定理有许多深刻的推广，它们不仅在图论和组合论中是重要的，而且在集论（逻辑）和分析中是同样重要的。
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.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
应用推荐