時相論理

出典: くみこみックス

版間での差分
最新版 (2009年3月16日 (月) 01:34) (ソースを表示)
 
(間の 1 版分が非表示です)
11 行 11 行
-
[[Category:組み込み技術全般]] [[Category:LSI]]
+
[[Category:組み込み技術全般|シソウロンリ]] [[Category:LSI|シソウロンリ]]

最新版

時相論理【Temporal Logic】

 動作シーケンスを表現できるように時間の概念を追加した論理体系.時間軸上の関係を表現するために拡張された論理体系である.「いつも成り立つ」,「いつか成り立つ」,「次の時刻に成り立つ」などの概念を表現する演算子が用意されている.

【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.

表示