形式論理学 : その展望と限界
著者
書誌事項
形式論理学 : その展望と限界
産業図書, 1995.3
- タイトル別名
-
Formal logic : its scope and limits
- タイトル読み
-
ケイシキ ロンリガク : ソノ テンボウ ト ゲンカイ
大学図書館所蔵 件 / 全146件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Formal logic.の翻訳
内容説明・目次
内容説明
本書は、初心者向けに書かれた形式論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っている。本書の特徴は、真理の木の方法(タブローの方法)と呼ばれる、おどろくほどわかりやすい考え方に基づいており、この方法により、ほとんど寄り道せずに今世紀に展開した論理学の基礎を把握することができる。日本語版では、解答をさらにていねいに説明するなど、独習者にたいしても配慮している。また題材として名探偵ホームズとモリアーティの戦いや、日常会話の落し穴を取り上げており、たいへんウィットに富んだ内容になっている。
目次
- 第1章 真理関数的論理
- 第2章 真理の木
- 第3章 一般性
- 第4章 重なりあった一般性
- 第5章 同一性
- 第6章 関数
- 第7章 計算不可能性
- 第8章 決定不可能性
- 第9章 不完全性
「BOOKデータベース」 より