...heorem prover]] but includes automatic theorem proving tactics and various decision procedures.
...
15 members (3 subcategories, 0 files) - 18:52, 15 March 2014
{{task|Decision Theory}}
In [[wp:Decision theory|decision theory]], [[wp:Sleeping Beauty problem|The Sleeping Beauty Problem]]
...
40 KB (4,653 words) - 07:23, 8 June 2024
...it, but it's not Boolean: Boole intended to formalize thought process and decision making, thus lacking a negation operation makes it singly useless in this r
...t is distressingly common even among people with PhDs with a focus on type theory. --[[User:Rdm|Rdm]] 13:25, 7 May 2012 (UTC)
...
11 KB (1,695 words) - 16:37, 20 September 2020
...wheel optimization''', or some such title. It would make the decision to choose which candidates to move a simple one. Almost all of those
...the text...). As for the speed, factors are obviously not interesting in theory, and high factors are interesting in practice only. But I didn't measure t
...
53 KB (8,657 words) - 21:32, 4 May 2022
For POSIX compliant systems (in theory that includes WinNT family).
YEA = .TRUE. !A decision.
...
69 KB (9,615 words) - 14:39, 19 March 2024
IF (D.NE.0) GO TO 666 !A decision yet?
666 NATURALORDER = D !The decision.
...
267 KB (35,633 words) - 09:35, 6 January 2024
% decision variables: start and end indices
The general theory of operation is as follows.
...
120 KB (16,057 words) - 16:36, 20 April 2024
...tended to the point where checking "diff 5" will contribute a solution. My decision to omit checking '5' was for performance reasons since we are constricted t
...umbers are concerned, a possible fly in the ointment is that they could in theory end in 3 (with a first digit of 8) which would, of course, mean adding anot
...
95 KB (11,263 words) - 20:16, 2 November 2023
...ic universe") but is closely related to the term as it is used in automata theory ("non-deterministic finite automaton").
/** Get the possible results from an amb object, discarding decision info. (public interface) */
...
194 KB (25,163 words) - 11:49, 13 June 2024
-- decision helps resolve some minor numerical quandaries.
In theory, doing just the above could find an intersection that lies outside the para
...
268 KB (34,581 words) - 22:02, 20 April 2024
...malicious or even harmful (hidden) code gets executed. That decision is, as the ole saying goes, above my pay grade. Time and energy are
...dn't you agree that Rosettacode needs ''yet another'' task based on number theory? [https://github.com/SqrtNegInf/Rosettacode-Perl6-Smoke/blob/master/R/Raman
...
123 KB (19,250 words) - 18:57, 30 September 2023
