Set theory and logic 集合论与逻辑
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 theorem has many deep extensions which are important not only in graph theory and combinatorics but in set theory(logic)analysis as well.
这个定理有许多深刻的推广，它们不仅在图论和组合论中是重要的，而且在集论（逻辑）和分析中是同样重要的。
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.
还是全部? 在逻辑的基础上，运用假设和集合论是研究哲学的一种方法，正如数学是建立在假设和逻辑之上的一样。
应用推荐