論理とアルゴリズム

シャグリン，Ｍ．Ｌ．〈Ｓｃｈａｇｒｉｎ，Ｍｏｒｔｏｎ Ｌ．〉/ラパポート，Ｗ．Ｊ．〈Ｒａｐａｐｏｒｔ，Ｗｉｌｌｉａｍ Ｊ．〉/ディパート，Ｒ．Ｒ．【著】〈Ｄｉｐｅｒｔ，Ｒａｎｄａｌ

マグロウヒル出版（1986/09発売）

• サイズ A5判／ページ数 417p／高さ 21cm
• 商品コード 9784895010795
• NDC分類 007.64

目次

第１章　論理学
第２章　論理、コンピュータ、アルゴリズム
第３章　命題論理―結合子‘ｎｏｔ’，‘ａｎｄ’，‘ｏｒ’
第４章　命題論理―結合子‘ｉｆ…ｔｈｅｎ…’その他
第５章　命題論理―真理値の計算と良形の判定をするアルゴリズム
第６章　命題論理―真理値表作成と妥当性判断のアルゴリズム
第７章　命題論理―同値、標準形、ポーランド記法
第８章　命題論理―自然演繹体系
第９章　命題論理―その他の推論規則
第１０章　命題論理―証明検査プログラム
第１１章　命題論理―証明作成の手段
第１２章　述語論理―量限定
第１３章　述語論理―量限定子の推論規則
第１４章　述語論理―妥当性の判定と定理の証明