検索結果- 英語 - 英語

検索内容:

logic

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翻訳

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

詳細

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翻訳

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

詳細

modal logics

名詞

活用形複数形

plural of modal logic

日本語の意味

「modal logic」（様相論理）の複数形、すなわち複数の modal logic を指します。

このボタンはなに？

In the seminar, students compared different modal logics to see which could best model temporal notions.

Google翻訳 / DeepL翻訳

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

詳細

term logics

名詞

活用形複数形

plural of term logic

日本語の意味

「term logic」（項論理）の複数形。すなわち、項論理に基づいた伝統的な論理体系や方法論（例: アリストテレスの論理学など）を複数示す表現。

このボタンはなに？

Researchers compared several term logics to determine which best handled categorical syllogisms.

Google翻訳 / DeepL翻訳

研究者たちは、どの項論理体系が範疇的三段論法を最も適切に扱えるかを判断するため、いくつかの項論理体系を比較した。

詳細

relevance logics

名詞

活用形複数形

plural of relevance logic

日本語の意味

Hoare logics

名詞

活用形複数形

plural of Hoare logic

日本語の意味

この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。

このボタンはなに？

Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.

Google翻訳 / DeepL翻訳

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

詳細

doxastic logics

名詞

活用形複数形

plural of doxastic logic

日本語の意味

これは「doxastic logic」の複数形です。つまり、単数形である「doxastic logic」（信念論理）に対して、複数の概念を表すために「s」が付いた形です。

このボタンはなに？

Several doxastic logics have been proposed to model how agents update their beliefs when faced with new evidence.

Google翻訳 / DeepL翻訳

新しい証拠に直面したときにエージェントがどのように信念を更新するかをモデル化するために、いくつかの信念の論理が提案されてきました。

詳細

mathematical logics

名詞

活用形複数形

plural of mathematical logic

日本語の意味

「mathematical logics」は、『mathematical logic』（数学的論理学）の複数形であり、活用形として名詞の複数形の形を示しています。

このボタンはなに？

Researchers compared several mathematical logics to determine which offered the most expressive power for modeling computation.

Google翻訳 / DeepL翻訳

研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。

詳細

symbolic logics

名詞

活用形複数形

plural of symbolic logic

日本語の意味

これは単語 'symbolic logic' の複数形という活用形を示しています。つまり、『記号論理学』の複数形です。

このボタンはなに？

In the seminar, students compared historical developments across different symbolic logics to better understand formal reasoning.

Google翻訳 / DeepL翻訳

ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。

詳細

Webで検索する