判定问题是数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或者算法,从而能够对某类问题中的任何一个在有穷步骤内确定是否具有某一特定的性质。
... entscheidend decidable 不可判定的 Entscheidungsproblem decision problem 判定问题 Entwicklung expansion 展开 ...
基于14个网页-相关网页
语义网的关键推理问题可以化为公式的可满足性判定问题。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
在第三章的基础上,第四章讨论了辐射源威胁等级判定问题。
ChaPter four stUdies radian imPerilment grade evaluaion problems based onChaptCr three.
讨论了货郎问题的计算复杂性,指出了货郎优化问题与货郎判定问题计算复杂性的差异。
This article discusses the computational complexity of Traveling Salesman Problem, and points out the difference of computational complexity between Decisive TSP and Optimal TSP.
应用推荐