temporal logic（命題の順序や時間的な持続性に関連）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

temporal logic

名詞

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

このボタンはなに？

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

翻訳する

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

詳細

temporal logics

名詞

活用形複数形

plural of temporal logic

原形: temporal logic

日本語の意味

「temporal logic」（時相論理）の複数形です。

このボタンはなに？

In the seminar, we explored different temporal logics to understand their expressiveness and limitations.

翻訳する

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

詳細

Webで検索する

検索結果- 英語 - 英語

temporal logic

temporal logics

英語 - 英語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 英語

temporal logic

temporal logics

英語 - 英語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！