検索結果- 英語 - 英語
検索内容:
Heyting algebra
名詞
(algebra,
order
theory)
A
bounded
lattice,
L,
modified
to
serve
as
a
model
for
a
logical
calculus
by
being
equipped
with
a
binary
operation
called
"implies",
denoted
→
(sometimes
⊃
or
⇒),
defined
such
that
(a→b)∧a
≤
b
and,
moreover,
that
x
=
a→b
is
the
greatest
element
such
that
x∧a
≤
b
(in
the
sense
that
if
c∧a
≤
b
then
c
≤
a→b).
日本語の意味
ヒーティング代数:論理計算のモデルとして利用される有界格子であり、二項演算「含意」(→、または⊃や⇒)を備える。具体的には、(a→b)∧a ≤ bを満たし、さらにx = a→bがx∧a ≤ bとなるような最大の元となるように定義される代数構造。
関連語
Lie algebra
IPA(発音記号)
関連語
vector algebra
algebraic integer
名詞
(algebra,
number
theory)
A
real
or
complex
number
(more
generally,
an
element
of
a
number
field)
which
is
a
root
of
a
monic
polynomial
whose
coefficients
are
integers;
equivalently,
an
algebraic
number
whose
minimal
polynomial
(lowest-degree
polynomial
of
which
it
is
a
root
and
whose
leading
coefficient
is
1)
has
integer
coefficients.
日本語の意味
整数係数の首項が1である単項多項式の根となる実数または複素数。 / より一般には、最小多項式(その数を根に持つ係数が1の最低次数の多項式)が整数係数である代数数。
関連語
loading!
Loading...