検索結果- 英語 - 英語
検索内容:
Bloch's theorem
name
Bloch's theorem
name
Savitch's theorem
name
fundamental theorem
noun
Slutsky's theorem
name
Miquel's theorem
name
Brewer's theorem
name
(computing
theory)
A
theorem
stating
that
it
is
impossible
for
a
distributed
data
store
to
simultaneously
provide
more
than
two
of
three
guarantees:
consistency
(every
read
receives
the
most
recent
write
or
an
error),
availability
(every
request
receives
a
non-error
response,
without
the
guarantee
that
it
contains
the
most
recent
write),
and
partition
tolerance
(the
system
continues
to
operate
despite
an
arbitrary
number
of
messages
being
dropped
or
delayed
between
nodes).
Hurewicz theorem
name
deduction theorem
noun
(logic)
A
procedure
for
"discharging"
assumptions
from
an
inference,
causing
them
to
become
antecedents
of
the
conclusion;
or
vice
versa.
Symbolically,
the
conversion
of
an
inference
of
the
form
P,A⊢C
to
an
inference
of
the
form
P⊢A→C
or
vice
versa,
where
⊢
is
the
turnstile
symbol.
The
validity
of
the
procedure
is
a
metatheorem
of
the
given
logical
theory.
loading!
Loading...