ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
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となるような最大の元となるように定義される代数構造。
英語の意味
(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).
関連語
Heyting algebras
名詞
活用形
複数形
plural of Heyting algebra
原形:
Heyting algebra
日本語の意味
『ヘイティング代数』の複数形
英語の意味
plural of Heyting algebra
