网站首页  汉语  德语  英语

请输入您要查询的英文单词：

　

单词 decision procedure
释义

Definition of decision procedure in English:

decision procedure

noun
Logic Mathematics

  • An algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced from the axioms of that system.

Origin

1930s; earliest use found in Journal of Symbolic Logic.

Definition of decision procedure in US English:

decision procedure

noun
Logic Mathematics

  • An algorithm for deciding whether a given formula, statement, etc., is true or false within a particular logical system, or if it can be deduced from the axioms of that system.

Origin

1930s; earliest use found in Journal of Symbolic Logic.
随便看

　

雅致网英汉双解词典包含236457条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。

　

Copyright © 2002-2024 53pku.com All Rights Reserved
更新时间：2025/6/18 8:58:28