字词 | 判定问题 |
类别 | 中英文字词句释义及详细解析 |
释义 | 判定问题数理逻辑的重要问题之一。寻求一个一般性的方法,判定某类命题中任一个的真假。这样的方法要求每一步都事先给定明确的规则且有穷步内可以结束,称为算法或能行方法。如果存在算法,就说这类命题是可判定的,否则不可判定。例如:一自然数是否为素数,一组线性方程是否可解,是可判定的。 |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。