英语词汇“decision procedure”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

　

单词	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.
随便看	XRF x's xs xu Xuzhou XXL XXXX xylan xylem xylems xylene xylenes xylidine xylitol xylo- xylo xylograph xylograph xylographer xylographic xylographic xylographical xylography xylophagous xylophone

　

英语词典包含464360条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/2/5 12:51:23