検索結果- 英語 - 英語

検索内容:

quantum logic gate

名詞
日本語の意味
量子コンピュータにおける論理演算を実現するためのゲート、すなわち「量子ゲート」と同義と考えられる。
このボタンはなに?

研究者は、単一の計算ステップで量子ゲートが2つの量子ビットをもつれさせることを示した。

関連語

plural

zero-order logic

名詞
日本語の意味
命題論理
このボタンはなに?

論理学の授業では、最初に命題論理を学び、その後述語論理へ進みます。

non-classical logic

名詞
日本語の意味
古典論理ではない論理体系、すなわち古典論理の枠組みを超えるか逸脱する論理体系
このボタンはなに?

研究者たちは、自然言語の曖昧さや矛盾を古典的な原理で説明できないとき、非古典論理に頼ることが多い。

Gunning transceiver logic

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

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

many-valued logic

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

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

関連語

plural

temporal logics

名詞
活用形 複数形
日本語の意味
「temporal logic」(時相論理)の複数形です。
このボタンはなに?

セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。

formal logics

名詞
活用形 複数形
日本語の意味
形式論理(formal logicの複数形)」
このボタンはなに?

大学院のゼミで、いくつかの形式論理体系を比較し、不確実性の下での推論を最もよくモデル化するものを特定しました。

propositional logics

名詞
活用形 複数形
日本語の意味
これは「propositional logic」の複数形を示しており、複数の命題論理を指す場合に用いられます。
このボタンはなに?

大学院のゼミで、私たちはいくつかの異なる命題論理体系を比較して、さまざまな真理機能的結合子が論理的妥当性にどのように影響するかを理解しました。

paraconsistent logics

名詞
活用形 複数形
日本語の意味
『パラコンサイステント論理』の複数形。すなわち、単数形である『paraconsistent logic』の複数形を指します。
このボタンはなに?

研究者たちは、どの矛盾許容論理体系が矛盾するデータを最もよく扱えるかを判断するために、いくつかの矛盾許容論理体系を比較した。

fuzzy logics

名詞
活用形 複数形
日本語の意味
「ファジー論理」(あいまい論理)の複数形。すなわち、複数のあいまい論理体系を指す。
このボタンはなに?

研究者たちは、不確実性の下で人間の推論を最もよくモデル化するのはどのファジィ論理かを判断するために、複数のファジィ論理を比較した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★