英语词汇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.
随便看	round-the-corner round the corner round the corner from round-the-houses round-the-table round the twist round the twist round the wicket round the wicket round-the-world round-the-worlder round-the-year round tilth round timber round-toed round tool round top round towel round tower round-towner round trade round trip round-trip round-tripper round-tripping

　

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

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/5/12 22:59:56