ソースを表示

出典: くみこみックス

以下に示された理由により ページの編集 を行うことができません:

以下にソースを表示しています:

時相論理【Temporal Logic】 <br> <br> 　動作シーケンスを表現できるように時間の概念を追加した論理体系．時間軸上の関係を表現するために拡張された論理体系である．「いつも成り立つ」，「いつか成り立つ」，「次の時刻に成り立つ」などの概念を表現する演算子が用意されている． <br> <br> 【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月． <!-- 【著作権者】西久保 靖彦氏 --> <br> <br> [[Category:組み込み技術全般]] [[Category:LSI]]

時相論理 に戻る。