本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

Kleene algebra

名詞

(algebra) A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.

日本語の意味
De Morgan代数の一種であり、任意の x, y に対して不等式「x ∧ (∼x) ⩽ y ∨ (∼y)」を満たす。ここで「∼」はDe Morgan反転(否定)の操作を示す。
英語の意味
(algebra) A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.
このボタンはなに?

すべての x と y に対して x∧∼x ⩽ y∨∼y を満たすド・モルガン代数であり、ここで「∼」はド・モルガンの反転を表す。

関連語

plural

Kleene algebras

名詞
活用形 複数形

plural of Kleene algebra

原形: Kleene algebra
日本語の意味
"Kleene algebras" は "Kleene algebra" の複数形を示します。
英語の意味
plural of Kleene algebra
このボタンはなに?

クレーネ代数は形式言語理論やプログラム検証に不可欠です。

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★