情報系教科書シリーズ 情報論理学

日高 達【著】

昭晃堂（1997/10発売）

• サイズ A5判／ページ数 157p／高さ 22cm
• 商品コード 9784785620479
• NDC分類 007.1
• Cコード C3355

内容説明

本書は論理数学の基礎を解説する入門用教科書として、九州大学における講義ノートに若干の肉付けを施したものである。

目次

１　ブール代数（Ｂｏｏｌｅａｎ　Ａｌｇｅｂｒａ）
２　ブール方程式
３　スイッチング回路の会計―式の簡略化
４　順序回路における状態遷移関数装置の設計
５　述語論理代数
６　記号論理学