検索結果- 英語 - 英語

検索内容:

sequents

名詞

活用形複数形

plural of sequent

日本語の意味

「sequent」の複数形

このボタンはなに？

Sequents provide a compact notation for expressing entailment relations in sequent calculus proofs.

Google翻訳 / DeepL翻訳

シーケントの複数形は、シーケント計算の証明において含意関係を表現するための簡潔な表記を提供します。

詳細

sequent

IPA（発音記号）

/ˈsiːkwənt/

形容詞

廃用古語

日本語の意味

時系列や順序において後に続く、あるいはその次に位置する / 結果として生じる、または結論や帰結としての側面を示す

このボタンはなに？

The sequent chapters of the manuscript revealed new evidence about the author's intentions.

Google翻訳 / DeepL翻訳

その原稿のその後の章は、著者の意図に関する新たな証拠を明らかにした。

詳細

sequent

IPA（発音記号）

/ˈsiːkwənt/

名詞

廃用

Something that follows in a given sequence.

日本語の意味

与えられた系列に続くもの / 順序に従って次に来るもの

このボタンはなに？

Each sequent in the list corresponds to the next step in the procedure.

Google翻訳 / DeepL翻訳

リスト内の各後続項目は、手順の次の段階に対応しています。

詳細

sequent calculus

名詞

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.

日本語の意味

数学および論理学において、真であるシーケント（論理的推論の一形式）を他の真であるシーケントから導出するための推論規則の体系。

このボタンはなに？

The sequent calculus provides a clear framework for formalizing inference rules in proof theory.

Google翻訳 / DeepL翻訳

シーケント計算は、証明論における推論規則を形式化するための明確な枠組みを提供します。

詳細

sequent calculi

名詞

活用形複数形

plural of sequent calculus

日本語の意味

「sequent calculus」（シーケント計算）の複数形。すなわち、複数のシーケント計算、つまり論理学における形式体系としてのシーケント計算の複数形を指します。

このボタンはなに？

Several sequent calculi have been proposed to formalize different systems of logic.

Google翻訳 / DeepL翻訳

異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。

詳細

Webで検索する