記号論理学―その展望と限界をさぐる

  • ポイントキャンペーン

記号論理学―その展望と限界をさぐる

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判／ページ数 224p／高さ 21X15cm
  • 商品コード 9784895014373
  • NDC分類 116.3
  • Cコード C3041

内容説明

本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ＝チューリングの定理等までを取り扱っています。

目次

第１章　真理関数的論理
第２章　真理の木
第３章　一般性
第４章　重なりあった一般性
第５章　同一性
第６章　関数
第７章　計算不可能性
第８章　決定不可能性
第９章　不完全性