命題論理における導出のための行列表現
スポンサーリンク
概要
- 論文の詳細を見る
「レゾリューション」(導出)とは論理式に対する計算方法である。本稿では、論理式を行列により表現する。基本行列変形によりレゾリューションを進める。この表現と計算の方法によるレゾリューションの複雑さ(計算量)は有限である。計算の効率を改善することはこれからの課題である。
- 天使大学の論文
著者
関連論文
- ネットワークフォルダを利用したThunderbirdの動作改善
- フリーソフトウェア'R'を使った分散分析と多重比較の実践
- Notes for Comparison with Applications for Making Back-up Copies
- 授業の記録、蓄積、配信のための基盤構築(第2報)
- 平均値と中央値の関係(英文)
- オープンソースソフトウェアによる電子メール管理コンピュータの安全性対策
- 学習用ポータルサイト構築に関する教育研究
- EmacsでVMを利用する場合のMIME関連設定
- 命題論理における導出のための行列表現
- A Study on Completeness and Soundness of the Connection Graph Proof Procedure
- A Note on Writing and Distributing a Document with Mathematical Expressions : by using a Personal Computer
- アファイン暗号を学ぶ場合における方程式の混乱の解消とその応用(英文)
- Moodle LMS によるHLS ストリーミング
- 動画像をストリーミング配信する場合の転送速度測定実験