論理式の数式処理システム
書誌事項
- タイトル別名
-
- Algebraic Manipulation System for Switching Expression
この論文をさがす
説明
本研究は論理式を数式的に処理するシステムである。微・積分や行列などの数式処理を行うシステムはこれまでにもいくつか存在するが，論理式を取り扱うものはほとんどない。そのため論理式の展開や主項の生成を行うシステムを考えてみた。一般に論理関数を使った処理では，真理値表を求めてから行う場合が多いが，ここでは入力された式に対して数値的な計算を行うのではなく，代数的な方法で処理する。
収録刊行物
-
- 法政大学計算センター研究報告
-
法政大学計算センター研究報告 2 95-100, 1988-10-01
法政大学計算センター
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1390010292560576640
-
- NII書誌ID
- AN10234242
-
- HANDLE
- 10114/00024638
-
- ISSN
- 09138420
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- JaLC
- IRDB
