論理とアルゴリズム
  • Googleプレビュー

論理とアルゴリズム
モ-トン・L.シャグリン

3,672円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックス初めてご利用の方限定!

初めて利用&条件達成でポイント最大10倍

電子書籍版はまだありません。

商品基本情報

商品説明

【目次】(「BOOK」データベースより)
第1章 論理学/第2章 論理、コンピュータ、アルゴリズム/第3章 命題論理-結合子‘not’,‘and’,‘or’/第4章 命題論理-結合子‘if…then…’その他/第5章 命題論理-真理値の計算と良形の判定をするアルゴリズム/第6章 命題論理-真理値表作成と妥当性判断のアルゴリズム/第7章 命題論理-同値、標準形、ポーランド記法/第8章 命題論理-自然演繹体系/第9章 命題論理-その他の推論規則/第10章 命題論理-証明検査プログラム/第11章 命題論理-証明作成の手段/第12章 述語論理-量限定/第13章 述語論理-量限定子の推論規則/第14章 述語論理-妥当性の判定と定理の証明

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

ご注文できない商品

3,672円(税込)

送料無料

お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ