検索結果- 英語 - 英語

検索内容:

logic—and

first-order logics

名詞

活用形複数形

plural of first-order logic

日本語の意味

「一階述語論理」の複数形

このボタンはなに？

Researchers compared several first-order logics to determine which best captured the properties of the new database schema.

Google翻訳 / DeepL翻訳

研究者たちはいくつかの一階述語論理を比較し、どれが新しいデータベーススキーマの性質を最もよく表すかを調べた。

詳細

monadic predicate logics

名詞

活用形複数形

plural of monadic predicate logic

日本語の意味

単項述語論理の複数形。

このボタンはなに？

Graduate students studying the history of logic often compare various monadic predicate logics to understand their expressive power.

Google翻訳 / DeepL翻訳

論理学の歴史を学ぶ大学院生は、表現力を理解するために、さまざまな単項述語論理を比較することが多い。

詳細

second-order logics

名詞

活用形複数形

plural of second-order logic

日本語の意味

複数の第二階述語論理、すなわち複数の第二階の論理体系

このボタンはなに？

Researchers compared the expressive power of various second-order logics to determine which could capture different mathematical properties.

Google翻訳 / DeepL翻訳

研究者たちは、異なる数学的性質を表現できるものを特定するために、さまざまな二階述語論理の表現力を比較した。

詳細

many-valued logic

名詞

(logic) A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.

日本語の意味

伝統的な真理値（真と偽）のみならず、2つ以上の真理値（例えば、真、偽、そしてその他の値）を用いる非古典的命題論理体系を指す。 / 複数の真理値を採用することにより、従来の二値論理では扱いきれない問題や状況をモデル化できる論理システム。

このボタンはなに？

Researchers in computer science often study many-valued logic to model uncertainty in reasoning systems.

Google翻訳 / DeepL翻訳

コンピュータ科学の研究者は、推論システムの不確実性をモデル化するために多値論理を研究することがよくあります。

詳細

関連語

many-valued logics

（ plural ）

詳細

Gunning transceiver logic

名詞

不可算名詞

(electronics) A kind of logic signaling used to drive electronic backplane buses, having a voltage swing between 0.4 and 1.2 volts—much lower than that used in TTL and CMOS logic—and symmetrical parallel resistive termination.

日本語の意味

Gunning transceiver logic（ガニング・トランシーバ・ロジック）とは、電子バックプレーンバスの駆動用に用いられる論理信号方式の一種です。TTLやCMOSの論理回路で用いられる通常の電圧スイングよりも低い、0.4～1.2ボルトの電圧変動を特徴とし、左右対称の並列抵抗終端回路を有する技術です。

このボタンはなに？

Google翻訳 / DeepL翻訳

技術チームはサーバーバックプレーンに、電子バックプレーンバスを駆動するための低電圧の論理信号方式（電圧スイングが0.4〜1.2ボルトで、対称な並列抵抗終端を備えている）を実装しました。

詳細

erasable programmable logic device

名詞

(semiconductors) An integrated circuit that is composed of an array of programmable logic devices that do not come pre-connected; the connections are programmed electrically by the user.

日本語の意味

ユーザーが電気的に接続をプログラミングすることで動作が決定される、あらかじめ接続が固定されていないプログラム可能な論理デバイス（部品）の配列から構成される集積回路

このボタンはなに？

The engineer debugged the prototype board by replacing the faulty erasable programmable logic device that controlled the data routing.

Google翻訳 / DeepL翻訳

技術者は、データのルーティングを制御していた故障した消去可能で再構成可能な論理集積回路を交換して試作基板のデバッグを行った。

詳細

関連語

erasable programmable logic devices

（ plural ）

詳細

monadic second-order logic

名詞

可算名詞不可算名詞

日本語の意味

個体集合の各要素に対して、1引数の述語（単項述語）に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系

このボタンはなに？

Researchers often use monadic second-order logic, a formal deductive system that extends first-order logic by enabling quantification over unary predicates, to express graph properties that are inexpressible in first-order logic.

Google翻訳 / DeepL翻訳

研究者はしばしば、一階述語論理を拡張して個体の一項述語に対する量化を可能にする形式的推論体系（単項二階述語論理）を用いて、一階述語論理では表現できないグラフの性質を記述する。

詳細

関連語

monadic second-order logics

（ plural ）

詳細

erasable programmable logic devices

名詞

活用形複数形

plural of erasable programmable logic device

日本語の意味

これは「erasable programmable logic device」の複数形を示しており、個々の「消去可能プログラム可能論理デバイス」という意味の名詞の複数形です。

このボタンはなに？

The university's engineering department collected old erasable programmable logic devices for a hardware recycling project.

Google翻訳 / DeepL翻訳

大学の工学部はハードウェアリサイクルプロジェクトのために古い消去可能なプログラマブルロジックデバイスを収集した。

詳細

monadic second-order logics

名詞

活用形複数形

plural of monadic second-order logic

日本語の意味

モナディック・セカンド・オーダー・ロジックの複数形

このボタンはなに？

Researchers compared several monadic second-order logics to determine which fragments permit decidable satisfiability.

Google翻訳 / DeepL翻訳

研究者たちは、どの断片が決定可能な充足可能性を許すかを判断するために、いくつかの単項二階論理の変種を比較した。

詳細

t-norm fuzzy logic

名詞

(fuzzy logic) Any kind of fuzzy logic whose semantics valuates conjunctions by means of t-norms.

日本語の意味

t-normファジィ論理：論理結合（AND）の意味をt-ノルムにより評価するファジィ論理の一種。

このボタンはなに？

In our seminar, we compared classical logic with t-norm fuzzy logic to understand how different conjunction evaluations affect inference.

Google翻訳 / DeepL翻訳

私たちのセミナーでは、推論に対する結合評価の違いがどのように影響するかを理解するために、古典論理と三角ノルムに基づくファジィ論理を比較しました。

詳細

関連語

t-norm fuzzy logics

（ plural ）

詳細

Webで検索する