「計算木」を解説文に含む見出し語の検索結果(1～10/32件中)
ナビゲーションに移動検索に移動数学では、オペラドは、可換性や反交換性などの特性や、様々な量の結合法則をモデル化する代数に関係している。 オペラドは、様々な結合法則や代数、余代数などリー代数やポアソン代...
ナビゲーションに移動検索に移動数学では、オペラドは、可換性や反交換性などの特性や、様々な量の結合法則をモデル化する代数に関係している。 オペラドは、様々な結合法則や代数、余代数などリー代数やポアソン代...
出典: フリー百科事典『ウィキペディア（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つに分類...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/28 01:24 UTC 版)「木分解」の記事における「動的計画法」の解説1970年代の始めに、グラフの上の広い範囲の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/28 15:48 UTC 版)「グラフ彩色」の記事における「縮約」の解説グラフ G の縮約 G / u v {\dis...
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経...
< 前の結果 | 次の結果 >