実時間命題言語RTLの時間要素束縛に関する試み
スポンサーリンク
概要
- 論文の詳細を見る
Sudo revealed that the original Real Time Logic RTL, which is suggested by Yonezaki and Suzuki ([SY95]), is not axiomatizable in the terms of propositional language, and look for a condition which can be propositional axiomatizable ([Sudo98]). But, the possiblity of axiomatization of RTL, which is bound with time factor, still remains. We proposed the direction about axiomatization of RTL in the terms of predicate logic.
- 沼津工業高等専門学校の論文
- 2004-01-31
著者
関連論文
- 教育用コンピュータ環境としてのシンクライアントシステムの導入と今後の展開
- 沼津市人材活用育成調査報告書
- D-15-12 標準カリキュラムJ07と学習指導要領からみた高専の情報処理教育(D-15.教育工学,一般セッション)
- D-15-11 高専における情報処理教育カリキュラムデータベースの構築と運用(D-15.教育工学,一般セッション)
- 沼津高専における情報資源活用基盤のあり方に関する一考察
- 実時間論理の決定可能なモデルについて
- 実時間命題言語RTLの時間要素束縛に関する試み
- C言語教育におけるメモリモデルの提案
- Vine Linuxを用いたネットワーク構築とその問題点
- 双方向通信を行うエージェントモデルの様相言語による検証について
- 高専における情報処理教育の現状と今後への提言
- 高専における情報処理教育の現状と今後の課題(学習のユビキタス化とシステム構成技法/一般)
- 高専における情報処理教育カリキュラムデータベース(学習のユビキタス化とシステム構成技法/一般)
- 有限次元線形部分空聞をモデルとする命題論理体系