時相論理

出典: くみこみックス

2009年3月13日 (金) 07:38の版 (ソースを表示) Kumikomiadmin (会話 | 投稿記録) M (1 版) ←前の差分		最新版 (2009年3月16日 (月) 01:34) (ソースを表示) Worker (会話 | 投稿記録)
（間の 2 版分が非表示です）
6 行		6 行
	<br>		<br>
	【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．		【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．
-		+	<!-- 【著作権者】西久保 靖彦氏 -->
	<br>		<br>
	<br>		<br>
-	[[Category:組み込み技術全般]] [[Category:LSI]]	+	[[Category:組み込み技術全般|シソウロンリ]] [[Category:LSI|シソウロンリ]]

---

最新版

時相論理【Temporal Logic】

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

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