書籍詳細：論理
シリーズ：現代応用数学の基礎
論理
- 紙の書籍
定価：税込 1,210円（本体価格 1,100円）
在庫なし
- 発刊年月
- 1994.05
- 旧ISBN
- 4-535-60829-6
- ISBN
- 978-4-535-60829-0
- 判型
- Ａ５変型判
- ページ数
- 72ページ
- Cコード
- C3341
- ジャンル
只今、在庫が不足しており納期が確定できないため、
オンラインでの受付ができません。
オンラインでの受付ができません。
紙の書籍のご購入
内容紹介
理工系大学の非数学科系２年生で必要な《記号論理》のエッセンスを手際よく解説したテキスト。「記号論理」「ブール代数」「述語論理とプログラミング」の３章に演習問題と解答、および森毅氏による歴史解説つき。
目次
１ 記号論理
１ 記号論理とは
２ 命題論理
３ 述語論理
２ ブール代数
１ 命題論理の代数的構造
２ ブール代数
３ ブール関数
３ 述語論理とプログラミング
１ 述語論理における「計算」
２ 導出原理
３ 論理プログラミング
１ 記号論理とは
２ 命題論理
３ 述語論理
２ ブール代数
１ 命題論理の代数的構造
２ ブール代数
３ ブール関数
３ 述語論理とプログラミング
１ 述語論理における「計算」
２ 導出原理
３ 論理プログラミング
