Search results- English - English
Keyword:
Gabor function
Related Words
Gabor functions
total function
Related Words
function pointer
Related Words
function pointers
quintic function
Related Words
vector functions
valuation function
Noun
(logic)
A
function
which
assigns
a
truth
value
to
every
well-formed
formula,
which
is
identical
to
the
model's
interpretation
function
when
applied
to
atomic
propositions,
and
which
otherwise
assigns
a
truth
value
recursively
depending
on
the
formula's
top
logical
connective
and
the
truth
values
of
the
subformulae
surrounding
that
logical
connective.
Japanese Meaning
(論理学において)すべての整形式文に対して真偽値を割り当てる関数。原子命題に対してはモデルの解釈関数と一致し、それ以外の場合は、文の最上位の論理結合子と周囲の部分式の真偽値に基づいて再帰的に真偽値を決定する関数。
Related Words
Kelvin functions
quartic function
Noun
Japanese Meaning
最高次数が4の多項式による関数、すなわち関数の一般形が ax⁴ + bx³ + cx² + dx + e の形をとるもの / 4次関数
Related Words
loading!
Loading...
All Loaded
Error
Words
Words(1182733)
Add Word
Sentence
Sentences
(1671162)
Add sentence
Others
Editor
(31)
Editing Guideline
Credit