「計算木論理」を解説文に含む見出し語の検索結果(1～10/24件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「様々な時相論理」の解説インターバル時相論理（英語版） (IT...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/19 14:34 UTC 版)「並行性」の記事における「論理」の解説様々な時相論理が並行システムの理解を助けるために使...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/02 21:06 UTC 版)「時相論理」の記事における「時相作用素」の解説時相論理では2種類の作用素を使用する。論理...
CTLアメリカの鉄道ネットワーク「アムトラック」のセントラリア（ワシントン州）の駅番号CTL。コバルトチタンリチウム二次電池（Cobalt Titan-Lithium）を表す記号。計算木論理（Comp...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「形式的検証の手法」の解説形式的検証の手法は大きく2つに分類...
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経...
エマーソンアーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - 2024年10月15日[1]）は、アメリカ合衆国の計算機科学者であり、テキサ...
線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるま...
< 前の結果 | 次の結果 >