検索結果- 英語 - 英語

検索内容:

logic—and

non-classical logic

名詞

A logic that is not classical: one that extends or deviates from classical logic.

日本語の意味

古典論理ではない論理体系、すなわち古典論理の枠組みを超えるか逸脱する論理体系

このボタンはなに？

詳細

arithmetic logic unit

名詞

(computer hardware) the section of a CPU that performs calculations and logical operations

日本語の意味

算術論理演算ユニット：計算および論理演算を実行するCPUの一部

このボタンはなに？

The processor's arithmetic logic unit executes integer calculations and logical comparisons at high speed.

Google翻訳 / DeepL翻訳

プロセッサの算術論理演算装置は整数の計算と論理比較を高速で実行します。

詳細

関連語

arithmetic logic units

（ plural ）

詳細

logical mechanical element

名詞

日本語の意味

機械装置の中で、論理的な制御を行う部品。たとえば、ラチェット（棘車）、トリップ（作動機構）、デテン（位置保持装置）、インターロック（相互保護機構）などの機能を備えた要素を指す。

このボタンはなに？

Google翻訳 / DeepL翻訳

安全機構は、すべてのセンサーが正常を示さない限りハッチの開放を防ぐ機械的論理要素に依存していた。

詳細

関連語

logical mechanical elements

（ plural ）

詳細

programmable logic controller

名詞

A programmable electronic device used in industrial automation to provide logic and sequencing controls for machinery.

日本語の意味

産業オートメーションにおいて、機械やプロセスの論理およびシーケンス制御を行うためのプログラム可能な電子装置

このボタンはなに？

The technician reprogrammed the programmable logic controller to optimize the conveyor's timing and reduce product jams.

Google翻訳 / DeepL翻訳

技術者はコンベアのタイミングを最適化し、製品の詰まりを減らすためにプログラマブルロジックコントローラを再プログラムした。

詳細

関連語

programmable logic controllers

（ plural ）

詳細

programmable logic controllers

名詞

活用形複数形

plural of programmable logic controller

日本語の意味

プログラマブルロジックコントローラの複数形

このボタンはなに？

To reduce downtime, the engineering team reprogrammed several programmable logic controllers during the weekend maintenance.

Google翻訳 / DeepL翻訳

ダウンタイムを減らすために、エンジニアチームは週末の保守作業で複数のプログラマブルロジックコントローラを再プログラムしました。

詳細

first-order logic

名詞

可算名詞不可算名詞

日本語の意味

形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化（∀, ∃）を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。

このボタンはなに？

In my philosophy of science seminar, we used first-order logic to formalize hypotheses about observable entities.

Google翻訳 / DeepL翻訳

私の科学哲学のゼミでは、観察可能な対象についての仮説を形式化するために、個体に量化を許す述語論理を用いました。

詳細

関連語

first-order logics

（ plural ）

詳細

monadic predicate logic

名詞

日本語の意味

単項述語論理：全ての述語記号が単項（1つの引数のみを取る）で構成され、関数記号が存在しない述語論理の一部分

このボタンはなに？

Research on monadic predicate logic shows that many decidability problems are simpler than in the full predicate calculus.

Google翻訳 / DeepL翻訳

すべての述語記号が単項（すなわち1つの引数しか取らず）、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

詳細

関連語

monadic predicate logics

（ plural ）

詳細

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 ）

詳細

second-order logic

名詞

不可算名詞通常

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

日本語の意味

第一階層論理（ファーストオーダーロジック）を拡張し、対象間の関係に対する量化を許す形式体系。

このボタンはなに？

second-order logic permits quantification over relations, enabling the expression of properties that first-order logic cannot capture.

Google翻訳 / DeepL翻訳

二階述語論理は、一階述語論理を拡張して宇宙の要素間の関係に対する量化を可能にする形式体系であり、これにより一階述語論理では捉えられない性質を表現できる。

詳細

関連語

second-order logics

（ plural ）

詳細

Webで検索する