字词 | 判定 |
类别 | 中英文字词句释义及详细解析 |
释义 | 判定 对于逻辑或数学中的问题,依据一种能行的方法,作出“是”或“否”的明确回答,这一过程,称为判定。 所谓能行方法,包括两个要点:第一,有限,即一个判定,必须在有限步内完成;第二,机械,即判定程序的每一步,都有明确的规则作为依据。这个术语特别用于这样的求解步骤,在一个特定的形式系统中,某个特定的公式能否证明为该系统的一个定理。 |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。