00:10
00:09
00:08
00:07
00:06
00:05
00:04
00:03
00:02
00:01
| a children's mummer's parade, as on the Fourth of July, with prizes for the best costumes. |
| an extraordinary or unusual thing, person, or event; an exceptional example or instance. |
decision procedure
for a class of questions in mathematics and formal logic, the problem of finding, after choosing any question of the class, an algorithm or repetitive procedure that will yield a definite answer, "yes" or "no," to that question. The method consists of performing successively a finite number of steps determined by preassigned rules. In particular, the term is used for such procedures for finding whether-in a particular logistic system, logical calculus, or formal mathematical system-some given "well-formed formula" (generated in accordance with established formation rules) is or is not provable as a theorem of the system
Learn more about decision procedure with a free trial on Britannica.com.