Weblio 辞書 > 英和辞典・和英辞典 > 英和対訳 > Linear temporal logicの意味・解説

意味

例文 (1件)

Linear temporal logicとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。

Weblio英和対訳辞書での「Linear temporal logic」の意味

Linear temporal logic

線形時相論理

線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

出典元索引ランキング

「Linear temporal logic」の部分一致の例文検索結果

該当件数 : 1件

例文

To provide an LTL (linear temporal logic) model checking system, an LTL model checking method and an LTL model checking program enabling even a person inexperienced in an LTL expression to easily confirm the LTL expression.例文帳に追加

ＬＴＬ式に不慣れな者であっても、ＬＴＬ式を容易に確認することができるＬＴＬ式確認システム、ＬＴＬ式確認方法及びＬＴＬ式確認プログラムを提供する。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

ウィキペディア英語版での「Linear temporal logic」の意味

Linear temporal logic

出典:『Wikipedia』 (2011/06/16 10:25 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

In logic, Linear temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which also allows branching time and quantifiers. Subsequently LTL is sometimes called propositional temporal logic, abbreviated PTL. Linear temporal logic (LTL) is a fragment of S1S.

出典元索引ランキング

「Linear temporal logic」の意味に関連した用語

CTL*

(百科事典)

Computation tree logic

(百科事典)

意味

例文 (1件)

Linear temporal logicのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

Wikipedia

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLinear temporal logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

Linear temporal logicとは 意味・読み方・使い方

Weblio英和対訳辞書での「Linear temporal logic」の意味

Linear temporal logic

「Linear temporal logic」の部分一致の例文検索結果

ウィキペディア英語版での「Linear temporal logic」の意味

Linear temporal logic

「Linear temporal logic」のお隣キーワード

Linear temporal logicとは意味・読み方・使い方