検索結果- 英語 - 英語
検索内容:
doxastic logics
名詞
活用形
複数形
日本語の意味
これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」（信念論理）に対して、複数の概念を表すために「s」が付いた形です。
logical connective
名詞
日本語の意味
論理結合子：論理学において、真理値（真または偽）を扱う関数または記号であり、具体的には論理積（かつ）、論理和（または）、否定（〜でない）、含意（ならば）などの操作を表す。
関連語
constructive logic
名詞
可算名詞
不可算名詞
日本語の意味
数学的な対象が存在することを証明する際、その証明により具体的なアルゴリズムや手法が得られ、その数学的対象を実際に構成できるようになる論理体系。
関連語
Hoare logic
名詞
可算名詞
不可算名詞
日本語の意味
ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。
関連語
linear logic
名詞
(logic)
A
logic
in
which
two
structural
rules
are
missing
from
its
sequent
calculus:
those
for
weakening
and
contraction;
which
has
some
extra
logical
connectives,
so
that
it
has
both
"additive"
and
"multiplicative"
versions
of
the
typical
binary
connectives
and
truth
constants;
and
which
has
a
pair
of
modal,
"exponential"
operators
for
resource
management,
to
help
make
up
for
the
loss
of
the
two
structural
rules.
日本語の意味
線形論理（linear logic）は、順序付けられた論理体系において、弱化規則と収縮規則という2つの構造的規則が除外されている論理体系です。 / この体系は、従来の二項論理結合子や真理値定数に対して、加法的（additive）および乗法的（multiplicative）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。
関連語
loading!
Loading...
