記号論理学 : その展望と限界をさぐる
著者
書誌事項
記号論理学 : その展望と限界をさぐる
マグロウヒル出版, 1992.12
- タイトル別名
-
Formal logic : its scope and limits
- タイトル読み
-
キゴウ ロンリガク : ソノ テンボウ ト ゲンカイ オ サグル
大学図書館所蔵 件 / 全108件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著第3版の翻訳
内容説明・目次
内容説明
本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ＝チューリングの定理等までを取り扱っています。
目次
- 第１章 真理関数的論理
- 第２章 真理の木
- 第３章 一般性
- 第４章 重なりあった一般性
- 第５章 同一性
- 第６章 関数
- 第７章 計算不可能性
- 第８章 決定不可能性
- 第９章 不完全性
「BOOKデータベース」 より