検索結果- 英語 - 英語

検索内容:

logicisms

intuitionistic logics

名詞

活用形複数形

plural of intuitionistic logic

日本語の意味

直観主義論理の複数形、すなわち複数の直観主義論理体系を指す。

このボタンはなに？

Graduate students in the department studied a range of intuitionistic logics to prepare for the logic seminar.

Google翻訳 / DeepL翻訳

学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。

詳細

logic diagrams

名詞

活用形複数形

plural of logic diagram

日本語の意味

これは 'logic diagram' の複数形です。

このボタンはなに？

The engineering team reviewed the logic diagrams before simulating the chip.

Google翻訳 / DeepL翻訳

エンジニアチームはチップのシミュレーションを行う前に論理回路図を確認した。

詳細

logic choppers

名詞

活用形複数形

plural of logic chopper

日本語の意味

これは『logic chopper』の複数形を表す表現です。

このボタンはなに？

The debate team dismissed the opponents as logic choppers, tearing apart every argument with cold precision.

Google翻訳 / DeepL翻訳

討論チームは相手を議論を切り裂く者たちだと一蹴し、あらゆる主張を冷徹な精度で論破した。

詳細

logical complements

名詞

活用形複数形

plural of logical complement

日本語の意味

「logical complements」は「logical complement」の複数形です。つまり、単数形である「logical complement」に対して複数を示す活用形となります。

このボタンはなに？

When simplifying Boolean expressions, recognizing equivalent logical complements can speed up the process.

Google翻訳 / DeepL翻訳

ブール式を簡略化する際、同値な論理式の否定を認識できれば処理が速くなります。

詳細

logical calculi

名詞

活用形複数形

plural of logical calculus

日本語の意味

「logical calculi」は「logical calculus」の複数形であり、活用形としては複数形を示します。

このボタンはなに？

Researchers compared several logical calculi to determine which framework best captured modal reasoning.

Google翻訳 / DeepL翻訳

研究者たちはいくつかの形式論理体系を比較して、どの枠組みが様相推論を最もよく表現するかを調べた。

詳細

logical systems

名詞

活用形複数形

plural of logical system

日本語の意味

「logical system」（論理体系）の複数形、つまり複数の論理体系を指す表現です。

このボタンはなに？

The researcher evaluated several logical systems to determine which one best modeled human reasoning.

Google翻訳 / DeepL翻訳

研究者はどれが人間の推論を最もよくモデル化するかを判断するために、いくつかの論理体系を評価した。

詳細

sentential logics

名詞

活用形複数形

plural of sentential logic

日本語の意味

「sentential logic」（命題論理）の複数形です。つまり、単数形の「sentential logic」の複数形として扱われます。

このボタンはなに？

Researchers compared several prominent sentential logics to determine which best captured natural language inference.

Google翻訳 / DeepL翻訳

研究者たちは、自然言語の推論を最もよく表すものを判断するために、いくつかの著名な命題論理体系を比較した。

詳細

description logics

名詞

活用形複数形

plural of description logic

日本語の意味

これは「description logic」（記述論理）の複数形、すなわち複数の記述論理を指す表現です。

このボタンはなに？

In our seminar, we compared different description logics to determine which one best models temporal reasoning.

Google翻訳 / DeepL翻訳

私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。

詳細

logical constants

名詞

活用形複数形

plural of logical constant

日本語の意味

「logical constant」（論理定数）の複数形。つまり、論理定数が複数存在する場合を示す活用形です。

このボタンはなに？

The textbook explains how logical constants function in formal proofs.

Google翻訳 / DeepL翻訳

教科書は形式的な証明において、'かつ'、'または'、'非'、'真'、'偽'のような記号（論理定数）がどのように機能するかを説明している。

詳細

intensional logics

名詞

活用形複数形

plural of intensional logic

日本語の意味

「intensional logic」の複数形。

このボタンはなに？

Researchers compared several intensional logics to determine which best captured the semantics of propositional attitudes.

Google翻訳 / DeepL翻訳

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

詳細

Webで検索する